| TDDB30 | Systemspecifikation verifikation och validering, 4 poäng /System Specification, Verification and Validation/ För: M4, Y4, I4, Ii4 | |
| 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: TDDA47 Realtids och processprogrammering eller TDDB47 RealtidssystemOrganisation: 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: Genomgång av de verktyg som skall användas på laborationer. Exempel på specifikations- och modelleringsspråk. Laborationer: Projekt med Statemate, RDD100 och NP-tools. Kurslitteratur: Ken Shumate, Marilyn Keller: Software Specification and Design - A Disciplined Approach for Real Time Systems, Wiley 1992. Utdelat material. | ||
| TEN1 | En skriftlig tentamen. , 1 p. | |
| PRA1 | , 2 p. | |
| UPG1 | , 1 p. | |
Undervisningsspåk är svenska.
Engelsk kursplan