Safety Critical Systems Engineering

  • Credits 7.5  credits
  • Education ordinance Second cycle
  • Study location Västerås
  • Course code DVA437
  • Main area Computer Science

In this course a 'Safety Case' for an industry related application such as e.g., a break-by-wire system, will be built. A Safety Case is a requirement in many safety standards. It is a documented body of evidence that provides a convincing and valid argument that a system is adequately safe for a given application in a given environment. To enable argumentation about adequate safety as well as to document safety cases, topics such as e.g., 'dependability concepts', 'safety critical processes', 'certification', 'hazard analysis', 'FTA/FMEA', 'process-based vs. product-based arguments for safety cases argumentation', 'textual vs. graphical argumentation', 'modular and pattern-based argumentation using GSN (Goal Structuring Notation)', 'taxonomy of common fallacies in argumentation' and standards such as e.g., 'ISO 26262' will be covered.

Occasions for this course

Autumn semester 2021

  • Autumn semester 2021


    7.5 credits


    2021-11-08 - 2022-01-16 (part time 50%)

    Education ordinance

    Second cycle

    Course type


    Application code




    Study location


    Course syllabus & literature

    See course plan and literature list (DVA437)

    Specific requirements

    At least 120 credits where at least credits computer science with progression and 7,5 credits software engineering or corresponding. In addition Swedish course B/Swedish course 3 and English course A/English course 6 are required. For courses given entirely in English exemption is made from the requirement in Swedish course B/Swedish course 3.


    University credits

Questions about the course?

If you have any questions about the course, please contact the Course Coordinator.

Senior Lecturer

Barbara Gallina



To top