Other

University of Illinois

Denso Corporation

Toyota Infotechnology Center, U.s.a., Inc.

Grigore Rosu

Shinichi Shiraishi

Yuki Mae

Hiroshi Kuwajima

Akihito Iwai

Philip Daian

Feng Chen

Patrick O Meredith

Jeff Huang

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.

Fleet-wide monitoring system for vehicles

The disclosure includes a system and method for providing a wireless software update for a connected vehicle. The connected vehicle includes a processor, an engine, a battery, a non-transitory memory storing a vehicle application and a wireless antenna that is powered by the battery and operable to receive a monitor module from a wireless network while the battery is not being charged. The processor is communicatively coupled to the battery, the wireless antenna and the non-transitory memory. The monitor module is written in an aspect language and includes a software patch for the vehicle application. The wireless antenna receives the monitor module from the wireless network while leaving a sufficient charge in the battery to enable the battery to start the engine. The processor installs the monitor module in the vehicle application stored in the non-transitory memory. Installation of the monitor module provides the software patch for the vehicle application.

Efficient over-the-air software update for a connected vehicle

Disclosed systems and methods incorporate a sound and maximal causal model with control flow information for maximum concurrency error detection in general multithreaded programs. The maximal causal model may be based on or integrated with the sequential consistency model, and form the basis for a formula including branch and order variables as first-order logical constraints solvable by an SMT solver for detection or prediction of concurrency errors. The disclosed systems and methods also relate to predictive trace analysis (PTA) for predicting generic concurrency properties using local traces (as opposed to a global trace) through the threads of a multithreaded program. By uniformly modeling violations of concurrency properties and the thread causality as constraints over events, and using an SMT solver, the systems and methods predict property violations allowed by the causal model.

Maximizing concurrency bug detection in multithreaded software programs

A program trace is obtained and events of the program trace are traversed. For each event identified in traversing the program trace, a trace slice of which the identified event is a part is identified based on the parameter instance of the identified event. For each trace slice of which the identified event is a part, the identified event is added to an end of a record of the trace slice. These parametric trace slices can be used in a variety of different manners, such as for monitoring, mining, and predicting.

Parametric trace slicing

Growing community of inventors

Champaign, IL, United States of America

Grigore Rosu