Faglig innhold

Emnet dreier seg om formelle systemutviklingsmetoder som egner seg for distribuerte sanntidssystemer generelt og telematikksystemer spesielt. Hovedtemaene er:
-Systemmodellering generelt med hovedvekt på modellering av logisk oppførsel på en måte som er forståelig for mennesker og uavhengig av realiseringsspråk/programmeringsspråk.
- Språk for systemmodellering, spesielt UML, MSC, SDL og prosessalgebra.
- Metodikk for systemutvikling.
- Teknikker for verifikasjon og validering.
- Modelldrevet utvikling.

Læringsutbytte

Studentene skal erverve inngående kjennskap til språkene UML, MSC og SDL og bli i stand til å spesifisere og realisere systemer ved hjelp av disse språkene og tilhørende verktøy. Desuten skal de erverve grunnleggende kunnskap om metodikk for utvikling av distribuerte sanntidssystemer, samt kjennskap til språkene ASN.1 og CCS.

Læringsformer og aktiviteter

Forelesninger og øvinger. Det er en større semesteroppgave der studentene modellerer oppførselen til et telematikksystem ved hjelp av UML og MSC og realiserer systemet med automatisk kodegenerering til Java. Mappevurdering gir grunnlag for sluttkarakteren i emnet. I mappen inngår skriftlig avsluttende eksamen 75% og semesteroppgave 25%. Resultatet for delene angis i %-poeng, mens sensur for hele mappen (sluttkarakteren) angis med bokstavkarakter. Undervisning kan bli gitt på engelsk dersom internasjonale studenter velger emnet. Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.

Anbefalte forkunnskaper

Emnene TDT4100 Objektorientert programmering, TDT4140 Systemutvikling og TTM4100 Kommunikasjon - Tjenester og nett eller tilsvarende forkunnskaper.

Kursmateriell

Oppgis ved semesterstart.

Studiepoengreduksjon