Formal semantics of a VDM extension for distributed embedded systems
conference paper
To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timing primitives. In addition, we have defined an interface for the co-simulation of a VDM++ model with a continuous-time model of its environment. This enables multi-disciplinary design space exploration and continuous validation of design decisions throughout the development process. Wepresent an operational semantics which formalizes the precise meaning of the VDMextensions and the co-simulation concept.
TNO Identifier
954181
ISSN
03029743
ISBN
364211511X ; 9783642115110
Publisher
Springer
Source title
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
Editor(s)
U.Steffen, M. dams d.hannemann
Pages
142-161
Files
To receive the publication files, please send an e-mail request to TNO Repository.