Using Architectural Runtime Verification for Offline Data Analysis

Authors

Lars Stockmann^{1, 2, *,} , Sven Laux², Eric Bodden^{1, 3,}

¹Software Engineering Group, Heinz Nixdorf Institute, Paderborn University, Fürstenallee 11, Paderborn, 33102, North Rhine-Westphalia, Germany

²dSPACE GmbH Rathenaustraße 26, Paderborn, 33102, North Rhine-Westphalia, Germany

³Fraunhofer IEM, Zukunftsmeile 1, Paderborn, 33102, North Rhine-Westphalia, Germany

^*Corresponding author. Email: lars.stockmann@hni.uni-paderborn.de

DOI

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)

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  - 10.2991/jase.d.210205.001
ID  - Stockmann2021
ER  -