Presented at the 1st International Workshop on UML & Formal Methods (UML&FM at ICFEM 2008), October 27, 2008, Kitakyushu, Japan.
It is shown how these approaches can be combined to improve the design and analysis of high-tech systems, both in theory and practice.
In Distributed Embedded Systems: Design, Middleware and Resources, IFIP 20th World Computer Congress, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy, volume 271 of IFIP International Federation for Information Processing, pages 79-88, New York, USA, September 2008. [ bib | DOI ] Kristian Bisgaard Lassen and Simon Tjell.
Developing Tool Support for Problem Diagrams with CPN and VDM .
The resulting model-driven design approach fits the current engineering practice in industry and is both flexible and effective.
The Vienna Development Method (VDM) is one of the longest-established Formal Methods for the development of computer-based systems.
The corresponding continuous time model is available through the first author.