Skriv ut kursplan
Kursplan - Funktionssäker mjukvara
Omfattning
7.5 hp
Kurskod
DVA433
Giltig från
Vårtermin 2015
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
2014-01-31
Status
Denna kursplan är inte aktuell och ges inte längre
Litteraturlistor
Kurslitteraturen är preliminär till 8 veckor innan kursstart. Kurslitteratur kan vara giltig över flera terminer.
-
Övrigt
Litteraturen presenteras på Blackboard
Akademin för innovation, design och teknik,
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 kursen förväntas deltagarna:
1. känna till de huvdsakliga frågeställningar, vertyg och metoder som används för utveckling av säkerhetskritisk programvara,
2. kunna tillämpa utvalda verktyg och metoder för utveckling och kvalitetssäkring av säkerhetskritisk programvara,
3. visat förmåga att kunna dokumentera säkerhetsarbetet, samt
4. kunna tillägna sig vetenskapliga landvinningar inom området.
Innehåll
1. Introduktion till funktionssäkerhet; förmedlar kunskaper som ger ökad förståelse för relationen mellan inbyggda system / säkerhetskristiska system / olyckor / komplexitet / utvecklingsmodeller (development lifecycle models) / certifiering / ”the safety case”.
2. Analys- och modelleringsmetoder; genomgång av analys- och modelleringsmetoder för utveckling av säkerhetskritiska system.
3. Standarder och certifiering; förmedlar kunskaper om olika standarder för utveckling av system som innehåller datorsystem, t.ex. ISO 26262. Genomgång av stegen för att få ett system certifierat.
Undervisning
Flexibla undervisningsformer kompletterat med seminarier.
Särskild behörighet
Avlagd kandidatexamen i datavetenskap eller motsvarande samt minst tre (3) års relevant industrierfarenhet av mjukvaruutveckling. 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
Inlämningsuppgift (INL1), (Modul 1: Introduktion), 2 hp, betyg Underkänd (U), 3, 4 eller 5
Inlämningsuppgift (INL2), (Modul 2: Analysteknik), 1,5 hp, betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL3), (Modul 3: Säkerhetsstandarder), 0,5 hp, betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL4), (Modul 4: Verifikation och validering), 1,5 hp, betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL5), (Modul 5: Arkitektur), 1 hp, betyg Underkänd (U) eller Godkänd (G)
Projektuppgift (PRO1), (Modul 3: Säkerhetsstandarder), 1 hp, betyg Underkänd (U), 3, 4 eller 5
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.
Betyg
Med beröm godkänd, icke utan beröm godkänd, godkänd, underkänd