Kursplan - Programmering av tillförlitliga inbyggda system

Syfte

Kursen ska ge studenten kunskaper om konstruktioner för avancerade inbyggda system med särskild vikt vid metoder och sätt att skapa en grund för tillförlitliga system.
 
Antalet system i vår omvärld som styrs av inbyggda datorer ökar kraftigt, och vårt beroende av dem likaså. Alltmer avancerade system innebär ofta utökad funktionalitet och höjd kvalitet, men också ökad sårbarhet som följd av förhöjd komplexitet. System som potentiellt kan vara skadliga för människor och miljö genom brister i funktionsintegritet betecknas som säkerhetskritiska. Minimering av riskerna med dylika system uppnås genom ökad tillförlitlighet och genom identifiering och hantering av felaktigt beteende hos systemet.
 
Genomtänkt systemdesign är avgörande och val av hårdvaruplattform och programmeringsspråk är av stor vikt för tillförlitlighet. Högpresterande system kommer dessutom vara heterogena med både CPUer och FPGAer, och då är det av stor vikt att kunna designa och säkerställa funktionaliteten hos båda plattformarna.

Lärandemål

Studenten ska efter avslutad kurs:

1. kunna konstruera program med trådar genom att använda Ada tasking inklusive Rendez-Vous,
2. förstå hur man kan bygga synkronisering och överföring av data med hjälp av Protected Objects,
3. kunna realisera parallell processering i FPGA med VHDL samt
4. kunna realisera ett komplext heterogent system genom kombination av plattformsspecifika programmeringsspråk.

Innehåll

Semantik och syntax för Ada inklusive trådar och skyddade regioner (tasking och protected objects). Semantik och syntax för VHDL. Strukturering av VHDL för tillförlitlighet. Laborationer/övningar avseende programmering av tasking (inklusive protected objected) i Ada, programmering av FPGAer med hjälp av VHDL, samt programmering av heterogena system genom LabVIEW och VHDL.

Undervisning

Föreläsningar och laborationer.

Särskild behörighet

Komplexa elektroniksystem 7,5 hp och Datastrukturer, algoritmer och programkonstruktion 7,5 hp eller motsvarande.

Dessutom krävs Sv B/Sv 3 samt En A/En 6. I de fall kursen ges på engelska görs undantag från Sv B/Sv 3.  

Examination

Laboration (LAB1), Laborationsserie som kontinuerligt redovisas enligt instruktioner, 3 hp, (examinerar lärandemål 1-3), betyg Underkänd (U) eller Godkänd (G)
Projekt (PRO1), En uppgift som redovisas med rapport och demonstration av projektet, 3 hp, (examinerar lärandemål 4), betyg Underkänd (U), 3, 4 eller 5
Tentamen (TEN1), Salstentamen, 1,5 hp, (examinerar lärandemål 1-3), 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

Övergångsbestämmelser och övriga föreskrifter

Kursen överlappar helt mot DVA426 Programmering av tillförlitliga inbyggda system.