Safety Analysis Of Automated Highway Systems

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.