Fleet-Wide Monitoring System for Vehicles

摘要

The disclosure includes a system, method and tangible memory for providing a monitoring system for a fleet of vehicles. The method may include a monitoring server receiving a set of trace data associated with a vehicle application. The fleet of vehicles may include a plurality of vehicles that are communicatively coupled to the monitoring server via a wireless network. Each of the vehicles may include a copy of the vehicle application. The set of trace data may describe operations that are executed responsive to an onboard computer executing the copy of the vehicle application. The method may include inputting the set of trace data and model data into an RV-Predict application. The model data may describe a formal model of the vehicle application. The method may include executing the RV-Predict application with a processor to generate predictive data describing a predictive analysis of whether the vehicle application includes an error.