Abstract:
This paper presents a specification for an automated freeway in a fully formal manner. A series of safety analyses have been carried out on the specification. The objective of the program is to derive a technique of safety analysis for such systems. Readers are advised to consult " Methods for Analysis of IVHS Safety: Final Report of PATH MOU 19" by the author for background information to this report.
Publication date:
June 1, 1991
Publication type:
Research Report
Citation:
Hitchcock, A. (1991). A First Example Specification Of An Automated Freeway (No. UCB-ITS-PRR-91-13). https://escholarship.org/uc/item/4t0036xb