Abstract: An apparatus in an illustrative embodiment comprises a processing platform that includes one or more processing devices each comprising a processor coupled to a memory. The processing platform is configured to communicate over at least one network with one or more additional sets of processing devices associated with at least a first blockchain-based cryptocurrency system. Each of at least a subset of the one or more processing devices of the processing platform comprises a trusted execution environment, such as a secure enclave.

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: An apparatus in an illustrative embodiment comprises a processing platform that includes one or more processing devices each comprising a processor coupled to a memory. The processing platform is configured to communicate over at least one network with one or more additional sets of processing devices associated with at least a first blockchain-based cryptocurrency system. Each of at least a subset of the one or more processing devices of the processing platform comprises a trusted execution environment, such as a secure enclave.

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.

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 application assurance for an open platform in-vehicle infotainment system. The system includes an open platform in-vehicle infotainment system including a tangible memory, a processor and an untrusted application including a monitor module. The untrusted application is stored in the tangible memory. The monitor module included in the untrusted application is generated based on a set of one or more runtime rules describing desired behavior of the untrusted application that complies with a specification for an application programming interface of the open platform in-vehicle infotainment system. The untrusted application runs on the open platform in-vehicle infotainment system.