45360      PROGDESIGN TELEMATIK
           Programvare design for telematikksystemer
           Software design for telematics systems
Faglærer:  Professor Finn Arve Aagesen
Uketimer:  Vår: 2F + 2Øu + 2Øs + 1D = 9Bt
Tid:       Vår:  F   ti  10-12  F2                          Ø   ma  15-17 F2
Eksamen:   6.mai                Hjelpemidler: B3            Øvinger: F    Karakter: TE

Mål: Studentene skal lære å konstruere et programsystem som realiserer funksjonene i et kommunikasjonssystem, eller en lignende type sanntidssystem.

Forutsetning: Fag 45341 Formelle definisjonsteknikker for telematikksystemer. Det er en fordel med noen forkunnskaper om operativsystemer.

Innhold: En generell del om konstruksjon og realisering av sanntids programvare. Vi tar utgangspunkt i en formell spesifikasjon og diskuterer hvordan spesifikasjonen kan realiseres i programvare og maskinvare slik at kravene til ytelse, sanntidsegenskaper, pålitelighet etc. tilfedsstilles. Vi ser også på hvordan resultatet kan dokumenteres og testes. En spesiell del om programmering med CHILL. Studentene lærer språket CHILL og får praktisk erfaring i å programmere parallelle prosesser.

Undervisningsform: Forelesninger og øvinger. Bruk av programmeringsverktøy og programmering i CHILL.

Kursmateriell: R. Bræk, Ø. Haugen: Engineering Real Time Systems, Hemel Hempskal, Prentice-Hall, ISBN 0-B-03448-6, 1993, tilgjengelig fra Tapir.

Forelesningsnotater. CHILL dokumentasjon.