Kursplan - Säkerhetskritisk mjukvara
Omfattning
6 hp
Kurskod
DVA465
Giltig från
Hösttermin 2024
Utbildningsnivå
Avancerad nivå
Successiv fördjupning
A1N (Avancerad nivå, har endast kurs/er på grundnivå som förkunskapskrav).
Huvudområde(n)
Datavetenskap
Akademi
Akademin för innovation, design och teknik
Fastställd
2018-02-01
Reviderad
2024-01-18
Litteraturlistor
Kurslitteraturen är preliminär till 8 veckor innan kursstart. Kurslitteratur kan vara giltig över flera terminer.
Syfte
Syftet med kursen är att ge en översikt över frågeställningar och metoder för utveckling och kvalitetssäkring av säkerhetskritisk programvara, inklusive fördjupningar i utvalda nyckelteknologier, verktyg och metoder.
Lärandemål
Efter avslutad kurs ska studenten kunna:
1. känna till de huvudsakliga frågeställningar, verktyg och metoder som används för utveckling av säkerhetskritisk programvara
2. tillämpa utvalda verktyg och metoder för utveckling och kvalitetssäkring av säkerhetskritisk programvara
3. visa förmåga att kunna dokumentera säkerhetsarbetet
4. tillägna sig vetenskapliga landvinningar inom området
Innehåll
1.Introduktion till funktionssäkerhet. Modulen förmedlar kunskaper som ger ökad förståelse för relationen mellan inbyggda system/säkerhetskritiska system / olyckor / komplexitet / utvecklingsmodeller (development lifecycle models) / certifiering / "the safety case".
2. Analys- och modelleringsmetoder. Genomgång av säkerhetsanalys- och modelleringsmetoder för utveckling av säkerhetskritiska
system.
3. Verifiering och validering av säkerhetskritisk mjukvara. Genomgång av generella V&V-metoder och samt analysmetoder för att verifiera och validera mjukvara.
4. Arkitekturer för säkerhetskritiska system. Genomgång av hur säkerhet påverkar arkitekturdesign och tillförlitlighet.
Undervisning
Webbaserad distansutbildning.
Särskild behörighet
120 hp varav minst 80 hp inom datavetenskap och/eller datateknik eller motsvarande. Dessutom krävs minst 18 månaders dokumenterad arbetslivserfarenhet från mjukvaruutveckling eller relaterad verksamhet. 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.
Examination
Muntlig tentamen (MUN1), digital muntlig examination via Teams, modul 1: en introduktion till funktionssäkerhet, 2 hp, examinerar lärandemål 1, 3 och 4, betyg Underkänd (U) eller Godkänd (G).
Muntlig tentamen (MUN2), digital muntlig examination via Teams, modul 2: säkerhetsanalys, 1,5 hp, examinerar lärandemål 1 och 4, betyg Underkänd (U) eller Godkänd (G).
Muntlig tentamen (MUN3), digital muntlig examination via Teams, modul 3: verifiering och validering av mjukvara,1,5 hp, examinerar lärandemål 1-4, betyg Underkänd (U) eller Godkänd (G).
Muntlig tentamen (MUN4), digital muntlig examination via Teams, modul 4: arkitekturer, 1 hp, (examinerar lärandemål 1, 2 och 4), betyg Underkänd (U) eller Godkänd (G).
En student som har ett intyg från MDU avseende sin funktionsnedsättning har möjlighet att anmäla önskemål om anpassning vid salstentamina eller annan examinationsform i enlighet med Regler och anvisningar för examination på grundnivå och avancerad nivå vid Mälardalens högskola (2020/1655). Det är examinator som, utifrån det intyg som utfärdats, beslutar om eventuell anpassning och i så fall vilken anpassning som ska gälla.
Misstankar om vilseledande vid examination (fusk) anmäls, enligt högskoleförordningen, till universitetets rektor och prövas av universitetets disciplinnämnd. Om disciplinnämnden anser att en student gjort sig skyldig till en disciplinförseelse fattar nämnden beslut om en disciplinär åtgärd, vilket är varning eller avstängning.
Handbok under studietidenBetyg
Tvågradig skala
Övergångsbestämmelser och övriga föreskrifter
Kursen överlappar med 6 hp mot Funktionssäker mjukvara samt helt med Funktionell säkerhet för säkerhetskritisk mjukvara.