Abstract: A processing method, which is executed by a processor for performing processing related to driving control of a host vehicle, includes: acquiring detection information indicating a state detected in a traveling environment of the host vehicle; setting a safety envelope, wherein the setting of the safety envelope includes defining a boundary, a margin, or a buffer area around the host vehicle; and monitoring a violation of the safety envelope based on a comparison of the safety envelope and a positional relationship between the host vehicle and a target vehicle. When the target vehicle is a front vehicle and the host vehicle is a rear vehicle, the safety envelope is calculated based on a velocity and a maximum deceleration of the front vehicle, and a velocity, a maximum acceleration, and a minimum deceleration of the rear vehicle. The minimum deceleration of the rear vehicle is set to be equal to or less than the maximum deceleration of the front vehicle.

Abstract: A platoon travel system includes an extraction portion, an arrangement order determination portion, a schedule notification portion, a contribution degree calculation portion, and a charge portion. The contribution degree calculation portion calculates a contribution degree for each of the plurality of target vehicles using loss-gain information. The contribution degree is calculated with respect to a benefit of all of the plurality of target vehicles obtained by performing the platoon travel. The loss-gain information reflects the benefit obtained when the plurality of target vehicles participate in the platoon travel. The charge portion determines a charge amount for each of the plurality of target vehicles based on the contribution degree calculated by the contribution degree calculation portion when the platoon travel is performed based on the platoon information. The charge amount is determined for each of the plurality of target vehicles to fairly obtain an advantage.

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.

Abstract: A platoon travel system includes an extraction portion, an arrangement order determination portion, a schedule notification portion, a contribution degree calculation portion, and a charge portion. The contribution degree calculation portion calculates a contribution degree for each of the plurality of target vehicles using loss-gain information. The contribution degree is calculated with respect to a benefit of all of the plurality of target vehicles obtained by performing the platoon travel. The loss-gain information reflects the benefit obtained when the plurality of target vehicles participate in the platoon travel. The charge portion determines a charge amount for each of the plurality of target vehicles based on the contribution degree calculated by the contribution degree calculation portion when the platoon travel is performed based on the platoon information. The charge amount is determined for each of the plurality of target vehicles to fairly obtain an advantage.

Abstract: 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.

Abstract: 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.

Abstract: 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.