[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]
The objective of the course is that the students acquire the basic principles and practical hands-on for modelling and validation of critical systems using models in VDM++. This will in particular increase the understanding of the different levels of abstraction a critical system can be modelled at.
This course contains:
All subjects will be introduced by examples inspired from industrial applications and in addition the projects the students can select for their projects will be realistic critical systems.
The course assumes an understanding of discrete mathematics and elementary experience with object-oriented programming including notions such as inheritance known from programming languages such as C++ or Java.
Peter Gorm Larsen
Lectures and a project developed by each group.
John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat and Marcel Verhoef: Validated Designs for Object-oriented Systems, Springer Verlag, 2005, ISBN 1-85233-881-4.
and
Development Guidelines for Real-Time Systems Using VDM, Overture technical report 006
June, re-examination after appointment with lecturer
Aarhus School of Engineering (ASE)
The participants must at the end of the course be able to:
Evaluate practical use of VDM++ for the modelling and validation of concrete critical systems.
Oral exam (20 min.) without preparation. 7-scale, external examiner.