| studiehandbok@lith | |
|
|
|
|
|
| TDDB30 | Inbyggda systems simulering
och verifiering, 4 poäng /Embedded systems simulation and verification/ För: M4, Y4, I4, Ii4,D4,IT4 | |
| Utbildningsområde: Teknik Ämnesgrupp: Datalogi | ||
| Fördjupningsnivå: C | ||
| Mål: Att få grundläggande kunskaper om industriell utvecklingsmetodik för system med bl a inbäddad programvara, i synnerhet där systemet omfattar annat än programvara (mekanik, elektronik, hydralik). Att få insikt i vikten att hantera krav på systemet i sin helhet och att spåra kraven till olika delsystem vid design och verifiering. Att få kunskaper och färdigheter att specificera system mha diskreta modeller såsom automater, flödesgrafer och logik. Att få 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 få metodkunskaper om testning för systemvalidering. Förkunskaper: TDDA47 Realtids och processprogrammering eller TDDB47 Realtidssystem Grundläggande kurs i reglerteknikOrganisation: Kursen omfattar orienterande föreläsningar, lektioner för att förbereda laborationsarbetet mha verktyg, och praktiskt arbete i form av labbar, och (valbara) hemuppgifter och rapportskrivning. Kursinnehåll: Föreläsningar: Utvecklingsmetodik för system med inbyggd programvara. Olika faser och standards i "Systems Engineering" och relationen till "Software Engineering". Arbetsredskap för modellering: ändliga tillståndsautomater, dataflödesdiagram och specifikationsspråk - diskreta så väl som hybrida (diskret/kontinuerliga) modeller. Användning av logik för att bevisa systemegenskaper. Lektioner: Genomgång av de verktyg som skall användas på laborationer t.ex. kravhanteringsverktyget CORE, designverktyget Statemate/Rhapsody (UML), och logikbaserade verifieringsverktyg. Kurslitteratur: Systems Engineering: Coping with complexity. R. Stevens, K. Jackson, P. Brook, S. Arnold, Prentice Hall, 1998. Utdelat material. | ||
| PRA1 | Obligatoriskt projektarbete/laborationer, 2 p. | |
| UPG1 | Obligatorisk övningsuppgift, 2 p. | |
| UPGA | Extra uppgift i CORE/logikuupgift samt uppsats för att få graderat betyg., 0 p. | |
Undervisningsspråk är svenska.
Studierektor: Simin Nadjm-Tehrani| |
|
|
 |
|||||
|
|
||||||
