IndTrackMODELSWARD 2018 Abstracts


Full Papers
Paper Nr: 1
Title:

Modelling a CPS Swarm System: A Simple Case Study

Authors:

Melanie Schranz, Alessandra Bagnato, Etienne Brosse and Wilfried Elmenreich

Abstract: The CPSwarm workbench is a toolchain that facilitates the entire design process of swarms of CPS including modelling, design, optimization, simulation and deployment. This paper highlights part of the work of the CPSwarm workbench in the context of the CPSwarm H2020 project. In particular, the CPSwarm workbench allows to create a generic swarm library that can be customized by developers to design new swarm environments, new swarm members and new swarm goals. This paper shows an application of the initial CPSwarm workbench by the example of a reference problem called EmergencyExit. In this example a swarm of robots needs to find an exit in an unmapped environment and leave this room through the exit as soon as possible. The example problem is further used to show the integration of Modelio, a UML/SysML modelling tool, and FREVO, an optimization tool in the CPSwarm workbench.

Paper Nr: 2
Title:

Customer Co-Creation in Smart Production Ecosystems - Opportunities and Challenges for MDE

Authors:

Deepak Dhungana

Abstract: The traditional role of customers as passive consumers is gradually changing and consumers are actively participating in co-creation of the products they buy. This shift in paradigm has implications on how products should be modeled and the tools around Model-driven Engineering (MDE) must consider new ways of dealing with open-innovation, thereby preserving the privacy and intellectual property rights of the product sellers. In this paper, we discuss how MDE can help in setting up a smart production ecosystem, enabling the interaction between product sellers and consumers and identify some challenges in this context. Some new research directions for MDE are outlined.

Paper Nr: 3
Title:

Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems

Authors:

Jose Luis de la Vara, Alejandra Ruiz and Huáscar Espinoza

Abstract: Safety-critical systems are typically subject to assurance processes as way to ensure that they do not pose undue risks to people, property, or the environment, usually in compliance with assurance standards. The planning, execution, and management of assurance processes can be a complex activity in practice because of issues in the application of the standards, the large amount of information to handle, and the need for providing convincing justifications of assurance adequacy, among other difficulties. As a solution, many authors have argued that the use of Model-Driven Engineering principles and techniques can facilitate and improve assurance of safety-critical systems. This paper presents some of the latest advances that have been and are being made towards the use of these principles and techniques in industry. Although models have been used for assurance of safety-critical systems for many years, e.g. to specify safety cases, it has only been recently when the full potential of Model-Driven Engineering has started to be more widely exploited. This includes aspects such as the specification of metamodels and domain specific languages for assurance, the extension and application of UML, and the use of model transformations.

Paper Nr: 4
Title:

A Daily Dose of DSL - MDE Micro Injections in Practice

Authors:

Gerald Stieglbauer, Christian Burghard, Stefan Sobernig and Robert KoroŇ°ec

Abstract: Although Model-Driven Engineering has proven to be an adequate solution for increasingly complex engineering problems, its industrial adoption still remains limited. We argue in this paper that an important factor in regard to a failed introduction of MDE methodologies is still a blurry conception and insufficient distinction between applying MDE conceptually and introducing it into legacy-dominated industrial environment. We further argue that the MDE introduction process can be significantly facilitated by the application of so-called MDE micro injections, especially in agile development environments. Finally, we substantiate our arguments by presenting a case study of three industrial research projects, which illustrates the effectivity of MDE micro injections.