Säkerhetskritisk mjukvara

Om kursen

Kursen innehåller fyra delmoment:

1. Introduktion till funktionssäkerhet: kunskaper som ger ökad förståelse av relationen mellan inbyggda system/säkerhetskritiska system/ olyckor / komplexitet / utvecklingsmodeller (utveckling av livscykelmodeller) / certifiering/ ”the safety case”.
2. Analys-och modelleringsmetoder: översyn av analys-och modelleringstekniker för utvecklingen av säkerhetskritiska system.
3. Verifiering och validering av säkerhetskritisk mjukvara: metoder och aktiviteter för att utföra verifiering och validering
4. Arkitekturer för säkerhetskritiska system: Säkerhet som designbegränsning.

Relaterade industriella utmaningar som behandlas i kursen

• Hur man ökar kunskaperna och den allmänna förbättringen av säkerhetskulturer i utvecklingen av säkerhetskritiska system
• Hur man förtydligar strukturen och omfattningen av kvalitetssäkringsaktiviteter i utvecklingen av säkerhetskritiska system

Du lär dig

• de huvudsakliga frågeställningarna, verktyg och metoder som används för utveckling av säkerhetskritisk programvara
• tillämpa valda verktyg och metoder för utveckling och kvalitetssäkring av säkerhetskritisk mjukvara
• dokumentera kvalitetssäkringsarbetet
• tillägna dig vetenskapliga framsteg inom området.

Kursen examineras genom fyra obligatoriska muntliga examinationer som kommer att genomföras online. Det är inga träffar el examinationer på campus.

Behörighet

I faktarutan nedan ser du vilken behörighet som krävs för att läsa kursen. Om du inte uppfyller de formella behörighetskraven kan du få din behörighet bedömd på kunskap och kompetens som du har fått på annat sätt, såsom arbetslivserfarenhet, övriga studier m.m. Läs mer under Information om anmälan.