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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formalisation and algorithmic approach to the automated driving validation problem


    Beteiligte:
    Stellet, Jan Erik (Autor:in) / Brade, Tino (Autor:in) / Poddey, Alexander (Autor:in) / Jesenski, Stefan (Autor:in) / Branz, Wolfgang (Autor:in)


    Erscheinungsdatum :

    01.06.2019


    Format / Umfang :

    279451 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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


    Aspects of formalisation in requirements engineering

    Schulz, Hans-Martin | Tema Archiv | 2007


    Formalisation of the multigrid computations

    Martynenko, S. | British Library Online Contents | 2013


    Systematic Validation for Automated Driving

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