AU kursuskatalog arkiv

Model-drevet udvikling med VDM++ og UML 2 (TIVDM2-U01) ( forår 2009 - 5 ECTS )

Rammer for udbud

• Uddannelsessprog: dansk
• Niveau: Master
• Semester/kvarter: Q4
• Timer per uge: 3 timers undervisning om ugen og derudover skal der gennemføres et projekt. 50% teori + 50% praktisk.
• Deltagerbegrænsning: Ingen
• Undervisningssted: Århus
• Hovedområde: Ingeniørhøjskolen
• Udbud ID: 14828

Formål

Målet med kurset er, at den studerende lærer hvordan modeller i UML og VDM++ kombineret kan udvides med parallelle, real-time og distribuerede primitiver, valideres og derefter kan implementeres. Dette vil specielt øge forståelsen for de rette valg af valideringsteknikker i forskellige sammenhænge.

Indhold

Dette kursus indeholder:

• Alternative strukturering af modeller.
• Sammenhænge mellem VDM++ og UML.
• Parallelisme primitiver i VDM++.
• Forskellige valideringsteknikker for modeller.
• Brug af distribuerede udvidelser for VDM++.
• Brug af real-time udvidelser for VDM++.

Alle emner vil blive introduceret ved hjælp af eksempler inspireret fra industriel anvendelse.

Faglige forudsætninger

 TIVDM1 - Model-dreven udvikling med VDM++ og UML 1

Underviser

Peter Gorm Larsen

Undervisnings- og arbejdsform

Forelæsninger og et gennemgående projekt for hver gruppe. Obligatorisk aflevering af projektrapport.

afhængigt af deltagerne.

Litteratur

John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat and Marcel Verhoef:
Validated Designs for Object-oriented Systems, 
ISBN: 1-85233-881-4. Springer Verlag, New York. 2005.

Peter Gorm Larsen and Paul Mukherjee:
Development Guidelines for Real-Time Systems Using VDMTools,
Technical report, IFAD 2000.

Kursushjemmeside

http://kurser.iha.dk/eit/tivdm2/

Udbyder

Ingeniørhøjskolen i Århus

Indgår i følgende studieordninger

Civilingeniøruddannelsen i Teknisk IT

Tilmelding til undervisning

Send en mail med følgende indhold til info@agse.dk

• årskortnummer og navn
• præcist kursusnavn

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

• diskutere og sammenholde forskellige abstrakte modeller (sekventielle, parallelle og distribuerede) i forhold til hinanden.
• forklare konstruktioner og begreber i den parallelle, real-tid og distribuerede del af modelleringssproget VDM++.
• definere og forklare syntaks og semantik for den parallelle, real-tid og distribuere del af VDM++.
• anvende VDM++ og UML med den tilhørende værktøjssupport til abstrakt og præcis modellering og validering af parallelle, distribuerede og indlejrede systemer.

•vurdere praktisk anvendelse af VDM++ til validering af konkrete distribuerede indlejrede systemer.

Bedømmelse

• Hj.opg. + Mdt., bedømt efter 7-skala med ekstern censur
5 xxxxx

Mundtlig prøve (Skriftlig eller mundtlig - afhænger af antallet af studerende)