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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Safety Analysis of Automated Highway Systems. Research Reports


    Beteiligte:
    N. G. Leveson (Autor:in)

    Erscheinungsdatum :

    1997


    Format / Umfang :

    265 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch






    SAFETY TECHNOLOGIES FOR CONNECTED AUTOMATED VEHICLE HIGHWAY SYSTEMS

    CHENG YANG / RAN BIN / LI SHEN et al. | Europäisches Patentamt | 2020

    Freier Zugriff

    SAFETY TECHNOLOGIES FOR CONNECTED AUTOMATED VEHICLE HIGHWAY SYSTEMS

    CHENG YANG / RAN BIN / LI SHEN et al. | Europäisches Patentamt | 2020

    Freier Zugriff