California Partners for Advanced Transportation Technology

This report describes research in the area of fault detection and handling designs used in the longitudinal control system of platooned automated vehicles. Results are presented on experimental testing of the designs. The authors also describe a consistent interface between the fault detection and handling modules and how it was implemented in the SHIFT programming language for the specification of hybrid systems. In addition, the report describes part of the modeling formalism required for the formal verification of safety claims.