Titlebook: Computer Safety, Reliability and Security; 20th International C Udo Voges Conference proceedings 2001 Springer-Verlag Berlin Heidelberg 200

沉著

Offstage

GEAR

Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approachplicable technique is presented, to find out critical and problematic humanmachine interactions during the operation of a system. The technique is based on a state-interaction matrix, carefully filled out and afterwards automatically evaluated.

Outwit

A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178Bscheme for software verification tools was needed. This paper provides a tool classification scheme that is based on four basic tool classification categories: “objectives”, “methods”, “metrics”, and “attributes”.

平常

侵略

Security Assessments of Safety Critical Systems Using HAZOPs Unfortunately, the emphasis placed on security issues when developing safety critical systems is to often inadequate, possibly due to the lack of “;safety-compliant” security methods. Having had the opportunity to adapt the HAZOP-principle to the security context, a HAZOP was established which is w