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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formalisation and algorithmic approach to the automated driving validation problem


    Contributors:


    Publication date :

    2019-06-01


    Size :

    279451 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    FORMALISATION AND ALGORITHMIC APPROACH TO THE AUTOMATED DRIVING VALIDATION PROBLEM

    Stellet, Jan Erik / Brade, Tino / Poddey, Alexander et al. | British Library Conference Proceedings | 2019


    Formalisation of the multigrid computations

    Martynenko, Sergey | British Library Online Contents | 2013


    Formalisation of the multigrid computations

    Martynenko, S. | British Library Online Contents | 2013


    Aspects of formalisation in requirements engineering

    Schulz, Hans-Martin | Tema Archive | 2007


    Systematic Validation for Automated Driving

    Ebert, Christof / Weyrich, Michael / Lindemann, Benjamin | Springer Verlag | 2021