The kinds of systems we are building, and the ways we are building them, are evolving. This evolution is invalidating analyses and assumptions upon which we have relied as bases for design assurance, imposing a need for new criteria and means of compliance for many autonomy-enabling technologies. While significant investigation activity into assurance bases for these technologies is underway across research, development, and standards bodies, the community will need to make sense of results coming out. We require evaluation frameworks and decision support to establish trust in, and guide selection of, new verification concepts and methods. In this work, we propose a lens for the evaluation of verification methods in development to ground new criteria, standards, and means of compliance for assuring and approving adaptive and intelligent systems. We root the evaluation framework in examining verification as a system in its own right, with a job to do and ways it can fail to do it. We then outline a structured argument in which it can be concluded a verification method is fit for purpose if it meets its requirements and the hazards of its use are adequately mitigated. To identify these hazards, we illustrate how industry-standard hazard analysis can be performed on verification itself, and how the results of such an analysis can be integrated into structured arguments supporting stakeholder communication and decision making. Finally, we note environments where we are beginning to use this approach, including to provide feedback within standards development activity.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Hazard Analysis of Verification Supporting Arguments for Assured Autonomy


    Beteiligte:


    Erscheinungsdatum :

    2020-10-11


    Format / Umfang :

    1018615 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Secure and Safe Assured Autonomy (S2A2)

    Koushik Datta / Abdollah Homaifar | NTRS | 2021


    Design for Survivability: An Approach to Assured Autonomy

    N. M. Alexandrov / T. A. Ozoroski | NTIS | 2016


    Design for Survivability: An Approach to Assured Autonomy

    Alexandrov, Natalia M. / Ozoroski, Thomas A. | NTRS | 2016


    A Near-Term Path to Assured Aerial Autonomy

    Coblenz, Lauren / Chamberlain, Lyle / Bartlett, Paul et al. | SAE Technical Papers | 2023