Text

  • Högskolepoäng 7.5  hp
  • Utbildningsnivå Avancerad nivå
  • Studieort Västerås
  • Kurskod DVA437
  • Huvudområde Datavetenskap

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.

Tillfällen för denna kurs

Hösttermin 2025

Frågor kring utbildningen?

Hör av dig till kursansvarig om du har frågor kring kursens innehåll.

Universitetslektor

Barbara Gallina

021-10 16 31

barbara.gallina@mdu.se