Journal of Automotive Software Engineering

Volume 2, Issue 1, 2021, Pages 27 - 45

Multi-Level Message Sequence Charts to Validate the Collaborative Automotive Cyber-Physical Systems

Authors
Marian Daun1, *, ORCID, Bastian Tenbergen2, ORCID, Jennifer Brings1, ORCID, Patricia Aluko Obe1, ORCID
1University of Duisburg-Essen, Essen, Germany
2State University of New York, Oswego, New York, USA
*Corresponding author. Email: marian.daun@paluno.uni-due.de
Corresponding Author
Marian Daun
Received 2 February 2021, Accepted 11 May 2021, Available Online 16 July 2021.
DOI
https://doi.org/10.2991/jase.d.210710.001How to use a DOI?
Keywords
Multi-level modeling; Cyber-physical Systems; Interaction scenarios; Message sequence charts; Validation; Defect detection
Abstract

Autonomous driving and e-mobility are swiftly becoming not only the work of science fiction or popular science, but a reality. A key focus of manufacturers and suppliers in the automotive domain is of course to specify systems that implement this reality. Often, scenarios at type-level are used throughout the development process to specify system behavior and interaction within the car, as scenario models are comparatively easy to understand and can easily be subjected to manual validation. However, autonomous driving and e-mobility require interaction not just of systems within the same car, but collaboration between multiple cars as well as between cars and miscellaneous road infrastructure (e.g., smart road signs). The car becomes a Cyber-Physical System that dynamically forms collaborating networks at runtime with other Cyber-Physical System to create functionality that goes beyond the scope of the individual vehicle (e.g., resolve a traffic jam). Consequently, a plethora of possible compositions of such a network exist and must be specified and validated completely to assure their adequate and safe execution at runtime. Doing this at type-level with scenario models becomes prohibitively tedious, error prone, and likely results in unrealistic development cost. To combat this issue, we investigate the use of multi-level Message Sequence Charts to allow for specifying interaction scenarios between collaborative Cyber-Physical System in a network of collaborating automotive Cyber-Physical System. To assist the developer in systematically defining multi-level Message Sequence Charts, we propose two processes. The resulting diagrams use a mixture of type and instance-level abstractions within one conceptual diagram. This allows reducing the required effort to manually validate the adequacy of scenarios to a manageable amount because information within the scenarios can be validated in batches. At the same time, instance-level defects become more obvious. Evaluation results from a controlled experiment show that multi-level Message Sequence Charts contribute to effectiveness and efficiency of manual validation for collaborative automotive Cyber-Physical System.

Copyright
© 2021 The Authors. Published by Atlantis Press B.V.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)
View full text (HTML)

Journal
Journal of Automotive Software Engineering
Volume-Issue
2 - 1
Pages
27 - 45
Publication Date
2021/07/16
ISSN (Online)
2589-2258
DOI
https://doi.org/10.2991/jase.d.210710.001How to use a DOI?
Copyright
© 2021 The Authors. Published by Atlantis Press B.V.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - JOUR
AU  - Marian Daun
AU  - Bastian Tenbergen
AU  - Jennifer Brings
AU  - Patricia Aluko Obe
PY  - 2021
DA  - 2021/07/16
TI  - Multi-Level Message Sequence Charts to Validate the Collaborative Automotive Cyber-Physical Systems
JO  - Journal of Automotive Software Engineering
SP  - 27
EP  - 45
VL  - 2
IS  - 1
SN  - 2589-2258
UR  - https://doi.org/10.2991/jase.d.210710.001
DO  - https://doi.org/10.2991/jase.d.210710.001
ID  - Daun2021
ER  -