Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V V Process

08/10/2022
by   Maike Schwammberger, et al.
0

Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provide adequate validation of key properties such as safety, reliability or trustworthiness. In this vision paper, a combination of a spatial traffic logic and agent-based verification methods with a validation method that uses assertion checking of simulations is proposed. We sketch how to integrate the respective approaches within a methodological framework called Corroborative Verification and Validation (V V).The Corroborative V V framework identifies three different verification and validation levels for AVs (formal verification, simulation-based testing, real-world experiments) and specifies connections and evidence between these levels. We define specifications for the formal relationships that must be established between processes, system models and requirements models for the evidence from formal design verification and simulation-based testing to corroborate each other and enhance assurance confidence from verification and validation.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/23/2021

SafeCap: from formal verification of railway interlocking to its certification

The increasing complexity of modern interlocking poses a major challenge...
research
08/30/2019

Modeling and verification method for an early validation of a train system

This paper presents the results achieved while pursuing the verification...
research
02/16/2022

Simulation-based Verification of SystemC-based VPs at the ESL

SystemC-based Virtual Prototypes (VPs) at the Electronic System Level (E...
research
09/14/2023

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction

Hardware-firmware co-verification is critical to design trustworthy syst...
research
05/08/2020

Fundamental Considerations around Scenario-Based Testing for Automated Driving

The homologation of automated vehicles, being safety-critical complex sy...
research
10/25/2021

Complete Agent-driven Model-based System Testing for Autonomous Systems

In this position paper, a novel approach to testing complex autonomous t...
research
06/21/2013

Epistemology of Modeling and Simulation: How can we gain Knowledge from Simulations?

Epistemology is the branch of philosophy that deals with gaining knowled...

Please sign up or login with your details

Forgot password? Click here to reset