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, 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 solution proposal are provided in the authors' work [1]. This paper describes a simplified version of the formalisation. The question of validating open context systems is dissected into the interdependent aspects of purpose, context and realisation. This allows us to establish why undesirable gaps between the required, the specified and the eventually implemented behaviour can occur. These gaps refer to qualitatively different deviations of the system and are addressed by our novel algorithmic approach. Furthermore, the contributions and aspects left uncovered by normative regulations, i.e. ISO 26262 and ISO PAS 21448, are established.