Development Process and Standards for Safety critical Applications (3 ECTS)

The goal of this course is to provide an overview on the development process to attempt when designing and developing safety critical applications and to make aware of the standards which are important from a general perspective as well as in the specific application areas.

Contents:

Suggested readings:

F. Redmill (ed.): Dependability of Critical Computer Systems - 1 and 2, ISBN 1-85166-203-0 and ISBN 1-85166-381-9.

P. Bishop (ed.): Dependability of Critical Computer Systems – 3, Techniques Directory, ISBN 1-85166-544-7.

BSI IT Security Guidelines, Bundesamt für Sicherheit in der Informationstechnik 2007. http://www.bsi.bund.de/gshb

Generic standards:

IEC 61508 "Functional safety of electrical/electronic/programmable electronic safety-related systems", Parts 0 – 7 (especially Part 3: “Software requirements”)

ISO/IEC 12207:1995 "Information technology – Software life cycle processes"

IEC 61713:200006 "Software dependability through the software life-cycle processes – Application guide"

ISO/IEC 27001:2005 "Information technology -- Security techniques -- Information security management systems – Requirements"

ISO/IEC 27002:2005 "Information Technology –- Code of Practice for Information Security Management"

ISO/IEC 27005:2008 "Information technology -- Security techniques -- Information security risk management"

ISO/IEC 15408-1:2005 "Information technology -- Security techniques -- Evaluation criteria for IT security -- Part 1: Introduction and general mode"

ISO/IEC 15408-2:2008 "Information technology -- Security techniques -- Evaluation criteria for IT security -- Part 2: Security functional components"

ISO/IEC 15408-3:2008 "Information technology -- Security techniques -- Evaluation criteria for IT security -- Part 3: Security assurance components"

ISO/IEC 18045:2008 "Information technology -- Security techniques -- Methodology for IT security evaluation"

Sector specific standards:

IEC 60880 Ed. 2.0: "Nuclear Power Plants - Instrumentation and control systems important to safety - Software aspects for computer-based systems performing category A functions"

ISO 14971:2007 "Medical devices – Application of risk management to medical devices"

IEC 60601-1-4:1996 "Medical electrical equipment – Part 1-4: General requirements for safety; Collateral standard: Programmable electrical medical systems"

IEC 62304:2006 "Medical device software -- Software life cycle processes"

RTCA DO-178B "Software Considerations in Airborne Systems and Equipment Certification"

UK MoD 00-55:1997 "Requirements for safety related software in defence equipment"

EN 50128:2001 "Railway applications - Communications, signalling and processing systems - Software for railway control and protection systems"

MISRA-C++: "Guidelines for the Use of the C++ Language in Critical Systems", ISBN 978-906400-03-3 (paperback), ISBN 978-906400-04-0 (PDF), June 2008.

MISRA-C2: "Guidelines for the Use of the C Language in Critical Systems", ISBN 0 9524156 2 3 (paperback), ISBN 0 9524156 4 X (PDF), October 2004.

MISRA: "Development Guidelines for Vehicle Based Software", ISBN 0 9524156 0 7, November 1994.

Line of teaching

View this course in the RKBExplorer



Back to MSc Curriculum.