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

A. Kunnskap:
1) Dyp forståelse av språkene UML, MSC og SDL.
2) Grunnleggende forståelse av metodikk for utvikling av distribuerte sanntidssystemer.
3) Kjennskap til prosessalgebra og CCS.
4) Forståelse av teknikker for å sikre kvalitet og korrekthet.
5) Inngående kjennskap til minst ett verktøy.

B. Ferdigheter:
1) Kunne metodisk spesifisere, analysere og realisere systemer.
2) Kunne bruke minst ett systemutviklingsverktøy.
3) kunne anvende teknikker for å finne og fjerne feil samt unngå feil.

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