TDDB 30 SYSTEMSPECIFIKATION, VERIFIKATION och VALIDERING, 4 poäng

/System Specification, Verification and Validation/
För M4, Y4
Utbildningsområde: Teknik
Ämnesgrupp: Datalogi
Fördjupningsnivå: C

Mål:
Att få grundläggande kunskaper och industriell utvecklingsmetodik för system med bl a inbäddad mjukvara. Att ge kunskaper och färdigheter att specificera system mha diskreta modeller som automater, flödesgrafer och logik. Att ge kunskap och förståelse för hur dessa specifikationer kan användas för att kontrollera att en design uppfyller uppställda prestanda och funktionskrav. Att ge metodkunskaper om testning för systemvalidering.

Förkunskaper:
Motsvarande grundkurs och fortsättningskurs i programmering.
Motsvarande TDDA 47 Realtids och processprogrammering.
Motsvarande grundkurser i reglerteknik.

Organisation:
Kursen omfattar 16 föreläsningstimmar, 20 lektionstimmar och 24 laborationstimmar.

Kursinnehåll:
Föreläsningar:
Utveckling av system med inbäddad programvara. Vad är en systemspecifikation, formella metoder och specifikationsspråk. Finita automater, Petri nät, nåbarhetsrymd, bevis av egenskaper. Dataflödesdiagram och dess egenskaper. Att använda logik för att bevisa egenskaper. Specifikation av temporalt beteende. Stora, komplexa system - svårigheter att bevisa egenskaper. Testmetoder.
Lektioner:
Exemplifieringar på specifikationer i olika språk - SDL, Statecharts, CSP, Z, ...... Jämförelse mellan olika metoder. Tillämpningsexempel och industriella erfarenheter.
Laborationer:
Övningar med Statecharts, NP-circuit + kanske ytterligare något och dessutom uttestning av program.
Kurslitteratur:
Ej bestämt ännu.

Examination:
LAB 1 En laborationskurs.
TEN 1 En skriftlig tentamen.