FIL3112 Realtidssystem 7,5 hp

• Tidskrav för realtidssystem.
• Modeller för att beskriva realtidssystem.
• Schemaläggning och resursfördelning för en- och flerkärniga realtidssystem.
• Tidsverifiering av realtidssystem.
• Realtidsnätverk.
• Realtidsoperativsystem.
• Implementering av programvarutillämpningar med realtidskrav.

Efter godkänd kurs ska studenten kunna

• modellera och designa realtidssystem och tillämpa olika analystekniker för att validera deras tidskrav
• undersöka implementeringar av komplexa realtidsprogram som använder ett realtidsoperativsystem
• jämföra litteratur och forskningsinriktningar om realtidssystem.

Kunskaper och färdigheter i programmering, 6 hp, motsvarande slutförd kurs DD1337/DD1310-DD1319/DD1321/DD1331/DD100N/ID1018.

Kunskaper i datorteknik/datorarkitektur, 6 hp, motsvarande slutförd kurs EP1200/IS1200/IS1500.

Färdigheter i matematisk bevisföring, motsvarande slutförda kurser i matematik på högskolenivå om 7,5 hp, till exempel SF1610/SF1624/SF1625/SF1630/SF1662/SF1671/SF1672/SF1673/SF1679.

• LAB1 - Laborationer, 1,5 hp, betygsskala: P, F
• TEN1 - Skriftlig tentamen, 5,0 hp, betygsskala: P, F
• SEM1 - Seminarier, 1,0 hp, betygsskala: P, F

Examinator beslutar, baserat på rekommendation från KTH:s handläggare av stöd till studenter med funktionsnedsättning, om eventuell anpassad examination för studenter med dokumenterad, varaktig funktionsnedsättning.

Examinator får medge annan examinationsform vid omexamination av enstaka studenter. När kurs inte längre ges har student möjlighet att examineras under ytterligare två läsår.

Kursen består av föreläsningar, laborationer, seminarier och övningar.

Medan kursens fokus ligger på metoder för att analysera tidsegenskaper hos realtidssystem, kommer studenterna också att använda realtidsoperativsystem (RTOS) för att implementera applikationer som följer de teoretiska modellerna och kopplar samman teori och praktik. Detta är ett viktigt steg, eftersom implementeringar erbjuder en mängd val som på olika sätt kan påverka applikationers temporala beteende, vilket kan leda till obegränsat tidsbeteende som inte längre kan analyseras. Seminarier kommer att användas för att utforska banbrytande artiklar såväl som aktuella forskningsinriktningar på djupet.

Kursens examination är indelad i tre delar:
LAB-laboratorieövningar, 1,5 HP: P/F
TEN-skriftlig tentamen, 5,0 HP: P/F
SEM-seminarier, 1,0 HP, P/F

En student måste ha godkänt betyg i varje del för att klara kursen.

Matthias Becker

• Vid grupparbete har alla i gruppen ansvar för gruppens arbete.
• Vid examination ska varje student ärligt redovisa hjälp som erhållits och källor som använts.
• Vid muntlig examination ska varje student kunna redogöra för hela uppgiften och hela lösningen.