Journal of Automotive Software Engineering

Volume 2, Issue 1, 2021, Pages 1 - 14

Using Architectural Runtime Verification for Offline Data Analysis

Authors
Lars Stockmann1, 2, *, ORCID, Sven Laux2, Eric Bodden1, 3, ORCID
1Software Engineering Group, Heinz Nixdorf Institute, Paderborn University, Fürstenallee 11, Paderborn, 33102, North Rhine-Westphalia, Germany
2dSPACE GmbH Rathenaustraße 26, Paderborn, 33102, North Rhine-Westphalia, Germany
3Fraunhofer IEM, Zukunftsmeile 1, Paderborn, 33102, North Rhine-Westphalia, Germany
*Corresponding author. Email: lars.stockmann@hni.uni-paderborn.de
Corresponding Author
Lars Stockmann
Received 19 January 2020, Accepted 14 January 2021, Available Online 16 February 2021.
DOI
https://doi.org/10.2991/jase.d.210205.001How to use a DOI?
Keywords
Architecture; Runtime Verification; Database; AUTOSAR; Cloud
Abstract

Analyzing runtime behavior as part of debugging complex component-based systems used in the vehicle industry is an important aspect of the integration process. It is a laborious task that involves many manual steps. One reason for this is that, as of today, the analysis is usually not performed on the architecture level, where the system has initially been designed. Instead, it relies on source code debugging or visualizing signals and events. With an ever-growing complexity of such systems, it becomes increasingly difficult to find errors that manifest at integration level, i.e., when the components interact with each other in a complex environment. Architectural Runtime Verification (ARV) is an approach specifically designed for the integrator—a generic way to analyze system behavior on architecture level using the principles of Runtime Verification. This paper draws on our initial publication. It provides further details and an evaluation of the ideas using a database hosted in the cloud.

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
1 - 14
Publication Date
2021/02/16
ISSN (Online)
2589-2258
DOI
https://doi.org/10.2991/jase.d.210205.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  - Lars Stockmann
AU  - Sven Laux
AU  - Eric Bodden
PY  - 2021
DA  - 2021/02/16
TI  - Using Architectural Runtime Verification for Offline Data Analysis
JO  - Journal of Automotive Software Engineering
SP  - 1
EP  - 14
VL  - 2
IS  - 1
SN  - 2589-2258
UR  - https://doi.org/10.2991/jase.d.210205.001
DO  - https://doi.org/10.2991/jase.d.210205.001
ID  - Stockmann2021
ER  -