We describe tool support for multidisciplinary modelling of embedded systems using the Crescendo tool which allows discrete-event models given in the VDM notation using the Overture tool to co-simulate with continuous-time models that are developed using the 20-sim tool. The linking of discrete and continuous models via contracts, and co-simulation under the control of predefined scenarios injecting disturbances are presented.
CITATION STYLE
Larsen, P. G., Lausdahl, K., Gamble, C., Pierce, K., & Ribeiro, A. (2014). Support for co-modelling and co-simulation: The crescendo tool. In Collaborative Design for Embedded Systems: Co-Modelling and Co-Simulation (pp. 97–114). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-54118-6_5
Mendeley helps you to discover research relevant for your work.