The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems

Becker, Steffen; Dziwok, Stefan; Gerking, Christopher; Heinzemann, Christian; Schäfer, Wilhelm; Meyer, Matthias; Pohlmann, Uwe

doi:10.1145/2591062.2591142

Cited by 18 publications

(7 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…At the end (when it gets to a leaf in the tree), a strategy is evaluated as successful or failed and this information is used to improve the selection algorithm. A body of work [26] [31] focus on how to plan a set of actions that safely lead component-based systems to a target configuration. These approaches are complementary to ours in the sense that our focus is on the choice of a new configuration and its control.…”

Section: Related Workmentioning

confidence: 99%

A domain-specific language for the control of self-adaptive component-based architecture

Alvares

Rutten

Seinturier

2017

Journal of Systems and Software

View full text Add to dashboard Cite

Self-adaptive behaviors in the context of Component-based Architecture are generally designed based on past monitoring events, configurations (component assemblies) as well as behavioural programs defining the adaptation logics and invariant properties. Providing assurances on the navigation through the configuration space remains a challenge. That requires taking decisions on predictions on the possible futures of the system in order to avoid going into branches of the behavioural program leading to bad configurations. This article proposes the design of self-adaptive software components based on logical discrete control approaches, in which the self-adaptive behavioural models enriches component controllers with a knowledge not only on events, configurations and past history, but also with possible future configurations. We present Ctrl-F, a Domain-specific Language whose objective is to provide high-level support for describing these control policies. Ctrl-F is formally defined by translation to Finite State Automata, which allow for the exploration of behavioural programs by verification or Discrete Controller Synthesis, i.e., by automatically generating a controller to enforce correct self-adaptive behaviours. We integrate Ctrl-F with FraSCAti, a Service Component Architecture middleware platform and we illustrate the use of Ctrl-F by applying it to two case studies: a news web application and a mutual exclusive task workflow.

show abstract

Section: Related Workmentioning

confidence: 99%

A domain-specific language for the control of self-adaptive component-based architecture

Alvares

Rutten

Seinturier

2017

Journal of Systems and Software

View full text Add to dashboard Cite

show abstract

“…A body of work [23], [24], [25], [26], [27] focus on how to plan a set of actions that safely lead systems to a target configuration. Hence, they are complementary to ours in the sense that our focus is on the choice of a new configuration and its control as the behavioural program progresses.…”

Section: B Compilation Performance Analysismentioning

confidence: 99%

Language Support for Modular Autonomic Managers in Reconfigurable Software Components

Alvares

Delaval

Rutten

et al. 2017

2017 IEEE International Conference on Autonomic Computing (ICAC)

View full text Add to dashboard Cite

Abstract-Dynamic reconfiguration is a key capability of Component-based Software Systems to achieve self-adaptation as it provides means to cope with environment changes at runtime. The space of configurations is defined by the possible assemblies of components, and navigating this space while achieving goals and maintaining structural properties is managed in an autonomic loop. The natural architectural structure of componentbased systems calls for hierarchy and modularity in the design and implementation of composites and their managers, and requires support for coordinated multiple autonomic loops.In this paper, we leverage the modularity capability to strengthen the Domain-Specific Language (DSL) Ctrl-F, targeted at the design of autonomic managers in componentbased systems. Its original definition involved discrete controltheoretical management of reconfigurations, providing assurances on the automated behaviors. The objective of modularity is two-fold: from the design perspective, it allows designers to seamlessly decompose a complex system into smaller pieces of reusable architectural elements and adaptive behaviours. From the compilation point of view, we provide a systematical and generative approach to decompose control problems described in the architectural level while relying on mechanisms of modular Discrete Control Synthesis (DCS), which allows us to cope with the combinatorial complexity that is inherent to DCS problems. We show the applicability of our approach by applying it to the self-adaptive case study of the existing RUBiS/Brownout eBaylike web auction system.

show abstract

“…Further, the number of used hardware ports varies, e.g., due to pluggable shields. Figure 5 shows the software architecture of a CACC as a MECHATRONICUML component type view [3,12]. MECHA-TRONICUML adapts concepts of the UML to model the software of CPS.…”

Section: Examplementioning

confidence: 99%

“…Due to the complexity of the planning that is NP-complete software deployers have to be supported by automatic algorithms. The input for an allocation planning algorithm consist of (1) the hardware platform instance model, (2) the software component instance model, (3) allocation constraints that could also refer to the hardware platform and software component type model, (4) and may an objective function for optimization. Algorithms like [26,18] could get the hardware information automatically from a model that is specified with our language.…”

Section: Software Allocation Planning Viewmentioning

confidence: 99%

Viewpoints and Views in Hardware Platform Modeling for Safe Deployment

Pohlmann

Meyer

Dann

et al. 2014

Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling

Self Cite

View full text Add to dashboard Cite

Future cyber-physical systems will behave smart, i.e., they will provide self-* properties and collaborate with each other. Software realizes this smart behavior. In modern cars, a hardware platform consists of up to 100 networked electronic control units (ECUs) that execute the software. As the amount of safety-critical software increases, the task of describing a suitable hardware platform for deploying safety-critical software components to ECUs becomes more complicated. Existing approaches for the definition of a hardware platform do not address the different stakeholder's concerns and do not provide a systematic method. This leads to an errorprone development. In this paper, we identify viewpoints for the stakeholder's concerns and provide a method for the multi-view modeling of hardware platforms. In addition, we support hierarchical and variable horizontal composition of hardware platforms by transferring concepts from component-based software engineering. To test our method, we use an Arduino-based cooperative adaptive cruise control system.

show abstract

The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems

Cited by 18 publications

References 9 publications

A domain-specific language for the control of self-adaptive component-based architecture

A domain-specific language for the control of self-adaptive component-based architecture

Language Support for Modular Autonomic Managers in Reconfigurable Software Components

Viewpoints and Views in Hardware Platform Modeling for Safe Deployment

Contact Info

Product

Resources

About