Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Modeling Architectures of Cyber-Physical Systems

: Kusmenko, E.; Roth, A.; Rumpe, B.; Wenckstern, M. von


Anjorin, A.:
Modelling foundations and applications. 13th European Conference, ECMFA 2017 : Held as part of STAF 2017; Marburg, Germany, July 19-20, 2017; Proceedings
Cham: Springer International Publishing, 2017 (Lecture Notes in Computer Science 10376)
ISBN: 978-3-319-61481-6 (Print)
ISBN: 978-3-319-61482-3 (Online)
European Conference on Modelling Foundations and Applications (ECMFA) <13, 2017, Marburg>
Conference "Software Technologies - Applications and Foundations" (STAF) <2017, Marburg>
Conference Paper
Fraunhofer FIT ()

Cyber-physical systems (CPS) in automotive or robotics industry comprise many different specific features, e.g., trajectory planning, lane correction, battery management or engine control, requiring a steady interaction with their environment over sensors and actuators. Assembling all these different features is one of the key challenges in the development of such complex systems. Component and connector (C&C) models are widely used for the design and development of CPS to represent features and their logical interaction. An advantage of C&C models is that complex features can be hierarchically decomposed into subfeatures, developed and managed by different domain experts. In this paper, we present the textual modeling family MontiCAR, Modeling and Testing of Cyber-Physical Architectures. It is based on the C&C paradigm and increases development efficiency of CPS by incorporating (i) component and connector arrays, (ii) name and index based autoconnections, (iii) a strict type system with unit and accuracy support, as well as (iv) an advanced Math language supporting BLAS operations and matrix classifications. Arrays and their autoconnection modes allow an efficient way of modeling redundant components such as front and rear park sensors or an LED matrix system containing hundreds of single dimmable lights. The strict type system and matrix classification provide means for integrated static verification of C&C architectures at compile time minimizing bug-fixing related costs. The capabilities and benefits of the proposed language family are demonstrated by a running example of a parking assistance system.