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!