Pålitliga realtidssystem
Kurs
DIT173
Avancerad nivå
7,5 högskolepoäng (hp)
Om utbildningen
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
Behörigheter och urval
Förkunskapskrav
Förkunskapskravet är avklarade kurser om 120 hp i ämnet Datavetenskap, eller motsvarande. Dessutom krävs godkänt betyg i den förberedande kursen DIT162 RealTime Systems, 7,5 hp. Följande kunskapsnivå i Engelska krävs; Engelska 6/Engelska B eller motsvarande från ett erkänt internationellt test, t.ex. TOEFL, IELTS.
Urval
Högskolepoäng, max 165 hp.
