View article

A system, method and tangible memory provides a monitoring system for a fleet of vehicles. A monitoring server may receive 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 set of trace data and model data may be input into an RV-Predict application. The model data may describe a formal model of the vehicle application. A prediction application may be executed with a processor to generate predictive data describing a predictive analysis of whether the vehicle application includes an error.