Systeme hoher Qualität und Sicherheit
Vorlesungsfolien
Die Vorlesungsfolien sind jeweils verfügbar als ganzseitiges PDF zum Betrachten, oder als 8:1 Handzettel ohne Effekte zum Drucken:
- Alle Vorlesungen in einer Datei: [Folien] [Handzettel]
- Vorlesung vom 21.10.13: [Folien] [Handzettel]
- Vorlesung vom 28.10.13: [Folien] [Handzettel]
- Vorlesung vom 04.11.13: [Folien] [Handzettel]
- Vorlesung vom 11.11.13: [Folien] [Handzettel]
- Vorlesung vom 18.11.13: [Folien] [Handzettel]
- Vorlesung vom 25.11.13: [Folien] [Handzettel]
- Vorlesung vom 02.12.13: [Folien] [Handzettel]
- Vorlesung vom 09.12.13: [Folien] [Handzettel]
- Vorlesung vom 16.12.13: [Folien] [Handzettel]
- Vorlesung vom 06.01.14: [Folien] [Handzettel]
- Vorlesung vom 13.01.14: [Folien] [Handzettel]
- Vorlesung vom 20.01.14: [Folien] [Handzettel]
- Vorlesung vom 27.01.14: [Folien] [Handzettel]
Zusatzmaterial
- Zur Normen, Standards und Allgemeinem:
- Die Maschinenrichtlinie
- David Smith, Kenneth G. L. Simpson: Functional Safety. A straightforward guide to applying IEC 61508 and related standards. Elsevier Butterworth-Heinemann, 2nd edition, 2004.
- Nancy G. Leveson: Safeware. System safety and computers. Addison-Wesley, 1995.
- Zu Hazard Analysis:
- Clifton A. Ericson II: Hazard Analysis Techniques for System Safety. Wiley-Interscience, 2005.
- Der Untersuchungsbericht zum Flug Ariane 501.
- Zur Z-Notation:
- Das Z Reference Manual (Mike Spivey). Enthält das birthday book aus der Vorlesung (Abschnitt 1.2).
- Ein LaTeX-Stil für Z, und eine Kurzanleitung dazu.
- Die Homepage der Community Z Tools.
- Zum Testen:
- Hayhurst, Kelly; Veerhusen, Dan; Chilenski, John; Rierson, Leanna (May 2001).
A Practical Tutorial on Modified Condition/ Decision Coverage
- Hayhurst, Kelly; Veerhusen, Dan; Chilenski, John; Rierson, Leanna (May 2001).
- Zur Statischen Programmanalyse:
- Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of Program Analysis. Springer Verlag, 2005.
- Zu VCG: