Mål:
Att ge kunskaper och färdigheter att programmera i form av parallella processer i högnivåspråk. Att ge förståelse för problemställningar, metoder och struktureringsmekanismer för realtids- och processprogrammering. Speciellt stor vikt läggs vid att programmeringen syftar till att påverka en yttre miljö av sensorer och effektorer.
Förkunskaper:
TSEA48 Datorteknik och TDDI36 Programmering i C för DI.
Organisation:
På föreläsningar genomgås den teoretiska delen. Lektionerna syftar till att öva de genomgångna momenten samt förbereda för laborationskursen.
Kursinnehåll:
Genomgång av programspråket Ada.
Parallellt exekverande program i motsats till sekventiella. Tillförlitlighet, felhantering.Kommunikationsstrategier och synkroniseringsmekanismer för processinteraktion. Studie och diskussion av programmeringsspråkskonstruktioner för parallell- och realtidshantering. Resurshantering. specificering, verifikation och validering. Exempel från bl a Modula-2, Ada och OCCAM.
Kurslitteratur:
Burns, A. och Wellings, A.: Real-Time systems and their programming languages. Addison Wesley
Laborationsmaterial och artikelsamling utgivet av Institutionen för datavetenskap.
Examination:
LAB 1 En laborationskurs.
TEN 1 En skriftlig tentamen.