Kursplan - Design av pålitliga och feltoleranta inbyggda system

Syfte

Syftet med kursen är att ge studenten en systematisk genomgång av området feltolerans, applicerad på inbyggda system. Kursen kommer att öka deltagarens kompetens att identifiera tillförlitlighetshot i inbyggda system, designa feltoleranta lösningar för att undanröja sådana sårbarheter och utvärdera dessa lösningar med rätt pålitlighetsanalys.

Lärandemål

Studenten ska efter avslutad kurs kunna:

1. beskriva de grundläggande begreppen pålitlighet som de beskrivs i den klassiska litteraturen, och illustrera dessa begrepp med exempel från verkliga system
2. beskriva de vanligaste feltoleransteknikerna för programvarusystem, särskilt redundansbaserade tekniker, och kontrastera dem i termer av de tillförlitlighetförbättringar de medför
3. beskriva och tillämpa de vanligaste utvärderingsmetoderna för pålitlighetsanalys av inbyggda system
4. analysera och identifiera tillförlitlighethoti ett givet inbyggt system
5. välja och genomföra en feltolerant lösning och på ett tillfredsställande sätt lösa/mildra tillförlitlighetshoten i ett givet system och motivera, både kvalitativt och kvantitativt, lämpligheten av denna lösning

Innehåll

1. Grundläggande tillförlitlighet
a. Pålitlighetsbegrepp och termer.
b. Feltolerans fundamenta och principer

2. Design av feltoleranta system
a. Redundanshantering
b. Tekniker för att tolerera fel i programvara
c. Feltolerant kommunikation

3. Verifieringstekniker för pålitliga system
a. Tillförlitlighetsanalys
b. Felinjicering

4. Analys och design av feltoleranta inbyggda system
a. Exempel
b. Fallstudie (projektbaserad)

Undervisning

Videoföreläsningar.

Särskild behörighet

120 hp, varav 80 hp inom teknik eller informatik, inklusive minst 30 hp programmering eller mjukvaruutveckling.
Minst 18 månaders dokumenterad arbetslivserfarenhet inom mjukvaruutveckling eller relaterad verksamhet. Dessutom krävs Svenska B/Svenska 3 samt Engelska A/Engelska 6. I de fall kursen ges på engelska görs undantag från Svenska B/Svenska 3.
 

Examination

Inlämningsuppgift (INL1), 1 hp, (examinerar lärandemål 1), Betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL2), 1 hp, (examinerar lärandemål 2), Betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL3), 1,5 hp, (examinerar lärandemål 3), Betyg Underkänd (U) eller Godkänd (G)
Projekt (PRO1), 4 hp, (examinerar lärandemål 4 och 5), 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