Abstract: Provided are a method and a system for managing components in vehicle systems. The method may include: receiving, from a first user, a first user input associated with selection of at least one of a single vehicle model, a single variant of the single vehicle model, a plurality of vehicle models, a single variant of the plurality of vehicle models, and a plurality of variants of the plurality of vehicle models; receiving, from the first user, a second user input associated with configuration of a simulation environment; determining, based on the first user input and the second user input, a plurality of hardware components and a plurality of software components; building a virtual vehicle network by interconnecting the plurality of hardware and software components; and performing the first operation on the virtual vehicle network to manage the first portion of the hardware components and the software components.

Abstract: Provided are system, method, and device for performing validations of a system. According to embodiments, the system may include: a memory storage storing computer-executable instructions; and at least one processor communicatively coupled to the memory storage, wherein the at least one processor may be configured to execute the instructions to: receive at least one software part from a user; determine whether the received at least one software part passes a quality check; in response to determining that the received at least one software part passes the quality check: add the received software part to the list; and perform a first validation of the list; wherein each of the plurality of software parts specified in the list include one or more indication of a type of the quality check which a respective one of the plurality of software parts in the list passes.

Abstract: Vehicle recording based terrain objective characteristic determination is performed by detecting a vehicle reaction of a vehicle, the vehicle reaction triggered by a threshold reading of at least one triggering sensor of the vehicle, recording an output of the at least one triggering sensor and at least one related sensor of the vehicle in response to detecting the vehicle reaction, and determining an objective characteristic of a terrain based on the recorded output of the at least one triggering sensor, the recorded output of the at least one related sensor, and at least one characteristic of the vehicle.

Abstract: Timing-independence is provided for software. Variance is added to software such as non-determinism, randomization, and the like. A distribution of unspecified modalities associated with the software is identified. Unspecified modalities include modalities in a critical path, modalities outside of design timing constraints of the software, modalities at the edge of a timing envelope, and the like. At least part of the software is modified to eliminate the unspecified modalities, such as implementing modifications to prevent over-designing of implemented hardware and overfitting of software into the implemented hardware, optimizing execution of tasks of the software, rearranging an order of execution of non-dependent tasks not in the critical path, and the like.

Abstract: Mobile computing network programming for queried content capture is performed by receiving, from a client device, a query for a target content of data capturable by a fleet of mobile computing networks, the query including a target content identifier that identifies the target content, programming a task to capture the target content, the task programmed to be executed by each mobile computing network using available resources of the mobile computing network, transmitting the task to each mobile computing network; and receiving data including the target content from each mobile computing network among the fleet of mobile computing networks.

Abstract: Mobile computing network queried content capture is performed by receiving, from a server, a task executable by a mobile computing network, and a retention policy, executing the task using the mobile computing network to capture target content, assigning, to a first instance of captured target content, a probability of reducing based on the retention policy, reducing, in response to an amount of available storage becoming equal to or lower than a threshold amount, at least one of the first instance and a portion of other stored data based on the probability of reducing, and transmitting, in response to connecting to a wide area network, each instance of captured target content.

Abstract: Program operation sequence determination for reduced potential leakage of personally identifiable information is performed by identifying a plurality of candidate program operations for capturing a data sample including first class information and second class information and reducing the second class information of the data sample, assigning a leakage cost representing potential leakage of personally identifiable information associated with each valid combination of a candidate program operation among the plurality of candidate program operations and a computational resource among a plurality of computational resources, and applying an objective function to the valid combinations and assigned leakage costs to determine a sequence of program operations, wherein each program operation of the sequence is performed by one or more selected computational resources such that the sum leakage cost is below a threshold leakage cost, and the amount of first class information is above a data threshold value.

Abstract: Mobile computing network queried content capture is performed by receiving, from a server, a task executable by a mobile computing network, and a retention policy, executing the task using the mobile computing network to capture target content, assigning, to a first instance of captured target content, a probability of reducing based on the retention policy, reducing, in response to an amount of available storage becoming equal to or lower than a threshold amount, at least one of the first instance and a portion of other stored data based on the probability of reducing, and transmitting, in response to connecting to a wide area network, each instance of captured target content.

Abstract: A method of optimizing execution of a control function on a control system including a plurality of hardware components includes: determining a processing capability and a communication capability of each of the plurality of hardware components; generating a plurality of solutions for executing the control function using the plurality of hardware components based on a processing capability and a communication capability of each of the plurality of hardware components; scoring the plurality of generated solutions based on a desirability of each solution; selecting a solution having a highest desirability score; and controlling the control system to execute the control function based on the selected solution.

Abstract: Mobile computing network programming for queried content capture is performed by receiving, from a client device, a query for a target content of data capturable by a fleet of mobile computing networks, the query including a target content identifier that identifies the target content, programming a task to capture the target content, the task programmed to be executed by each mobile computing network using available resources of the mobile computing network, transmitting the task to each mobile computing network; and receiving data including the target content from each mobile computing network among the fleet of mobile computing networks.

Abstract: A method for determining correctness of properties in components of a system, executed by an electronic device, the method comprising: setting known properties of the components of the system; dynamically determining unknown properties of the components of the system, wherein the dynamically determining comprises: defining one or more pre-conditions for an operation, wherein the one or more pre-conditions must be satisfied for the operation to be performed correctly; defining one or more post-conditions for the operation, wherein the one or more post-conditions must be satisfied after the operation being performed correctly; and identifying boundaries of the unknown properties of the components of the system through testing; verifying the known properties of the components of the system and the unknown properties of the components of the system; and updating Interface Definition Language (IDL) program code to reflect the known properties of the components of the system and unknown properties of the components

Abstract: A system, method, and storage medium are provided. The system includes a real-time domain including a real-time cache and a non-real-time domain including a non-real-time cache. The system is configured to implement a cache coherency protocol by indicating that a cache line may be shared between the real-time cache and the non-real-time cache.

Abstract: Embodiments described herein provide for virtual machine (VM) based exploit mitigation techniques that can be used to harden web content frameworks and JavaScript Engines. Some embodiments described herein are also generally applicable to other system frameworks, libraries, and program code that executes on a processor that is vulnerable to an attack using a security exploit. Program code that implements the techniques described herein can prevent the use of security exploit attacks to bypass security properties within the program code.

Abstract: A method of optimizing execution of a control function on a control system including a plurality of hardware components includes: determining a processing capability and a communication capability of each of the plurality of hardware components; generating a plurality of solutions for executing the control function using the plurality of hardware components based on a processing capability and a communication capability of each of the plurality of hardware components; scoring the plurality of generated solutions based on a desirability of each solution; selecting a solution having a highest desirability score; and controlling the control system to execute the control function based on the selected solution.

Abstract: A method for determining correctness of properties in components of a system, executed by an electronic device, the method comprising: setting known properties of the components of the system; dynamically determining unknown properties of the components of the system, wherein the dynamically determining comprises: defining one or more pre-conditions for an operation, wherein the one or more pre-conditions must be satisfied for the operation to be performed correctly; defining one or more post-conditions for the operation, wherein the one or more post-conditions must be satisfied after the operation being performed correctly; and identifying boundaries of the unknown properties of the components of the system through testing; verifying the known properties of the components of the system and the unknown properties of the components of the system; and updating Interface Definition Language (IDL) program code to reflect the known properties of the components of the system and unknown properties of the components

Abstract: A system, method, and storage medium are provided. The system includes a real-time domain including a real-time cache and a non-real-time domain including a non-real-time cache. The system is configured to implement a cache coherency protocol by indicating that a cache line may be shared between the real-time cache and the non-real-time cache.

Abstract: Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for dynamic sandboxing.

Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for selecting native code instructions. One of the methods includes receiving an initial machine language instruction for execution by a processor in a first execution mode; determining that a portion of the initial machine language instruction, when executed by the processor in a second execution mode, satisfies one or more risk criteria; generating one or more alternative machine language instructions to replace the initial machine language instruction for execution by the processor in the first execution mode, wherein the one or more alternative machine language instructions, when executed by the processor in the second execution mode, mitigate the one or more risk criteria; and providing the one or more alternative machine language instructions.

Abstract: Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for generating portable concurrency primitives. In one aspect, a method includes receiving a set of source code for a module that will execute on a plurality of different types of architectures, the set of source code including a first set of concurrency primitives, generating a second set of concurrency primitives from the first set of concurrency primitives, wherein each concurrency primitive in the second set is different than the corresponding concurrency primitive from the first set of concurrency primitives, each concurrency primitive in the second set of concurrency primitives being independent of a plurality of different types of architectures that will execute the module, and storing each concurrency primitive from the second set of concurrency primitives in a portable executable that retains the language level constructs of the first set of concurrency primitives.

Abstract: Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for dynamic sandboxing.