| TDDB30 | 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 TDDA47 Realtids och processprogrammering. Motsvarande grundkurser i reglerteknik.Organisation: Kursen omfattar 16 föreläsningstimmar, 20 lektionstimmar och 24 laboration stimmar.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: Laborationer med Statemate, RDD100 och NP-tools. Kurslitteratur: Ken Shumate, Marilyn Keller: Software Specification and Design - A Disciplined Approach for Real Time Systems, Wiley 1992. | ||
| LAB 1 | En laborationskurs. | |
| TEN 1 | En skriftlig tentamen. | |