AU kursuskatalog arkiv

Model-drevet udvikling med VDM++ og UML 2 (TIVDM2-U01) ( forår 2010 - 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: 23624

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 enten beskrivelse af semantik for et programmeringssprog eller 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)