Safety Analysis Of Automated Highway Systems

Nancy G. Leveson

Institute of Transportation Studies, Research Reports, Working Papers, Proceedings from Institute of Transportation Studies, UC Berkeley

Abstract: 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..

Keywords: Automobiles--Automatic control; Express highways--Automation; Traffic safety; automated highways (search for similar items in EconPapers)
Date: 1997-01-01
References: Add references at CitEc
Citations:

Downloads: (external link)
https://www.escholarship.org/uc/item/8xn29461.pdf;origin=repeccitec (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:cdl:itsrrp:qt8xn29461

Access Statistics for this paper

More papers in Institute of Transportation Studies, Research Reports, Working Papers, Proceedings from Institute of Transportation Studies, UC Berkeley Contact information at EDIRC.
Bibliographic data for series maintained by Lisa Schiff ().