CORRECT DESIGN OF VEHICULAR CONTROL STRATEGIES

This paper describes a simple and naive case study of the overtaking protocol. It describes the design of a co-operative overtaking problem in a top-down approach. An overview of the system is given first. This is followed by a brief discussion of the services (benefits) of such a system. A more detailed description of the system components is then provided. Some correctness criteria are then defined, and the automated validation process and its requirements are presented and discussed. The validation process is carried out using a tool called SPIN, which uses the PROMELA language. For the covering abstract see IRRD 867248.

Language

  • English

Media Info

  • Features: References;
  • Pagination: p. 269-76

Subject/Index Terms

Filing Info

  • Accession Number: 00671294
  • Record Type: Publication
  • Source Agency: TRL
  • ISBN: 0-947719-52-0
  • Files: ITRD
  • Created Date: Jan 24 1995 12:00AM