Kursplan - Programmering av tillförlitliga inbyggda system

Syfte

Kursen ska ge studenten förståelse för vikten av tillförlitlighet inom inbyggda system och dess inverkan på designfasen. Vidare ska kursen ge kunskap om konstruktioner för avancerade inbyggda system med särskild vikt vid metoder och verktyg för 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 kunna:

1. ha förståelse för komplexiteten med avseende på tillförlitlighet i ett inbyggt heterogent system
2. förstå hur man kan bygga tillförlitlig synkronisering och överföring av data mellan skilda processeringsarkitekturer i ett heterogent system
3. realisera ett deterministiskt och tillförlitligt system genom en FPGA
4. realisera sann parallellprocessering i en FPGA
5. realisera ett komplext heterogent system

Innehåll

Tillförlitlighet inom mjuk- och hårdvara, och metoder för att uppnå det. Strukturering av kod för tillförlitlighet. Heterogena system. Laborationer/övningar avseende programmering av FPGAer och heterogena system.

Särskild behörighet

Datastrukturer, algoritmer och programkonstruktion 7,5 hp och Komplexa elektroniksystem 7,5 hp. Dessutom krävs Svenska 3 eller Svenska nivå 3 samt Engelska 6 eller Engelska nivå 2. I de fall kursen ges på engelska görs undantag från kravet på Svenska 3 eller Svenska nivå 3.

Examination

Laboration (LAB1), Laborationsserie som kontinuerligt redovisas enligt instruktioner, 4 hp, examinerar lärandemål 3 och 4, Betyg Underkänd (U) eller Godkänd (G).
Projekt (PRO1), En uppgift som redovisas med rapport och demonstration, 3,5 hp, examinerar lärandemål 1, 2 och 5, Betyg Underkänd (U), 3, 4 eller 5.

En student som har ett besked om riktat pedagogiskt stöd från MDU kan ansöka om anpassning vid examinationen. Det är examinatorn som beslutar om eventuell anpassning utifrån beskedet och förutsättningarna i övrigt.

Misstankar om vilseledande vid examination (fusk) anmäls, enligt högskole-förordningen, till 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 för viss tid.

Betyg

Ges något av betygen 5, 4, 3

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

Kursen överlappar helt med DVA447/DVA452 Programmering av tillförlitliga inbyggda system. Kursen överlappar dessutom med 4,5 hp mot DVA426 Programmering av tillförlitliga inbyggda system samt med 6 hp mot DVA441 Programmering av tillförlitliga inbyggda system.
Kursen kan räknas till teknikområdet tillförlitliga system.