Emne - Sanntidsteori - TK8112
Sanntidsteori
Om
Om emnet
Faglig innhold
CSP som prosessalgebra. Prosesskomposisjon; hendelser, alfabeter,
sekvenser, alfabetisert parallell og fletting. Terminering, sporing,
feiling og divergens. CSP-prosesser som
transisjonssystemer/tilstandsmaskiner. Analyse av spor. Algebraiske
regler for CSP. Grader av abstraksjon. Modellering av diskret tid ved
klokketikk. Modellering av programmer og sanntidssystemer i CSP.
Påvisning av sanntidsegenskaper ved hjelp av FDR.
Læringsutbytte
Være i stand til å modellere programmer og sanntidssystemer på egnet
abstraksjonsnivå, og kunne benytte formell analyse på modellene for å
påvise ønskede egenskaper.
Læringsformer og aktiviteter
Selvstudium, Kolokvier, Øvinger.
Obligatoriske aktiviteter
- Øvinger
Anbefalte forkunnskaper
Det er en fordel med kunnskaper tilsvarende TTK4145 Sanntidsprogrammering.
Kursmateriell
A.W. Roscoe: The Theory and Practice of Concurrency. Annen pensumlitteratur og støttelitteratur oppgis ved semesterstart.
Fagområder
- Datateknikk og informasjonsvitenskap
- Teknisk kybernetikk