• Visa förmåga att utföra modellbaserad design av resursbegränsade inbäddade realtidssystem.
• Visa förmåga att utveckla minnessäkra implementationer.
• Tillämpa formella metoder för verifiering av funktionella och icke-funktionella (t.ex. realtids) egenskaper hos inbäddade realtidssystem.
• Visa insikt i aktuellt forsknings- och utvecklingsarbete inom inbäddade realtidssystem samt förmåga att presentera denna kunskap.
• Visa förmågan att förstå och arbeta med befintlig källkod och genomföra kollegial granskning.

• Programmering av inbyggda realtidssystem med hjälp av moderna metoder och verktyg.
• Analys av sådana system med hjälp av symbolisk exekvering.
• Karakterisering av exekveringstid för tasks och kritiska sektioner. 
• Schemaläggningsanalys av sådana system.
• Internalisera teoretiska koncept genom att implementera stödjande verktyg.

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.

Det kommer att finnas två delar i examinationen: laboratoriearbete och en hemtentamen.

I det laborativa arbetet löser du enkla problem som ger dig grundläggande praktisk kunskap inom området. Laborationerna kan göras i samarbete med andra studenter, men lämnas in för granskning individuellt. 
Varje student ska även genomföra kollegial granskning på två inlämningar för varje laborationsuppgift.

Hemtentamen består av ett större praktiskt projektarbete innefattar problemlösning, programanalys och verktygsutveckling. Detta redovisas genom inlämning av källkod och dokumentation.  Kollegial granskning kommer att tillämpas för att granska andra elevers arbete.