Säkerhetskritiska system
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
-
Omfattning
7.5 hp
Tid
2025-11-10 - 2026-01-18 (deltid 50%)
Utbildningsnivå
Avancerad nivå
Kurstyp
Fristående kurs
Anmälningskod
MDU-24070
Särskild behörighet
Minst 120 hp varav minst 20 hp datavetenskap med progression samt minst 7,5 hp grundläggande programvaruteknik eller motsvarande. Dessutom krävs Svenska B/Svenska 3 samt Engelska A/Engelska 6. I de fall kursen ges på engelska görs undantag från kravet på Svenska B/Svenska 3.
Urval
Antal högskolepoäng