IEC 61508-Functional Safety Overview
Safety-Critical Systems 2 Requirement Engineering T- 79.5303 Spring 2006 Ilkka Herttua.
Safety-Critical Systems 2 Requirement Engineering T- 79.5303 Spring 2008 Ilkka Herttua.
Software Considerations in Airborne Systems Koray İnçki Spring 2009.
Safety Critical Systems
Safety Critical Systems ITV Model-based Analysis and Design of Embedded Software Techniques and methods for Critical Software Anders P. Ravn Aalborg University.
Safety-Critical Systems T- 79.232 Ilkka Herttua. Safety Context Diagram HUMANPROCESS SYSTEM - Hardware - Software - Operating Rules.
Software Considerations in Airborne Systems
Peter Gurník, Oldřich Trégl Satellite based train location.