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

Efter avslutad kurs ska studenten kunna: 
1.  Beskriva olika krav som ställs på ett avancerat inbyggt system och resonera kring motsättningar och ingenjörsmässiga svårigheter med dessa. 
2.  Analysera, verifiera och uppfylla tidmässiga krav i inbyggda realtidssystem. 
3.  Designa och analysera säkerhetskritiska applikationer för inbyggda system utifrån ställda applikationskrav och systembegränsningar. 
4.  Använda olika modeller för att abstrahera från lågnivådetaljer vid utveckling av komplexa inbyggda system. 
5. Förstår och analysera fältbusstekniker för realtidskommunikation mellan inbyggda datorer i en distribuerad tillämpning. 
6. Utvärdera hur valet av hårdvara påverkar funktionellt och temporalt 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 de än så länge bara finns inom den akademiska världen, men de förväntas hitta sina tillämpningar i industriella system inom kort. Kursinnehållet kan inkludera bl a avancerade verktyg och formella metoder för funktionell och temporal verifiering, t ex schemaläggningsanalys, riskanalys, feltolerans, samt metoder och tekniker för utvecklig av komplexa distribuerade applikationer som består av flera noder sammankopplade i ett nätverk via fältbussar.

Särskild behörighet

Inbyggda system I 7,5 hp samt 15 hp matematik/tillämpad matematik varav 7,5 hp algebra. 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 hp, examinerar lärandemål 1-6, betyg Underkänd (U) eller Godkänd (G)
Tentamen (TEN1), 3 hp, examinerar lärandemål 1-6, 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 7,5 hp med DVA404 Inbyggda system II, 3 hp med  DVA236 Realtidssystem 1, 3,8 hp med CDT308 Realtidssystem I, 3,8 hp med CDT315 Realtidssystem I samt 4 hp med DVA455 Mjukvaruutveckling för realtidssystem.
Kursen kan räknas till teknikområdet tillförlitliga system.