Vertiefende Lektüre
- Zur Normen und Standards:
- Die Maschinenrichtlinie
- Nancy G. Leveson: Safeware. System safety and computers.
Addison-Wesley, 1995.
- Neil Storey: Safety-Critical Computer Systems. Addison-Wesley Longman, 1995.
- David Smith, Kenneth G. L. Simpson: Functional Safety. A straightforward guide to applying IEC 61508 and related standards.
Elsevier Butterworth-Heinemann, 2nd edition, 2004.
- Zu Hazard Analysis:
- Clifton A. Ericson II: Hazard Analysis Techniques for System
Safety. Wiley-Interscience, 2005.
- Der Untersuchungsbericht
zum Flug Ariane
501.
- Zu SysML:
- Zum Testen:
- Zur Statischen Programmanalyse:
- Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of Program Analysis. Springer Verlag, 2005.
- Zum Hoare-Kalkül:
- Das Werkzeug Why3 (LRI/INRIA, Frankreich)
- Das
Werkzeug Boogie
(Microsoft Research)
- Zur Semantik von Programmiersprachen:
- Glynn Winskel. The Formal Semantics of
Programming Languages: An Introduction. The MIT Press, 1993.
- Zu Model-Checking:
- Micheal Huth, Mark Ryan: Logic on Computer Science. Modelling and
Reasoning about Systems. Cambridge University Press, 2004.
- Der NuSMV model checker.
- Der Spin model checker.