This report focuses on the safety analysis techniques and tools as they are applied to Automated Highway Systems (AHS). The report begins with a description of the AHS model. This is followed by a discussion of the basic features of Requirements State Machine Language (RSML) relevant to the model. The report concludes with a description of the safety analysis techniques, including forward and backward simulation, generation of fault trees, and consistency and completeness analysis.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Safety Analysis of Automated Highway Systems. Research Reports


    Contributors:

    Publication date :

    1997


    Size :

    265 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English






    SAFETY TECHNOLOGIES FOR CONNECTED AUTOMATED VEHICLE HIGHWAY SYSTEMS

    CHENG YANG / RAN BIN / LI SHEN et al. | European Patent Office | 2020

    Free access

    SAFETY TECHNOLOGIES FOR CONNECTED AUTOMATED VEHICLE HIGHWAY SYSTEMS

    CHENG YANG / RAN BIN / LI SHEN et al. | European Patent Office | 2020

    Free access