The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jun. 29, 2021
Filed:
Aug. 03, 2016
Toyota Motor Engineering & Manufacturing North America, Inc., Plano, TX (US);
Denso Corporation, Kariya, JP;
Runtime Verification Inc., Urbana, IL (US);
Shinichi Shiraishi, Mountain View, CA (US);
Grigore Rosu, Champaign, IL (US);
Philip Daian, Great Neck, NY (US);
Akihito Iwai, Kariya, JP;
Yuki Mae, Kariya, JP;
Other;
Abstract
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.