Design and Veri cation of Communication Protocols for degraded modes of operation of AHS
نویسندگان
چکیده
We present the design and veriication of inter-vehicle communication protocols for degraded modes of operation on Automated Highway System (AHS). We consider various hardware and sensor faults that can develop on the automated vehicle in an AHS and design discrete event supervisory controllers to stop the faulty vehicle or take it out of the highway in a safe manner. The protocols are veriied for logical correctness by using automatic formal veriication tools.
منابع مشابه
Towards a Fault Tolerant AHS Design Part I: Extended Architecture
We propose a hierarchical control architecture for dealing with faults and adverse environmental conditions on an Automated Highway System (AHS). Our design builds on a previously designed control architecture that works under normal conditions of operation. The faults that are considered in our design are classi ed according to the capabilities remaining on the vehicle or roadside after the fa...
متن کاملDesign of an Extended Architecture for Degraded Modes of Operation of AHS California PATH Working Paper
We propose a hierarchical control architecture for dealing with faults and adverse environmental conditions on an Automated Highway System (AHS). Our design builds on a previously designed control architecture that works under normal conditions of operation. The faults that are considered in our design are classi ed according to capabilities remaining on the vehicle or roadside after the fault ...
متن کاملSequential - System Factorization
The success of high-level synthesis methods in reducing design time and formal veri cation methods in reducing design errors in digital VLSI circuits have opened the way to system-level synthesis and veri cation. Derivation is a form of formal veri cation that deals with correct-by-construction reasoning. A set of equivalence preserving transformations are used to derive an implementation from ...
متن کاملDesign of an Extended Architecture for Degraded Modes ofOperation of AHS
We propose a hierarchical control architecture for dealing with faults and adverse environmental conditions on an Automated Highway System (AHS). Our design builds on a previously designed control architecture that works under normal conditions of operation. The faults that are considered in our design are classiied according to capabilities remaining on the vehicle or roadside after the fault ...
متن کاملAnalyzing Message Sequence Charts
The ISO standard for MSC provides a useful tool for visualizing communication protocols MSCs present a model for concurrency that is di erent from the model of nite state systems used frequently in au tomated veri cation Thus the MSC model poses new and interesting problems related to automatic veri cation of communication protocols In this paper some of the recent results related to MSCs are s...
متن کامل