| TDDC05 |
Projektkurs i Inbyggda systems simulering och verifiering, CDIO, 5 p
/Embedded Systems Simulation and Verification/ |
||
Prel. schemalagd
tid: 28 |
|||
|
Utbildningsområde: Teknik Ämnesgrupp: Datalogi, Datateknik Nivå (A-D):C |
|||
|
Mål:
Projektarbetet ska genomföras på ett industriellt professionellt sätt, och det ska utveckla och befästa deltagarnas kompetenser på följande områden: -Analysera och strukturera problem -Söka upp och tillägna sig kompletterande kunskaper -Skriva och följa upp projekt- och tidplan -Aktivt medverka till en väl fungerande projektgrupp -Tillämpa kunskaper från tidigare kurser -Ta initiativ och finna kreativa lösningar -Redovisa resultat muntligt och skriftligt -Industriell utvecklingsmetodik för system med bl a inbyggd programvara -Vikten att hantera krav på systemet i sin helhet och att spåra kraven till olika delsystem vid design och verifiering -Kravspårning med hjälp av verktyg i system som omfattar programvara såväl som andra komponenter (mekanik, elektronik, hydraulik). -Specificera system mha diskreta modeller såsom tillståndsautomater, flödesgrafer, och logik -Specificera kraven på systemet i ett formellt språk och använda dessa för att kontrollera att en designen uppfyller uppställda prestanda- och funktionskrav. -Automatgenerera exekverbar kod och återanvända krav/design för att uppgradera systemet i framtida underhåll- och anpassningsfaser. Resultatet av projektarbetet ska: -Hålla hög teknisk kvalité och baseras på moderna kunskaper och metoder i systemkonstruktion. -Dokumenteras i form av projekt- och tidplan samt i form av en teknisk rapport -Presenteras muntligt -Följas upp i en efterstudie |
|||
| 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, grundläggande kunskaper i mängdlära. 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: Tekniska orienterande föreläsningar belyser teorin för systemutveckling. Det ingår även fördjupande föreläsningar i formell specifikation och verifiering. Det finns resurstillfällen där man kan lära sig mer om praktiskt handhavande av verktyg. I studentens arbete även ingår hemuppgifter för att få fördjupade kunskaper. Kursen pågår under hela vårterminen. Arbetet utförs i projektform i grupper om 4-5 studenter från olika utbildningsprogram. För studenter utanför Y-programmet anordnas en föreläsning för orientering i CDIO och LIPS. Varje grupp tilldelas en handledare som hjälper dels med tekniska frågor kring handhavande av verktyg, och dels med hantering av eventuella problem i gruppprocessen som studenterna själva inte kan hantera. Det finns möjligheten att beställa tid med en expert (konsult) som kan ge råd om tekniska designfrågor och erfarenheter från liknande projekt. Varje grupp förhandlar sin kravspecifikation med en beställare. Innan projektarbetet påbörjas ska projektgruppen också ta fram en projekt- och tidplan för sitt projekt. Projekten skall bedrivas enligt LIPS-modellen. Projektplan, tidplan och reflektionsdokument samt övriga projektdokument skall följa de mallar som ingår i LIPS. |
|||
| Kursinnehåll: Föreläsningar: Utvecklingsmetodik för system med inbyggd programvara. Olika faser och standards i systemutvecklingsprocess (Systems Engineering) och relationen till programutvecklingsprocess (Software Engineering). Arbetsredskap för modellering: ändliga tillståndsautomater, dataflödesdiagram och specifikationsspråk - diskreta så väl som hybrida (diskret/kontinuerliga) modeller. Orientering om komponent-baserad modellering och senare utvecklingsansatser (t.ex. Model Driven Architecture, standard såsom UML). Användning av logik för att bevisa systemegenskaper. Resurstillfällen: Frågor kring praktiskt handhavande av de verktyg som skall användas inom projektet besvaras, t.ex. kravhanteringsverktyget CORE, designverktyg baserad på UML och/eller dataflödesdiagram (tex SCADE), och logikbaserade verifieringsverktyg (tex Prover plugin). Projektuppgiften består av framtagning av krav, design, implementation och verifieringsdokument för programvaran i en markrobot som förflyttar sig i ett tryckeri och har laserbaserade sensorer för att hitta vägen i ett antal rum, lyfta och frakta pappersrullar och lagra dessa i ett särskilt utrymme. Roboten skall fungera på ett korrekt och säkert sätt som skall ha verifierats mha simulering och formell verifiering vid kontakt med andra objekt, människor, branddörrar, osv. |
|||
| Kurslitteratur: Systems Engineering: Coping with complexity. R. Stevens, K. Jackson, P. Brook, S. Arnold, Prentice Hall, 1998. Utdelat material.Andra artiklar och bredvidläsningsböcker. Kompendium om projektmodellen LIPS (köps på Bokakademin). |
|||
| Examination: | |||
| PRA2 UPG2 |
Projektarbete (U,G) Inlämningsuppgift i logik (Individuellt) (U,G) |
4 p 1 p |
|
| Projektarbetet kommer att bedömas utifrån uppfyllandet av kursens mål. Sex delmoment som vardera bedöms med godkänt / icke godkänt ingår i bedömningen. Dessa delmoment är: Kravhantering och specifikation, Designspecifikation och verifiering av högnivådesign, Kodgenerering och anpassning, Skriftlig dokumentation, Muntlig presentation och LIPS-dokument. LIPS-dokument skall minst inkludera projektplan, tidplan och reflektionsdokument författade i enlighet med LIPS. För godkänt på hela projektarbetet krävs godkänt på samtliga delmoment samt att målen för kursen är uppfyllda. | |||
Undervisningsspråk är Svenska.
Institution: IDA.
Studierektor: Christoph Kessler
Examinator: Simin Nadjm-Tehrani
Länk till kurshemsida på kursgivande institution
Ansvarig utbildningsnämnd: UNY
Engelsk kursplan
Om inget annat anges ovan gäller betygsskala enligt avsnitt a8.5 i de gemensamma bestämmelserna.
Kursplanen gäller för 2004.
 |
||||||
| ||||||