Model driven development using VDM++ and UML 1
Q3, Spring 2010
Computer Technology and Embedded Systems
Engineering College of Aarhus
 		Home ·
Material·
The Course ·
Groups and projects 
Week for week ·
Contact ·

Groups and Projects

Frederik Ømark Laulund,

Lasse Haugsted Rasmussen and

Christian Jensen

Helicopter hover control

Week2.ppt and week2.pdf

Week3.ppt and week3.pdf

Week5.ppt and week5.pdf
José Antonio Esparza Isasa and

Kim Bjerge

 Sorting System

Week2.ppt and week2.pdf

Week5.ppt and week5.pdf
Allan Knak Kristensen and

Jeppe Langhoff Sørensen

 Interpreter for the Simple AST

Week2.ppt and week2.pdf

Week3.ppt and week3.pdf
Jon Svend Lindorf Nielsen,

Johannes Ulfkjær Jensen and

Leni Guldgrandt Lausdahl

 Code generator for the Simple AST

Week2.ppt and week2.pdf

Week3.ppt and week3.pdf

Week6.ppt and week6.pdf
Hans Christian Jørgensen,

Morten Damgaard Mikkelsen and

Michael Lund Mortensen

 Air Traffic Control around airport

Week2.pdf

Week3.pdf

Week5.pdf

 

Old Groups and Projects

Claus Ballegård Nielsen Vehicle Dynamic Monitoring

First requirement draft

First class diagram

First VDM++ model

Second VDM++ model
Kim Teglgaard Christensen Oil Rig management System

First class dragram

VDM++ model
Jens Olsen og Lars Schelde ATM

First requirements (pdf) (ppt)

VDM++ model

Updated VDM++ model

Older Groups and Projects

Lasse Lorentzen and Kenneth Lausdahl Robot ’N Rescue

First requirement draft (and in pdf)

First class diagrams in pdf
Martin Vestergaard Car Alarm System

First requirement draft
Jonas Hove Jakobsen and Søren Gørtz Olesen Vital sign alarm system

One presentation with all parts

Even Older Groups and Projects

Jonas Livbjerg Automatic Medicin Dispenser

First class diagrams

Sequential VDM++ model

Tested VDM++ model
Hugo Daniel dos San Macedo Pacemaker

First draft

Sequential VDM++ model

Concurrent VDM++ model

Distributed real-time VDM++ model
Sune Wolff VIP Elevator

First class diagrams

Sequential VDM++ model

Second sequential VDM++ model

Very Old Groups and Projects

Peter Clausen 19991789

Raghid Karwash 20054614 and

Brian Gram Møller 20054600

Cash dispenser

First requirements draft

First class diagrams

First VDM++ model

Second VDM++ model
Rasmus Oudal Edberg 20043839

Brian Steensgaard 20043835 and

Henrik Karmisholt Grosen 20043836

Production cell

First draft

First class diagrams

First VDM++ model

Second VDM++ model
Tommy Pedersen 20030340 and

Thomas Christensen, AU

 SAFER

First draft

First class diagrams

First VDM++ model

Second VDM++ model
Simon Tjell, AU Car radio navigation system

First draft

First class diagrams

First VDM++ model

Second VDM++ model
Jakob Venning, 20043782 and Self navigating vehicle

First draft

First class diagrams

First VDM++ model

Second VDM++ model
Jasper Moltke Nygaard, 20054601

Rasmus Ask Sørensen 20054602

 Cyber rail

First draft

First class diagrams

First VDM++ model

Second VDM++ model
Lars Sarbæk Kristiansen 20050013

Kasper H. J. Nielsen 19980150 and

Martin Kjeldsen 20002072

Personal Medical Unit

Second draft

First class diagrams

First VDM++ model

Second VDM++ model

 

Updated Febuary 8th 2010
Peter Gorm Larsen (pgl@iha.dk) 		Viewable with Any Browser Valid HTML 4.01!