Kursplan - Säkerhetskritiska system
Omfattning
7.5 hp
Kurskod
DVA437
Giltig från
Hösttermin 2021
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-04-15
Reviderad
2021-01-21
Litteraturlistor
Kurslitteraturen är preliminär till 8 veckor innan kursstart. Kurslitteratur kan vara giltig över flera terminer.
-
Övrigt
The literature consists of research papers and other web-based material
.,
Syfte
Kursens syfte är att ge studenterna en insyn i vad det innebär att arbeta med systemutveckling av säkerhetskritiska applikationer och att utveckla system enligt en säkerhetsstandard.
Lärandemål
Efter avslutad kurs skall studenten kunna:
1. Applicera grundläggande metoder för riskanalys.
2. Applicera säkerhetsstandarder för utveckling av säkerhetskritiska system.
3. Skapa ett safety case.
4. jämföra och relatera sitt arbete i förhållande till state-of-the-art för hur ett safety case struktureras
Innehåll
Introduktion och översikt i utveckling av säkerhetskritiska system, inklusive fundamentala koncept kring tillförlitlighet. Processer för utveckling av säkerhetskritiska system, inklusive certifiering. Analystekniker för risk och tillförlitlighet. Safety cases och industriella exempel av utveckling av säkerhetskritiska system.
Undervisning
Föreläsningar, handlett projektarbete.
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.
Examination
Projekt (PRO1), 3,5 hp, betyg Underkänd (U), 3, 4 eller 5, (examinerar lärandemål 1-4)
Tentamen (TEN1), 4 hp, betyg Underkänd (U), 3, 4 eller 5, (examinerar lärandemål 1, 2 och 3)
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
Övergångsbestämmelser och övriga föreskrifter
Kursen överlappar helt med DVA321 Säkerhetskritiska system, 7,5 hp.
Kursen kan räknas till teknikområdet tillförlitliga system.