Kursplan - Modellbaserad utveckling för tillförlitliga system

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

Tregradig skala

Ö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.