A TOOL FRAMEWORK FOR ASSESSING THE SAFETY PROPERTIES OF AUTOMATED HIGHWAY SYSTEMS

A framework is presented for providing automated tool support in assessing the safety properties of automated highway systems. The framework is divided into evaluation and design tool support. Following the framework description, an introduction of the function, input, and output of each safety evaluation and design tool. Characteristics of the frameworks are described. An example is given of the structure, functionality, and usage of one of the tools within the framework.

Language

  • English

Media Info

  • Features: Figures; Tables;
  • Pagination: p. 613-618

Subject/Index Terms

Filing Info

  • Accession Number: 00724783
  • Record Type: Publication
  • Files: TRIS
  • Created Date: Aug 23 1996 12:00AM