Faglig innhold

Programmeringsformalismer for sanntid; POSIX, Ada, Java og OCCAM. Tråder/prosesser, synkronisering og kommunikasjon. Delt variabel-basert synkronisering og ressurskontroll. Feilhåndtering, tilgjengelighet og konsistens. Meldingsbasert synkronisering, CSP og formelle metoder. Praktiske øvinger og prosjekt.

Læringsutbytte

Studenten vil få inngående kjennskap til/ferdighet i følgende emner:
* Design og utvikling av sanntids programvare.
* Vanlige fallgruber ved sanntidsprogrammering.
* Synkroniseringsmekanismer som semaforer og monitorer.
* Meldingsbasert synkronisering.
* Feilhåndtering og feiltoleranse.
* Høytilgjengelighet og konsistens i systemer med
flere tråder/prosesser.
Studenten vil få kjennskap til følgende emner:
* OCCAM/CSP
* Ada
* Formelle metoder og bruk av analyseverktøy for sanntidssystemer.

Læringsformer og aktiviteter

Forelesninger og obligatoriske øvinger/prosjekt. Mappevurdering gir grunnlag for sluttkarakter i emnet. I mappen inngår skriftlig avsluttende eksamen 75% og arbeider 25%. Resultatet for delene angis i %-poeng, mens sensur for hele mappen (sluttkarakteren) angis med bokstavkarakter. Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.

Obligatoriske aktiviteter

• Øvinger
• Prosjekt

Anbefalte forkunnskaper

Det er en fordel med kunnskaper tilsvarende TTK4147 Sanntidssystemer. Likedan et minimums kjennskap til programmeringsspråket C og programvaredesign eller UML. Studenten må ha god ferdighet i minst ett programmeringsspråk og en god forståelse av datamaskiner og operativsystemers virkemåte.

Kursmateriell

Alan Burns og Andy Wellings: Real-Time Systems and Programming Languages. Annen pensumlitteratur og støttelitteratur oppgis ved semesterstart.

Studiepoengreduksjon