| TDDB30 |
Inbyggda systems simulering och verifiering, 4 p
/Embedded systems simulation and verification/ |
||
|
Utbildningsområde: Teknik Ämnesgrupp: Datalogi Nivå (A-D):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: (gäller studerande antagna till program som kursen ges inom, se 'För:' ovan) Realtidssystem (t.ex. TDDA47, TDDB47) och grundläggande reglerteknik. OBS! Tillträdeskrav för icke programstudenter omfattar vanligen också tillträdeskrav för programmet och ev. tröskelkrav för progression inom programmet, eller motsvarande. |
|||
| Organisation: 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. Kursen pågår under hela vårterminen. |
|||
| 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. |
|||
| Examination: | |||
| LABA LABB UPGB |
Kravhanteringslaboration och designspecifikation Verifieringslaboration med hjälp av logikbaserat verktyg Obligatorisk övningsuppgift för att få graderat betyg 4 eller 5 |
3 p 1 p 0 p |
|
Undervisningsspråk är Svenska.
Institution: IDA.
Studierektor: sas-sr@ida.liu.se
Examinator: Simin Nadjm-Tehrani
Länk till kurshemsida på kursgivande institution
Ansvarig utbildningsnämnd: UNM
Engelsk kursplan
Om inget annat anges ovan gäller betygsskala enligt avsnitt a8.5 i de gemensamma bestämmelserna.
Kursplanen gäller för 2003.
 |
||||||
| ||||||