Skriv ut kursplan
Kursplan - Funktionell säkerhet för säkerhetskritisk mjukvara
Omfattning
6 hp
Kurskod
DVA445
Giltig från
Hösttermin 2016
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
2016-01-27
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 består av vetenskapliga artiklar och och en e-bok och finns tillgänglig gratis på internet. All litteratur finns tillgänglig via 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 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. 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, examinerar lärandemål 1, 3 och 4, betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL2), modul 2: analysteknik, 1,5 hp, examinerar lärandemål 1 och 4, betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL3), modul 3: verifiering och validering,1,5 hp, examinerar lärandemål 1-4, betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL4), 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.
Betyg
Godkänd, underkänd
Övergångsbestämmelser och övriga föreskrifter
Kursen överlappar med 6 hp mot DVA433 Funktionssäker mjukvara.