Using Architectural Runtime Verification for Offline Data Analysis

JOURNAL ARTICLE published 2021 in Journal of Automotive Software Engineering

Authors: Lars Stockmann | Sven Laux | Eric Bodden

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

JOURNAL ARTICLE published 2021 in Journal of Automotive Software Engineering

Authors: Marian Daun | Bastian Tenbergen | Jennifer Brings | Patricia Aluko Obe

A Standard Driven Software Architecture for Fully Autonomous Vehicles

JOURNAL ARTICLE published 2020 in Journal of Automotive Software Engineering

Authors: Alex Serban | Erik Poll | Joost Visser

Security Patterns for Connected and Automated Automotive Systems†

JOURNAL ARTICLE published 2020 in Journal of Automotive Software Engineering

Authors: Betty H. C. Cheng | Bradley Doherty | Nicholas Polanco | Matthew Pasco

Querying Automotive System Models and Safety Artifacts: Tool Support and Case Study

JOURNAL ARTICLE published 2020 in Journal of Automotive Software Engineering

Authors: Alessio Di Sandro | Sahar Kokaly | Rick Salay | Marsha Chechik

Improving Functional Safety of Automotive Video Data Transmission and Processing Systems

JOURNAL ARTICLE published 2021 in Journal of Automotive Software Engineering

Authors: Mirko Conrad | Frank Langner | Benjamin Axmann | Karlheinz Blankenbach | Jan Bauer | Matthäus Vogelmann | Manfred Wittmeir | Sascha Xu

Safely Entering the Deep: A Review of Verification and Validation for Machine Learning and a Challenge Elicitation in the Automotive Industry

JOURNAL ARTICLE published 2019 in Journal of Automotive Software Engineering

Authors: Markus Borg | Cristofer Englund | Krzysztof Wnuk | Boris Duran | Christoffer Levandowski | Shenjian Gao | Yanwen Tan | Henrik Kaijser | Henrik Lönn | Jonas Törnqvist