Journal of Automotive Software Engineering
Volume 2, Issue 1, 2021
1. Using Architectural Runtime Verification for Offline Data Analysis
Lars Stockmann, Sven Laux, Eric Bodden
Pages: 1 - 14
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...
2. Improving Functional Safety of Automotive Video Data Transmission and Processing Systems
Mirko Conrad, Frank Langner, Benjamin Axmann, Karlheinz Blankenbach, Jan Bauer, Matthäus Vogelmann, Manfred Wittmeir, Sascha Xu
Pages: 15 - 26
As of today, automotive video data transmission and processing systems are already being developed according to ISO 26262, but safety mechanisms and safety architectures for such systems are individually derived on a case-by-case basis. This approach, i.e., reinventing the wheel, over and over again,...
3. Multi-Level Message Sequence Charts to Validate the Collaborative Automotive Cyber-Physical Systems
Marian Daun, Bastian Tenbergen, Jennifer Brings, Patricia Aluko Obe
Pages: 27 - 45
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...