Sciweavers

BIRTHDAY
2010
Springer

Formal Semantics of a VDM Extension for Distributed Embedded Systems

13 years 11 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. 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. We present an operational semantics which formalizes the precise meaning of the VDM extensions and the co-simulation concept.
Jozef Hooman, Marcel Verhoef
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2010
Where BIRTHDAY
Authors Jozef Hooman, Marcel Verhoef
Comments (0)