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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lee, E.A.: Cyber physical systems: Design challenges. In: International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) (May 2008) (invited paper)
Gnesi, S., Margaria, T.: Formal Methods for Industrial Critical Systems. Wiley Online Library (2013)
Marwedel, P.: Embedded and cyber-physical systems in a nutshell. DAC. COM Knowledge Center Article 20(10) (2010)
Abrial, J.: Modeling in Event-B: System and software engineering. Cambridge University Press (2010)
Abrial, J., Butler, M., Hallerstede, S., Hoang, T., Mehta, F., Voisin, L.: Rodin: An open toolset for modelling and reasoning in Event-B. International Journal on Software Tools for Technology Transfer (STTT) 12(6), 447–466 (2010)
Blochwitz, T., Otter, M., Arnold, M., Bausch, C., Clauß, C., Elmqvist, H., Junghanns, A., Mauss, J., Monteiro, M., Neidhold, T., et al.: The Functional Mockup Interface for tool independent exchange of simulation models. In: Modelica 2011 Conference, pp. 20–22 (March 2011)
Fritzson, P., Engelson, V.: Modelica — a unified object-oriented language for system modeling and simulation. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol. 1445, pp. 67–90. Springer, Heidelberg (1998)
Leuschel, M., Butler, M.: ProB: an automated analysis toolset for the B method. International Journal on Software Tools for Technology Transfer 10(2), 185–203 (2008)
Boniol, F., Wiels, V.: The Landing Gear System Case Study. In: Boniol, F. (ed.) ABZ 2014 Case Study Track. CCIS, vol. 433, pp. 1–18. Springer, Heidelberg (2014)
Brück, D., Elmqvist, H., Mattsson, S.E., Olsson, H.: Dymola for multi-engineering modeling and simulation. In: Proceedings of Modelica (2002)
Otter, M., Malmheden, M., Elmqvist, H., Mattson, S.E., Johnsson, C.: A new formalism for modeling of reactive and hybrid systems. In: Proceedings of the 7th International Modelica Conference, Linköping University, pp. 364–377. Electronic Press (2009)
Savicks, V., Snook, C., Butler, M.: Event-B wiki: Event-B Statemachines (2011), http://wiki.event-b.org/index.php/Event-B_Statemachines
Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.: Formal definitions of simulation interfaces in a continuous/discrete co-simulation tool. In: Seventeenth IEEE International Workshop on Rapid System Prototyping, pp. 186–192 (June 2006 )
Hines, K., Borriello, G.: Dynamic communication models in embedded system co-simulation. In: Proceedings of the 34th Annual Design Automation Conference, pp. 395–400. ACM (1997)
Schierz, T., Arnold, M., Clauß, C.: Co-simulation with communication step size control in an FMI compatible master algorithm. In: 9th International Modelica Conference, Munich (2012)
Broman, D., Brooks, C., Greenberg, L., Lee, E.A., Masin, M., Tripakis, S., Wetter, M.: Determinate composition of FMUs for co-simulation. In: 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp. 1–12. IEEE (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Savicks, V., Butler, M., Colley, J. (2014). Co-simulation Environment for Rodin: Landing Gear Case Study. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, KD. (eds) ABZ 2014: The Landing Gear Case Study. ABZ 2014. Communications in Computer and Information Science, vol 433. Springer, Cham. https://doi.org/10.1007/978-3-319-07512-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-07512-9_11
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-07511-2
Online ISBN: 978-3-319-07512-9
eBook Packages: Computer ScienceComputer Science (R0)