Fleet-Wide Monitoring System for Vehicles

A non-transitory memory of a computer system, the non-transitory memory comprising computer code which, when executed by a processor, causes the processor to perform steps comprising:

• receiving a set of trace data associated with a vehicle application from a plurality of vehicles included in a fleet of vehicles, wherein the plurality of vehicles each include a copy of the vehicle application and the set of trace data describes one or more operations that are executed responsive to an onboard vehicle computer executing the copy of the vehicle application;
• inputting the set of trace data and model data to an RV-Predict application, wherein the model data describes a formal model of the vehicle application;
• and
• executing the RV-Predict application with a processor to generate predictive data describing a predictive analysis of whether the vehicle application includes an error, wherein the predictive analysis is configured to never include a false positive.

A system comprising:

• a processor;
• and
• a non-transitory memory storing an RV-Predict application, a set of trace data associated with a vehicle application and model data describing a formal model for the vehicle application;
• wherein the set of trace data is received from a fleet of vehicles that include a copy of the vehicle application and the set of trace data describes one or more operations that are executed responsive to an onboard computer executing the copy of the vehicle application;
• wherein the set of trace data and the model data are inputted to the RV-Predict application;
• and
• wherein the RV-Predict application, responsive to being executed by the processor, generates predictive data describing a predictive analysis of whether the vehicle application includes an error.