Department of Computer & Information Science, Linköpings Universitet

Transparencies:

Lecture 1: Introduction
Lecture 2: Treatment of system faults
Lecture 3: On FTA, FMEA, and the integration of formal methods in safety analysis, No on-line slides.
Lecture 4: On Future of electrical flight control systems, No on-line slides.
Lecture 5: Designing faults away
Lecture 6: Human aspects in system safety(ppt)
Lecture 7: Safety standards and processes
Lecture 8: Tool support for system design and verification
Lecture 9: Safety considerations in car electronics
 

Other on-line material:

• Search engine for 00-55/56/68 defence standards provided by University of Teeside
• Article on usage of COTS in safety systems,  Peter Lindsay and Graeme Smith, with useful reference on standards (reproduced as pdf here).
• Article on DO-178B  "Software Considerations in Airborne Systems and Equipment Certification"
• Fundamentals of fault-tolerant distributed computing in asynchronous environments, Felix Gärtner, ACM computing surveys, Vol. 31 (1), March 99.
• Compendium of the results and achievements from the DTI/EPSRC R&D Programme in Safety Critical Systems, Mike Falla.

Web resources on incidents/Accidents:

• The Risks Digest
• Abstracts of References and Incidents, Peter Ladkin
• The National Transportation Safety Board (USA)

Last Modified 00-12-13
Simin Nadjm-Tehrani