Abstract
Complex systems comprising hardware, software, facilities and personnel are gaining more and more importance. Such systems are hybrid, as some components are characterised by continuous behaviour, whereas the behaviour of others is discrete. In this paper we present a concise conceptual model that is capable to capture structure and behaviour of such systems. We show that structural modelling can be based on well-known concepts of the entity-relationship model requiring only some extensions to constraints. We further show that behavioural modelling requires only a careful separation of synchronous and asynchronous interaction and high-level means for the integration of continuous functions. We show that all these concepts can be captured by defining a semantics in hybrid Event-B. The paper illustrates the modelling method by a sophisticated industrial example of a hemodialysis machine.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The pictures were produced by the SysML tool Enterprise Architect [8].
References
Banach, R., Butler, M.J., Qin, S., Verma, N., Zhu, H.: Core hybrid Event-B I: single hybrid Event-B machines. Sci. Comput. Program. 105, 92–123 (2015)
Banach, R., Butler, M.J., Qin, S., Zhu, H.: Core hybrid Event-B II: multiple cooperating hybrid Event-B machines. Sci. Comput. Program. 139, 1–35 (2017)
Banach, R., Jeske, C.: Retrenchment and refinement interworking: the tower theorems. Math. Struct. Comput. Sci. 25(1), 135–202 (2015)
Banach, R., Zhu, H., Su, W., Huang, R.: Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. Form. Asp. Comput. 26(2), 319–366 (2014)
Börger, E., Schewe, K.D.: Concurrent abstract state machines. Acta Inform. 53(5), 469–492 (2016). https://link.springer.com/article/10.1007/s00236-015-0249-7
Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003)
Buga, A., Nemeş, S.T., Schewe, K.D., Songprasop, P.: A conceptual model for systems engineering and its formal foundation. In: Kiyoki, Y., Thalheim, B. (eds.) Proceedings of the 27th International Conference on Information Modelling and Knowledge Bases (EJC 2017) (2017, to appear)
Enterprise Architect - UML design tools and UML case tools for software development (2016). http://www.sparxsystems.com.au/products/ea/index.html
Lamport, L.: Hybrid systems in TLA+. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991-1992. LNCS, vol. 736, pp. 77–102. Springer, Heidelberg (1993). doi:10.1007/3-540-57318-6_25
Magicdraw (2016). http://www.nomagic.com/products/magicdraw.html
Mashkoor, A.: The hemodialysis machine case study. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 329–343. Springer, Cham (2016). doi:10.1007/978-3-319-33600-8_29
Mashkoor, A., Biro, M.: Towards the trustworthy development of active medical devices: a hemodialysis case study. IEEE Embed. Syst. Lett. 8(1), 14–17 (2016)
OMG Systems Modeling Language (OMG SysML), Version 1.4, OMG document number formal/2015-06-03(2015) (2015). http://www.omg.org/spec/SysML/1.4/
Platzer, A.: Analog and hybrid computation: dynamical systems and programming languages. Bull. EATCS 114, 152–199 (2014)
PTC Integrity Modeler (2016). http://www.ptc.com/model-based-systems-engineering/integrity-modeler
Sarstedt, S.: Semantic foundation and tool support for model-driven development with UML 2 activity diagrams. Ph.D. thesis, Universität Ulm (2006)
Schewe, K.D.: On the unification of query algebras and their extension to rational tree structures. In: Orlowska, M.E., Roddick, J.F. (eds.) Twelfth Australasian Database Conference (ADC2001), Bond University, Queensland, Australia, 29 January 1 February 2001, pp. 52–59. IEEE Computer Society (2001)
Schewe, K.D.: UML: a modern dinosaur? A critical analysis of the unified modelling language. In: Jaakkola, H., Kangassalo, H., Kawaguchi, E. (eds.) Information Modelling and Knowledge Bases XII, Frontiers in Articial Intelligence and Applications, vol. 67, pp. 185–202. IOS Press (2001)
Songprasop, P.: Structural modelling in systems engineering. Master’s thesis, Johannes-Kepler-University Linz (2017)
Stan-Ober, I.: Harmonisation des languages de modelisation avec des extensions orientées-object et une Sémantique Exécutable. Ph.D. thesis, Institut National Polytechnique de Toulouse (2001)
Su, W., Abrial, J.R., Zhu, H.: Formalizing hybrid systems with Event-B and the Rodin platform. Sci. Comput. Program. 94, 164–202 (2014)
Thalheim, B.: Entity-Relationship Modeling - Foundations of Database Technology. Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Buga, A., Mashkoor, A., Nemeş, S.T., Schewe, KD., Songprasop, P. (2017). Conceptual Modelling of Hybrid Systems. In: Ouhammou, Y., Ivanovic, M., Abelló, A., Bellatreche, L. (eds) Model and Data Engineering. MEDI 2017. Lecture Notes in Computer Science(), vol 10563. Springer, Cham. https://doi.org/10.1007/978-3-319-66854-3_21
Download citation
DOI: https://doi.org/10.1007/978-3-319-66854-3_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66853-6
Online ISBN: 978-3-319-66854-3
eBook Packages: Computer ScienceComputer Science (R0)