Andreea Buga, Atif Mashkoor, Sorana-Tania Nemes, Klaus-Dieter Schewe,
"Conceptual Modelling of Hybrid Systems"
, in Ouhammou, Yassineand Ivanovic, Mirjanaand Abell\'o, Albertoand Bellatreche, Ladjel: Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4--6, 2017, Proceedings, Serie Programming and Software Engineering, Nummer 10563, Springer International Publishing, Cham, Seite(n) 277--290, 2017, ISBN: 978-3-319-66854-3
Conceptual Modelling of Hybrid Systems
Sprache des Titels:
Model and Data Engineering: 7th International Conference, MEDI 2017, Barcelona, Spain, October 4--6, 2017, Proceedings
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.