Pålitliga realtidssystem

Denna kurs syftar till att ge en djupare förståelse för de problem som kan uppstå vid konstruktion av pålitliga realtidssystem baserade på multiprocessorer.
Specifikt omfattar kursen följande frågeställningar:- Bakgrund: behov för, och definition av, realtidssystem- Egenskaper hos realtidssystem: tillämpningskrav, konstruktionsmetoder, processmodeller, exekveringsmodeller, arkitekturer- Utvärdering av realtidssystem: prestandamått, metoder för utvärdering- Schemaläggning av enkel- och multiprocessorsystem: problemformulering, terminologi och algoritmer- Komplexitetsteori och NP-kompletta problem inom realtidsschemaläggning- Realtidskommunikation: protokoll och fördröjningsgarantier- Metoder för feltolerans i realtidssystem: modeller, algoritmer och arkitekturer