Leveson, Nancy G. - Institute for Transportation Studies (ITS), University … - 1997
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...