Operating Software Verification via Multi-Dimensional Parameter Space Simulation
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
The existing method of verifying operating software for engine control units via engine test stands is costly, time-consuming, and risks damaging prototypes, with inefficient capacity utilization and high personnel costs due to the need for extensive testing under various environmental conditions.
Innovation Solution
A method that defines an operating software block based on input and output parameters, simulates function inputs within a multi-dimensional parameter space, and compares output dependencies with standards, allowing for rapid verification of software functionality without physical testing, thus reducing the need for extensive prototype testing and minimizing costs.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If software verification is performed via engine test stand, then comprehensive testing under various environmental conditions is achieved, but testing time and costs increase significantly
Solution Approach 1:
The patent applies preliminary action by performing software verification through simulation before actual engine testing. The method defines a multi-dimensional parameter space representing environmental conditions and software input/output relationships, and executes verification algorithms to check software behavior across the entire parameter space beforehand. This preliminary simulation identifies potential issues before costly physical testing, reducing both time and costs while maintaining verification completeness.
2Reliability
If extensive testing under various environmental conditions is performed, then software completeness is ensured, but development costs increase
Solution Approach 1:
The patent applies copying by creating virtual copies of environmental conditions through a multi-dimensional parameter space model. Instead of physically testing under every possible environmental condition, the method creates a computational model that represents the parameter space and uses verification algorithms to check software behavior across all conditions simultaneously. This virtual copying approach ensures comprehensive verification while dramatically reducing development costs.
3Reliability
If new software versions are tested on engine prototypes, then software functionality is verified, but risk of prototype damage increases
Solution Approach 1:
The patent applies the intermediary principle by introducing a simulation environment as a mediator between software development and physical engine testing. The multi-dimensional parameter space model acts as an intermediary layer that allows comprehensive software verification without direct interaction with physical prototypes. This intermediary simulation environment eliminates the risk of prototype damage while maintaining full software functionality verification capability.
4Loss of time
If engine test stand appointments are booked in advance, then testing schedule is secured, but capacity utilization efficiency decreases
Solution Approach 1:
The patent applies taking out by extracting the software verification step from the physical engine testing process. The method separates verification into two independent phases: simulation-based verification using the multi-dimensional parameter space model, and subsequent physical testing. This extraction allows software verification to be performed independently without occupying test stand resources, improving capacity utilization while maintaining project timeline through the preliminary simulation phase.
Data Source
AI summary
A method for verifying an operating software block. The operating software block to be verified is defined based on an operating software. Function inputs and outputs corresponding to the operating software block are ascertained. A multi-dimensional parameter space is defined, each dimension of which corresponding to a function input of the operating software block. Input data tuples are formed based on predetermined rules, which correspond to points within specifiable limits of the parameter space. The operating software block is executed using the input data tuples in order to obtain output data, so that for every function output a dependency on the input data of the function inputs is ascertained. The dependency of the function outputs is compared with a specified standard dependency. A reaction is initiated based on a deviation between the dependency of a function output and the standard dependency.