Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Software safety architecture that can be formally verified


    Additional title:

    Software-Sicherheitsarchitektur, die formal verifiziert werden kann.


    Contributors:

    Published in:

    AutoTechnology ; 4 , Februar ; 66-68


    Publication date :

    2004


    Size :

    3 pages


    Remarks:

    AutoTechnology;4(2004)Februar ;66-68


    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English



    A Formally Verified Fail-Operational Safety Concept for Automated Driving

    Terechko, Andrei / Saberi, Arash Khabbaz / Groote, Jan Friso et al. | SAE Technical Papers | 2022


    Formally Verified Run Time Assurance Architecture of a 6U CubeSat Attitude Control System

    Gross, Kerianne H. / Clark, Matthew / Hoffman, Jonathan A. et al. | AIAA | 2016


    Efficiency analysis of formally verified adaptive cruise controllers

    Loos, Sarah M. / Witmer, David / Steenkiste, Peter et al. | IEEE | 2013


    A Deployment Framework for Formally Verified Human-Robot Interactions

    Lestingi, Livia / Askarpour, Mehrnoosh / Bersani, Marcello M. et al. | BASE | 2021

    Free access