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.

• Type: Conference
• Year: 2010
• Where: BIRTHDAY
• Authors: Jozef Hooman, Marcel Verhoef
• Keywords: Applied Computing, BIRTHDAY 2010, Continuous-time Model, Multi-disciplinary Design Space, Specification Language Vdm++