45360     PROGDESIGN TELEMATIK
          Programvare design for telematikksystemer
          Software design for telematics systems
Faglærer: Professor II Rolv Bræk
Uketimer: Vår: 2F + 2Øu + 2Øs + 1D = 9Bt
Tid:      Vår:   F   ma  12-14  EL2                         Ø   fr  13-15 EL5
Eksamen:  18.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: Kurset har to hoveddeler: Konstruksjonsmetodikk for sanntids programvare og moderne plattformer for kommunikasjonssystemer. Plattformdelen ser både på sanntids operativsystem, mellomvare som CORBA og mer overordnede modeller som TINA og ODP. Under konstruksjonsmetodikk tar vi utgangspunkt i en formell spesifikasjon og diskuterer hvordan spesifikasjonen kan realiseres i programvare og maskinvare slik at kravene til ytelse, sanntidsegenskaper, pålitelighet etc. tilfredsstilles. Vi ser også på hvordan resultatet kan dokumenteres og testes.

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.