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   ti  10-12  EL4                         Ø   on  17-19 EL4
Eksamen:   4.desember                                Hjelpemidler: B3       Øvinger: OKarakter: TE

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

Forutsetning: Fag 45090 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, Petrinett, prosessalgebra og algebraiske datatyper. Sentrale språk er SDL, ESTELLE, 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.