Pålitliga realtidssystem

Högskola och universitet hos Göteborgs universitet, 7,5 högskolepoäng.

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

Starttillfällen