45341     FDT FOR TELEMATIKK
          Formelle definisjonsteknikker for telematikksystemer
          Formal definition technics for telematics systems
Faglærer: Professor Finn Arve Aagesen
Uketimer: Høst: 2F + 2Øu + 2Øs + 2D = 10Bt
Tid:      Høst:  F   fr  08-10  356-SII                     Ø   on  17-19 356-SII
Eksamen:  3.desember           Hjelpemidler: B3            Øvinger: O    Karakter: TE

Mål: Faget skal gi kompetanse på språk og metodikk for spesifikasjon og beskrivelse av funksjoner i distribuerte systemer.

Forutsetning: Fag 78036 Operativsystemer og 45307 Kommunikasjonsnett eller tilsvarende.

Innhold: Faget behandler basismekanismer, språk og metodikk for spesifikasjon og beskrivelse av funksjoner i distribuerte systemer. Basismekanismer er tilstandsmaskiner, prosessalgebra og algebraiske datatyper. Sentrale språk er SDL, LOTOS og ASN1. En metodikk basert på SDL, som omfatter både funksjonsdefinisjon og arkitekturdesign for realisering, har en sentral rolle i faget.

Undervisningsform: Forelesning og øvinger. Det gis 8 frivillige øvinger og 1 semesteroppgave som kreves godkjent. En av oppgavene i Telematikk lab. er relatert til dette faget.

Kursmateriell: Oppgis ved kursets begynnelse.