Systeme Hoher Sicherheit und Qualität

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 13.10.15: Introduction and Notions of Quality [Folien] [Handzettel]
Vorlesung vom 19.10.15: Legal Requirements: Norms and Standards [Folien] [Handzettel]
Vorlesung vom 26.10.15: The Software Development Process [Folien] [Handzettel]
Vorlesung vom 02.11.15: Hazard Analysis [Folien] [Handzettel]
Vorlesung vom 09.11.15: High-Level Modelling with SysML [Folien] [Handzettel] [Quellen]
Vorlesung vom 16.11.15: Formal Modelling with SysML and OCL [Folien] [Handzettel] [Quellen]
Vorlesung vom 23.11.15: Detailed Specification with SysML [Folien] [Handzettel]
Vorlesung vom 30.11.15: Testing [Folien] [Handzettel]
Vorlesung vom 07.12.15: Static Program Analysis [Folien] [Handzettel]
Vorlesung vom 14.12.15: Foundations of Software Verification [Folien] [Handzettel]
Vorlesung vom 11.01.16: Verification Condition Generation [Folien] [Handzettel]
Vorlesung vom 18.01.16: Semantics of Programming Languages [Folien] [Handzettel]
Vorlesung vom 25.01.16: Model-Checking with LTL and CTL [Folien] [Handzettel]
Vorlesung vom 01.02.16: Concluding Remarks [Folien] [Handzettel]

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:
- Die SysML-Spezifikation von der OMG.
- Die OCL-Spezifikation von der OMG.
- Ein Tutorial zu SysML von der OMG.
Zum Testen:
- Hayhurst, Kelly; Veerhusen, Dan; Chilenski, John; Rierson, Leanna (May 2001). A Practical Tutorial on Modified Condition/ Decision Coverage
Zur Statischen Programmanalyse:
- Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of Program Analysis. Springer Verlag, 2005.
Zu VCG:
- 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.
- 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.