Titlebook: Computer Safety, Reliability and Security; 18th International C Alberto Pasquini,Massimo Felici,Karama Kanoun Conference proceedings 1999 S

肥料

Lipoprotein(A)

Software Reliability Engineering in Industryility engineering is. Then we will discuss the current state of the practice; that is, how industry is using it. The current “best” way of practicing software reliability engineering will be discussed. Finally, we will outline some of the important open research questions; solutions to these problems hold great promise for further advances.

基因组

Intruder

Assessment and Certification of Safety-Critical Digital Architectures — the ACRuDA Projecte tested in three case studies. This paper gives an overview on the underlying principles of two of these and discusses how the assessment according to the ACRuDA framework promotes the cross-acceptance of certificates.

致词

Safety Evaluation of a Train Leader Telephone Systemse hazards, and FMECA based on Message Sequence Charts to identify possible computer failures which can lead to this faulty information. Emphasis is put on drawing conclusions on the general applicability of these methods.

场所

The Impact of Different Media on Safety and Usability of Interactive ATC ApplicationsControl domain is shown to illustrate and clarify our approach. Particular attention is paid on how different choices in allocating tasks among air traffic controllers affect usability and safety of operators’ interactions.

Relinquish

Patterns for Safer Human-Computer Interfacesguiding development of human-machine interfaces for safety-critical systems. We consider usability in the context of system safety and present a pattern language for developing safe human-machine interfaces.

忘恩负义的人

Hardware Redundant Vital Computers — Demonstration of Safety on the Basis of Current Standardslfil the standard’s requirement. This paper analysis whether the standard’s requirement is consistent with the safety target or not, and whether the measure is suitable to meet the requirement. Alternative requirements and measures are recommended.

灰姑娘

Extendable Ground-to-Air Communication Architecture for CoDySatem. This paper presents further development of the CoDySa principles, namely ground-to-air communication architecture. Possibilities to upload safety-enhancing software components (.) are discussed together with scenarios of their use.

Efflorescent