Abstract This work in progress presents a prototype multi-simulation environment for the Rodin platform that enables import, co-modelling and co-simulation of dynamic models and formal Event-B specifications, which can help in the design of mixed discrete-event/continuous-time systems. The proposed solution is based on the Functional Mock-up Interface standard and ProB animator for Event-B. The involved technologies and co-simulation semantics are explained, followed by a demonstration of preliminary results, obtained from a landing gear case study.
Co-simulation Environment for Rodin: Landing Gear Case Study
2014-01-01
6 pages
Article/Chapter (Book)
Electronic Resource
English
Co-simulation Environment for Rodin: Landing Gear Case Study
British Library Conference Proceedings | 2014
|The Landing Gear System Case Study
Springer Verlag | 2014
|The Landing Gear System Case Study
British Library Conference Proceedings | 2014
|Shipping - Le SeaFrance-Rodin livré
Online Contents | 2001
Helicopter Landing Gear Shimmy Simulation
British Library Conference Proceedings | 2010
|