by Michael A. Tröls, Atif Mashkoor, Andreas Demuth, Alexander Egyed
Abstract:
In today's engineering projects, companies continuously have to adapt their systems to changing customers or dynamic market requirements. This requires a flexible, iterative development process in which different parts of the system under construction are built and updated concurrently. However, concurrent engineering becomes quite challenging in domains where different engineering artifacts from different disciplines come into play, such as safety-critical cyber-physical systems, where the involved engineering artifacts are quite heterogeneous in nature. In such systems, it is of utmost importance that different artifacts remain consistent in order to guarantee a correctly functioning end product. In this article, we discuss our experiences (with a leading company working in the areas of production automation and product processing) in maintaining the consistency between electrical models and the corresponding software controller, when both are subject to continuous changes. The article discusses how we let engineers describe the relationships between electrical models and the corresponding software controller code in the form of links and consistency rules. Additionally, we demonstrate that how our approach, through a process of continuous consistency checking, notifies engineers about the erroneous impact of their changes in various engineering artifacts.
Reference:
Ensuring safe and consistent coengineering of cyber-physical production systems: A case study (Michael A. Tröls, Atif Mashkoor, Andreas Demuth, Alexander Egyed), In J. Softw. Evol. Process., volume 33, 2021.
Bibtex Entry:
@Article{Troels2021,
author = {Michael A. Tröls and Atif Mashkoor and Andreas Demuth and Alexander Egyed},
journal = {J. Softw. Evol. Process.},
title = {Ensuring safe and consistent coengineering of cyber-physical production systems: {A} case study},
year = {2021},
number = {9},
volume = {33},
abstract = {In today's engineering projects, companies continuously have to adapt their systems to changing customers or dynamic market requirements. This requires a flexible, iterative development process in which different parts of the system under construction are built and updated concurrently. However, concurrent engineering becomes quite challenging in domains where different engineering artifacts from different disciplines come into play, such as safety-critical cyber-physical systems, where the involved engineering artifacts are quite heterogeneous in nature. In such systems, it is of utmost importance that different artifacts remain consistent in order to guarantee a correctly functioning end product. In this article, we discuss our experiences (with a leading company working in the areas of production automation and product processing) in maintaining the consistency between electrical models and the corresponding software controller, when both are subject to continuous changes. The article discusses how we let engineers describe the relationships between electrical models and the corresponding software controller code in the form of links and consistency rules. Additionally, we demonstrate that how our approach, through a process of continuous consistency checking, notifies engineers about the erroneous impact of their changes in various engineering artifacts.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/journals/smr/TrolsMDE21.bib},
doi = {10.1002/smr.2308},
file = {:Journals/JSEP 2021 - Ensuring safe and consistent coengineering of cyber-physical production systems.pdf/Ensuring safe and consistent coengineering of cyber-physical production systems-preprint.pdf:PDF},
keywords = {FWF P31989, LIT Secure and Correct Systems Lab, LCM, Flanders MAKE},
timestamp = {Wed, 15 Dec 2021 10:25:17 +0100},
url = {https://doi.org/10.1002/smr.2308},
}