Modeling Dynamic Architectures of Self-Adaptive Cooperative Systems

The component and connector modeling paradigm has proven to be a powerful means for the design of complex systems in engineering domains like avionics, automotive, and cyber-physical systems. Many component and connector languages are limited to the description of static architectures. However, agents like autonomous vehicles living in a changing world need to be able to adapt themselves to unforeseen situations and communicate with a steadily changing network of peers. In this work we present a dynamic event-based reconfiguration modeling framework for the component and connector-based design of self-adaptive cooperative agents. Therefore, we introduce the concepts of data-triggered and servicebased reconfiguration and enable modeling controlled dynamic component creation as well as adaptations of component interfaces without losing type-safety. The methodology is motivated and explained using a running example from the domain of cooperating vehicles.

[1]  Julita Bermejo-Alonso,et al.  A self-adaptation framework based on functional knowledge for augmented autonomy in robots , 2018, Integr. Comput. Aided Eng..

[2]  Bernhard Rumpe,et al.  Modeling Architectures of Cyber-Physical Systems , 2017, ECMFA.

[3]  Bernhard Rumpe,et al.  UML+ROOM as a standard ADL? , 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).

[4]  Bernhard Rumpe,et al.  Finding Inconsistencies in Design Models and Requirements by Applying the SMARDT Process , 2018 .

[5]  Bernhard Rumpe,et al.  OCL Framework to Verify Extra-Functional Properties in Component and Connector Models , 2017, MoDELS.

[6]  Evgeny Kusmenko,et al.  Component-based Integration of Interconnected Vehicle Architectures , 2019, 2019 IEEE Intelligent Vehicles Symposium (IV).

[7]  Bernhard Rumpe,et al.  MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems , 2014, ArXiv.

[8]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[9]  Raffaela Mirandola,et al.  Model-Based Development of QoS-Aware Reconfigurable Autonomous Robotic Systems , 2018, 2018 Second IEEE International Conference on Robotic Computing (IRC).

[10]  Bernhard Rumpe,et al.  Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc , 2018, MoDELS.

[11]  Peter H. Feiler,et al.  Model-Based Engineering with AADL , 2012 .

[12]  Naranker Dulay,et al.  Specifying Distributed Software Architectures , 1995, ESEC.

[13]  Mohamed Jmaiel,et al.  Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures , 2005, ICEIS.

[14]  David Garlan,et al.  Specifying and Analyzing Dynamic Software Architectures , 1998, FASE.

[15]  Vincent Aravantinos,et al.  AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems , 2015, ACES-MB&WUCOR@MoDELS.

[16]  Bernhard Rumpe,et al.  Retrofitting Controlled Dynamic Reconfiguration into the Architecture Description Language MontiArcAutomaton , 2016, ECSA.

[17]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[18]  Bernhard Rumpe,et al.  EmbeddedMontiArc: Textual modeling alternative to Simulink , 2018 .

[19]  Bernhard Rumpe,et al.  Component and Connector Views in Practice: An Experience Report , 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).