Certification of Safety-Critical Software and Systems, 7.5 credits

Certification of Safety-Critical Software and Systems, 7.5 credits

All Courses Dependable Software

The aim of this course is to introduce certification and to teach how to certify/self assess safety-critical systems and how to create a safety case.

Responsible: Mälardalen University (Barbara Gallina)

Course modules:

  1. Introduction to certification/(self) assessment of safety-critical systems; transfer knowledge and skills about process vs product/ component vs system/ single system vs family of systems certification/assessment; relation between safety-critical systems/ safety culture/ development models w.r.t. supplier/manufacturer perspective / certification / ”the safety case” /reuse and related issues;
  2. Modelling methods; transfer knowledge and skills about different modeling methods for certification of safety-critical systems
  3. Standards and certification; transfer knowledge and skills about different standards for the development of systems that include software

Learning outcomes: The students should after the course be able to:

  • understand what certification is and implies;
  • understand the typical V-model and the augmented model for (family of) components/systems;
  • understand important portions of ISO 26262, and position ISO 262626 w.r.t. other standards that deal with development of software;
  • explain necessary steps to certify/qualify (a family of) components/systems;
  • apply standards and propose development processes that meet the requirements of the standards.

Related industrial challenges addressed in the course:

  • Standard related challenges: how should a standard be interpreted/used?
  • Safety culture related challenges: how to establish and maintain a safety culture
  • Communication related challenges between supplier and manufacturer: how should different interpretations of a single standard be handled?
  • Reuse related challenges: how to make safe and time/cost effective reuse possible?

Upcoming instances: January 2019