2010
DOI: 10.1007/978-3-642-11512-7_10 View full text |Buy / Rent full text
|
|

Abstract: 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… Show more

Help me understand this report

Search citation statements

Order By: Relevance
0
0
0
0
0
0
3
0

Publication Types

Select...

Relationship

0
0

Authors

Journals