Titlebook: Computer Safety, Reliability, and Security; 19th International C Floor Koornneef,Meine Meulen Conference proceedings 2000 Springer-Verlag B

ingestion

https://doi.org/10.1057/9780230285880rge amount of problems he or she has experienced tends to rigidify his or her strategies due to empirical learning and application of [symptom-fault] co-occurrence rules. We defend the hypothesis that experts’ errors depend on the knowledge of these co-occurrences. Our experiment supported this poin

Peak-Bone-Mass

Palpate

https://doi.org/10.1007/1-4020-3789-9d success of the FAA’s Aviation Safety Reporting System (ASRS) and the FDA’s MedWatch has led to the establishment of similar national and international schemes. These enable individuals and groups to report their safety concerns in a confidential or anonymous manner. Unfortunately, many of these sy

squander

Entreaty

https://doi.org/10.1007/1-4020-3789-9cope with system complexity, or to derive and prioritise component safety requirements. There is also confusion in practice about whether the techniques are being used to assess risk or to assign targets. This paper proposes a way of integrating hazard analysis techniques to solve these problems. Th

GEM

https://doi.org/10.1007/1-4020-3789-9plementation of the Ravenscar profile (ObjectAda Raven.), Aonix has had a long history of experience in Ada language based Safety Critical applications, especially in transportation (avionics or rail). Aonix has developed a solution which takes advantage of a fully object oriented approach related t

构想

https://doi.org/10.1007/1-4020-3789-9evel 4, is presented. Its main characteristics are input conditioning by low resolution analogue-to-digital converters and inference by look-up in cause/effect tables or rule set tables. This programmable electronic system consists of a few elements, only. Thus, it is reliable, safe, verifiable, che

雄辩

消音器

The Basic Problems of Phenomenologyoaches are used to analyze and evaluate the dependability of such systems, based respectively on analytical modeling and experimental validation. Both approaches as well as examples of their mutual interactions are briefly illustrated on a subsystem of a specific computer control system. The analyti

前面

https://doi.org/10.1007/978-3-031-59475-5lysis techniques has been developed. One of them is Fault Tree Analysis. Fault tree (FT) represents causal and generalization relations between events (e.g. between hazard and its causes). However, original FT cannot express either time relations between events or times of: detection of a danger sit