Browse by author
Lookup NU author(s): Professor John Fitzgerald,
Dr Peter Larsen
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
We describe the current status of "VDMTools", a group of tools supporting the analysis of system models expressed in the formal language of the Vienna Development Method. Three dialects of the language are supported: the ISO standard VDM specification language with support for modular structuring, the extension VDM++ which supports objectoriented structuring and concurrency, and a version extending VDM++ with features for modeling and analysing distributed embedded real-time systems. VDMTools provides extensive static semantics checking, automatic code generation, roundtrip mapping to UML class diagrams, documentation support, test coverage analysis and debugging support. The tools’ focus is on supporting the cost-effective development and exploitation of formal models in industrial settings. The paper presents the components of VDMTools and reports recent experience using them for the development of large models.
Author(s): Fitzgerald JS, Larsen PG, Sahara S
Publication type: Article
Publication status: Published
Journal: ACM SIGPLAN Notices
Print publication date: 01/02/2008
ISSN (print): 1523-2867
Publisher: Association for Computing Machinery
Altmetrics provided by Altmetric