Emne - Sanntidsteori - TK8112
TK8112 - Sanntidsteori
Om emnet
Vurderingsordning
Vurderingsordning: Muntlig eksamen
Karakter: Bestått/Ikke bestått
Vurderingsform | Vekting | Varighet | Hjelpemidler | Delkarakter |
---|---|---|---|---|
Muntlig eksamen | 100/100 |
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
Kandidaten skal kunne:
A) Kunnskap: 1) Inngående kjennskap til CSP som modelleringsspråk. (CSP's syntaks, hendelser og prosesser. Fundamentale operatorer: prefiksing, rekursjon, mu-rekursjon, alternativer Paralleloperatorer,
alfabetisert, flettet og synkronisert. Kanaler og piping i CSP.
Sekvenser, terminering, SKIP vs STOP.) 2) God forståelse av divergens i CSP. (CSP hiding, renaming og hvordan hiding og renaming virker inn på divergens.) 3) God forståelse av traces, failures og refinement. 4) God forståelse av CSP's definisjon av ulike typer refinement og hvordan refinement kan brukes til å sjekke om en prosess følger en spesifikasjon. 5) Kjenskap til den generelle bufferprosessen, og hvordan denne kan brukes til å sjekke korrekthet i kommunikasjonsprotokoller. B) Ferdigheter: 1) Kunne skrive modeller i maskinlesbar CSP for bruk med FSR2. 2) Kunne bruke FDR2 til å sjekke egenskaper i systemer definert med CSP. C) Generell kompetanse 1) Innføring i en prosessalgebra 2) Bruk av abstrakt matematikk
Læringsformer og aktiviteter
Selvstudium, Kolokvier, Øvinger.
Obligatoriske aktiviteter
- Øvinger
Spesielle vilkår
Vurderingsmelding krever godkjent undervisningsmelding samme semester. Obligatorisk aktivitet fra tidligere semester kan godkjennes av instituttet.
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.
Ingen
Versjon: 1
Studiepoeng:
7.5 SP
Studienivå: Doktorgrads nivå
Termin nr.: 1
Undervises: HØST 2020
Termin nr.: 1
Undervises: VÅR 2021
Undervisningsspråk: Engelsk
Sted: Trondheim
- Datateknikk og informasjonsvitenskap
- Teknisk kybernetikk
Eksamensinfo
Vurderingsordning: Muntlig eksamen
- Termin Statuskode Vurderings-form Vekting Hjelpemidler Dato Tid Digital eksamen Rom *
- Høst ORD Muntlig eksamen 100/100
-
Rom Bygning Antall kandidater - Vår ORD Muntlig eksamen 100/100
-
Rom Bygning Antall kandidater
- * Skriftlig eksamen plasseres på rom 3 dager før eksamensdato. Hvis mer enn ett rom er oppgitt, finner du ditt rom på Studentweb.
For mer info om oppmelding til og gjennomføring av eksamen, se "Innsida - Eksamen"