Modeling and validating distributed embedded real-time systems with VDM++
conference paper
The complexity of real-time embedded systems is increasing, for example due to the use of distributed architectures. An extension to the Vienna Development Method (VDM) is proposed to address the problem of deployment of software on distributed hardware. The limitations of the current notation are discussed and new language elements are introduced to overcome these deficiencies. The impact of these changes is illustrated by a case study. A constructive operational semantics is defined in VDM++ and validated using VDMTools. The associated abstract formal semantics, which is not specific to VDM, is presented in this
paper. The proposed language extensions significantly reduce the modeling effort when describing distributed real-time systems in VDM++ and the revised semantics provides a basis for improved tool support.
paper. The proposed language extensions significantly reduce the modeling effort when describing distributed real-time systems in VDM++ and the revised semantics provides a basis for improved tool support.
Topics
TNO Identifier
953852
ISSN
03029743
ISBN
3540372156
Publisher
Springer Verlag
Source title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), FM 2006: 14th International Symposium on Formal Methods, 21 August 2006 through 27 August 2006
Pages
147-162
Files
To receive the publication files, please send an e-mail request to TNO Repository.