Kursplan - Inbyggda system II

Syfte

Syftet med kursen är att ge en djupare teoretiskt kunskap, state-of-the-art metoder, för utveckling och verifiering av enkla och komplexa inbyggda system. Den ger en mer diversifierad och ingående bild av vad ett inbyggt system är och vilka olika typer av krav det kan ställas på att utveckla ett sådant.

Lärandemål

Studenten ska efter fullgjord kurs:

- kunna beskriva olika krav som ställs på ett avancerat inbyggt system och resonera kring motsättningar och ingenjörsmässiga svårigheter med dessa
- kunna analysera, verifiera och uppfylla tidmässiga krav i inbyggda realtidssystem
- kunna designa och utveckla säkerhetskritiska applikationer för inbyggda system utifrån ställda applikationskrav och systembegränsningar
- kunna använda olika modeller, t ex taskmodell, tillståndsmaskiner, UML modeller, för att abstrahera från lågnivådetaljer vid utveckling av inbyggda system
- kunna kommunicera med fältbusstekniker i realtid mellan inbyggda datorer i en distribuerad tillämpning
- kunna utvärdera hur valet av en viss hårdvara påverkar funktionell och temporal beteende i inbyggda system

Innehåll

Kursen utökar "Inbyggda system I" kursen, som fokuserar på state-of-the-practice, med djupare teoretiskt kunskap, state-of-the-art metoder, för utveckling och verifiering av mer komplexa inbyggda system. Den börjar med att introducera till de problem och begränsningar som finns i dagens industriella system, och presenterar sedan avancerade teoretiska metoder och modeller som kan användas för att överkomma dessa. Vissa avancerade metoder är så pass nya att det än så länge finns bara inom den akademiska världen, men de förväntas hitta sina tillämpningar i industriella system inom kort. Kursinnehållet inkluderar bl a avancerade verktyg och formella metoder för funktionell och temporal verifiering, t ex schmaläggningsanalys, riskanalys, feltolerans, samt metoder och tekniker för utvecklig av komplexa distribuerade applikationer som består av flera beräkningsnoder sammankopplade i ett närverk via avancerade fältbussar, t ex CAN, FlexRay, TTP, etc.

Undervisning

Föreläsningar och inlämningsuppgifter.

Särskild behörighet

Inbyggda system I 7,5 hp 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, övningsuppgift (INL1), 4,5 högskolepoäng, betyg 3, 4 eller 5
Tentamen (TEN1), 3 högskolepoäng, betyg 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

Studenter som har läst MDH kursen "Realtidssystem I" bör inte söka denna kurs, då kurserna överlappar till en stor del.