The Safety-Critical Systems Lectures Series

Overview

• Dates
• Context
• Objectives
• Excercises
• Literature and References

Dates

• In der Woche vom 01.11.2010 ist der Tutoriums- und der Übungstermin getauscht.
• In der Woche vom 31.01.2011 ist der Tutoriums- und der Übungstermin getauscht.

Context of this Lectures Series

This is a series of lectures and seminars on Safety-Critical Systems. It is intended for an international audience of engineers working in the field, graduate students working on their Diploma, Masters, PhD of Habilitation degrees in computer science or electrical engineering. Due to the international character of the initiative, lectures will be held in English. The lecture series is divided into two parts, each part planned as a two hours/week lecture plus two hours/week exercises for one semester:

• Safety-Critical Systems 1 (this term):
  Basic concepts - problems - methods - techniques - management aspects - safety-related standards - V-Models
• Safety-Critical Systems 2:
  Formal methods and tools - model checking - testing - partial verification - inspection techniques - case studies

Objectives of the Safety-Critical Systems 1 Lecture

This lecture provides an introduction into some characteristic safety-related requirements to be encountered when developing safety-critical (embedded) systems. We describe methods that are considered as state-of-the-art or as promising research fields for hazard analysis, specification, design, verification, validation and test. Examples are provided from the fields of avionics, railway control and medical systems. While it is not intended to study a specific method in detail we wish to give a comprehensive overview about requirements, methods and techniques that we consider as crucial capabilities for engineers and computer scientists involved in the development of safety-critical computer-based systems.

Exercises

• Exercise 1 (submit until 2010-11-04)
• Exercise 2 (submit until 2010-11-25)
• Exercise 3 (submit until 2010-12-09)
• Exercise 4 (submit until 2011-01-06)
• Exercise 5 (submit until 2010-01-20)
• Exercise 6 (submit until 2010-02-03)
• Optional exercise 7, mirdd.csp (submit until 2010-02-14)

Literature and References

Tutorial Slides for this Lecture

• Safety Critical Systems 1 (PDF file) Tutorial (last update: 2011-02-09)
• Details on aircraft standards and avionic software development and certification (PDF file) (last update: 2010-11-08)
• FDR2 instructions

References

• J. C. Laprie (ed.): Dependability: Basic Concepts and Terminology. Springer 1992.
• Nancy G. Leveson: SAFEWARE: SYSTEM SAFETY AND COMPUTERS. Addison-Wesley ISBN: 0-201-11972-2.
• Nancy G. Leveson: A Systems-Theoretic Approach to Safety in Software-Intensive Systems.. IEEE Trans. on Dependable and Secure Computing, January 2005.
• N. Storey: Safety-Critical Computer Systems. Addison Wesley Longman 1996.
• M. R. Lyu: Software Reliability Engineering. McGraw-Hill 1995.
• Auf Risikoanalysen in der Bahndomäne spezialisiert, aber auch insgesamt zum Thema Safety sehr zu empfehlen:
  Jens Braband: Risikoanalysen in der Eisenbahn-Automatisierung. Edition Signal+Draht, EurailPress, Hamburg, 2005.
• Für die praktische Anwendung zu empfehlen:
  Peter Wratil und Michael Kieviet: Sicherheitstechnik für Komponenten und Systeme. Hüthig-Verlag Heidelberg 2007.

Related Activities of Other Groups and Organisations

• Safety-Critical Systems Club
• Lectures of University of York GB (MSc courses in Safety Critical Systems Engineering and Software Engineering)