Kursplan - Modellbaserad utveckling för tillförlitliga system
Omfattning
7.5 hp
Kurskod
DVA484
Giltig från
Hösttermin 2020
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
2020-01-24
Litteraturlistor
Kurslitteraturen är preliminär till 8 veckor innan kursstart. Kurslitteratur kan vara giltig över flera terminer.
-
Böcker
SysML for Systems Engineering: A Model-Based Approach; 2nd Edition
2014
Syfte
Modellbaserad utveckling är en teknik som syftar till att minska komplexiteten av utveckling och hantering av programvara genom att utnyttja modeller. Tekniken ses som en lösning för att hantera den ständigt ökande programvarukomplexiteten. Utvecklingsprocessen inom tillförlitliga system är rigorös och inkluderar bland annat validering av krav, konservativ design och implementering. Modellbaserad utveckling är ett steg för att klara av rigorös utveckling av komplexa system. Genom att öka abstraktionsnivån från programvara till modeller kan ingenjörerna arbeta problembaserat istället för lösningsbaserat och på så sätt utforska en större designrymd.
Syftet med kursen är att ge grundläggande kunskaper inom programvarumodellering, analys och automatisk implementationsgenerering från modeller, med anpassning för tillförlitliga system samt ingenjörskunskaper i att använda modellbaserade verktyg.
Lärandemål
Efter avslutad kurs ska studenten kunna:
1. analysera problem och lösningar inom modellbaserad utveckling av programvara för tillförlitliga system,
2. argumentera för möjligheter och begränsningar med modellbaserad utveckling för mjukvarumodellering, analysering, och automatiserad generering av programvara för tillförlitliga system,
3. implementera enklare modeller med hjälp av moderna modellbaserade verktyg, samt
4. reflektera över den forskning som bedrivs inom området modellbaserad utveckling.
Innehåll
Kursen fokuserar på modellbaserad utveckling av programvara för tillförlitliga system. Grunderna i mjukvarumodellering tas upp tillsammans med relaterade frågor kring automatisk generering av kod för tillförlitliga system, samt vilka möjligheter och begränsningar som kan tänkas finnas, t.ex. kvalificering av sådana verktyg.
I kursinnehållet ingår:
- Introduktion till programvaruutveckling och modellering
- Generella och domänspecifika språk
- Modellexekvering
- Modellbaserad utveckling av programvara för tillförlitliga system
Särskild behörighet
Minst 120 hp varav minst 20 hp datavetenskap samt minst 7,5 hp grundläggande programvaruteknik eller utveckling av avioniksystem eller utveckling av säkerhetskritiska system 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
Inlämningsuppgift (INL1), 2 hp, examinerar lärandemål 1, 2 och 4, betyg Underkänd (U), Godkänd (G), eller Väl Godkänd (VG).
Laboration (LAB1), laborationsserie som kontinuerligt redovisas enligt instruktioner, 3 hp, examinerar lärandemål 3, betyg Underkänd (U), Godkänd (G), eller Väl Godkänd (VG)
Projekt (PRO1), en uppgift som redovisas med rapport och demonstration av projektet, 2,5 hp, examinerar lärandemål 1 och 2, betyg Underkänd (U), Godkänd (G), eller Väl Godkänd (VG).
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
Väl godkänd, godkänd, underkänd
Övergångsbestämmelser och övriga föreskrifter
Kursen överlappar med 5 hp mot DVA475 Modellbaserad utveckling för flyg och rymd (MBD-AS), 2 hp mot DVA461 Modellbaserad utveckling, distans, 2 hp mot DVA471 Modellbaserad utveckling: teori och praktik samt med 2 hp mot DVA411/DVA436 Modellbaserad utveckling.
Kursen kan räknas till teknikområdet tillförlitliga system.