Studenten ska kunna

-  Visa förmåga att modellera, simulera, förutsäga och utvärdera beteenden hos sammansatta inbyggda system med hjälp av komponentbaserade mjukvarumodeller.

-  Visa förmåga att utveckla energieffektiva system med hjälp av reaktiva händelsekedjor.

-  Visa förmåga att analysera och kritiskt utvärdera såväl tids- som händelsestyrda system med avseende på både robusthet och energikonsumtion vid olika typer av belastning.

-  Visa kunskap om den vetenskapliga grunden för specifikation och verifiering av inbyggda systems realtidsegenskaper.

-  Visa förmåga till lagarbete och samverkan i grupper vid utveckling av kommunikations-protokoll för feltoleranta distribuerade realtidssystem.

-  Visa insikt i de möjligheter och begränsningar som följer av multiprocessorer och distribuerad systemarkitektur.

-  Visa insikter i aktuellt utvecklings- och forskningsarbete inom inbyggda och distribuerade realtidssystem, samt visa förmåga att muntligt redovisa sådana insikter på engelska.

Undervisningen består av föreläsningar och laborationer. Laborationerna redovisas skriftligt eller muntligt och kan vara försedda med sista inlämningsdag. Vissa laborationer kan anta formen av hemuppgifter.