Loading [MathJax]/extensions/TeX/ietmacros.js
Formalisation and algorithmic approach to the automated driving validation problem | IEEE Conference Publication | IEEE Xplore

Formalisation and algorithmic approach to the automated driving validation problem


Abstract:

Automated driving road vehicles are to operate in an unstructured, public real-world environment. The openness of the operational design domain, the serious safety risk, ...Show More

Abstract:

Automated driving road vehicles are to operate in an unstructured, public real-world environment. The openness of the operational design domain, the serious safety risk, the complexity of the system itself, as well as the regulatory situation pose a large challenge to the automotive industry. Thus, a strategy is necessary to ascertain the validity of such systems. An extensive formalisation of the problem and its root cause, the deductive gap, is provided in the authors' work [1] and described in a compact version in this paper. Thereto, the interdependent aspects purpose, context and realisation are detailed. This allows us to establish why deductive gaps between the required, the specified and the eventually implemented behaviour can occur. These gaps are caused by violations of underlying assumptions. Identifying such violated assumptions is the main goal of a novel algorithmic approach. Furthermore, the contributions and aspects left uncovered by normative regulations, i.e. ISO 26262 and ISO PAS 21448, are established.
Date of Conference: 09-12 June 2019
Date Added to IEEE Xplore: 29 August 2019
ISBN Information:

ISSN Information:

Conference Location: Paris, France

References

References is not available for this document.