Mitsubishi electric corporation (20240134771). METHOD AND SYSTEM FOR CORRECTING OPERATION OF TARGET COMPUTER SYSTEM BY USING TIMED REQUIREMENT simplified abstract
Contents
- 1 METHOD AND SYSTEM FOR CORRECTING OPERATION OF TARGET COMPUTER SYSTEM BY USING TIMED REQUIREMENT
- 1.1 Organization Name
- 1.2 Inventor(s)
- 1.3 METHOD AND SYSTEM FOR CORRECTING OPERATION OF TARGET COMPUTER SYSTEM BY USING TIMED REQUIREMENT - A simplified explanation of the abstract
- 1.4 Simplified Explanation
- 1.5 Potential Applications
- 1.6 Problems Solved
- 1.7 Benefits
- 1.8 Potential Commercial Applications
- 1.9 Possible Prior Art
- 1.10 Original Abstract Submitted
METHOD AND SYSTEM FOR CORRECTING OPERATION OF TARGET COMPUTER SYSTEM BY USING TIMED REQUIREMENT
Organization Name
mitsubishi electric corporation
Inventor(s)
REIYA Noguchi of RENNES Cedex 7 (FR)
THIERRY Jeron of RENNES Cedex (FR)
NICOLAS Markey of RENNES Cedex (FR)
OCAN Sankur of RENNES Cedex (FR)
METHOD AND SYSTEM FOR CORRECTING OPERATION OF TARGET COMPUTER SYSTEM BY USING TIMED REQUIREMENT - A simplified explanation of the abstract
This abstract first appeared for US patent application 20240134771 titled 'METHOD AND SYSTEM FOR CORRECTING OPERATION OF TARGET COMPUTER SYSTEM BY USING TIMED REQUIREMENT
Simplified Explanation
The present disclosure describes a method for correcting the operation of a target computer system with inconsistent timed requirements by initializing constraints based on a witness trace of the inconsistency, modifying the timed requirements to satisfy the constraints, searching for further witness traces, and augmenting constraints until no further witness traces are found.
- Initializing constraints based on a witness trace of inconsistency
- Modifying timed requirements to satisfy constraints
- Searching for further witness traces of inconsistency
- Augmenting constraints based on further witness traces
- Considering the target computer system corrected when no further witness traces are found
Potential Applications
This technology could be applied in real-time systems, critical infrastructure control, and safety-critical systems where timing requirements are crucial for correct operation.
Problems Solved
This method solves the problem of correcting the operation of a computer system with inconsistent timed requirements, ensuring that all constraints are satisfied and the system operates correctly.
Benefits
The benefits of this technology include improved system reliability, increased accuracy in meeting timed requirements, and the ability to dynamically adjust constraints based on witness traces of inconsistency.
Potential Commercial Applications
One potential commercial application of this technology could be in the automotive industry for autonomous vehicles, where precise timing is essential for safe and efficient operation.
Possible Prior Art
Prior art in this field may include methods for verifying real-time systems, constraint solving algorithms, and techniques for handling inconsistent timed requirements.
What are the limitations of this method in handling complex timed requirements?
This method may struggle with highly complex timed requirements that involve a large number of constraints and dependencies, as the iterative process of modifying and searching for witness traces could become computationally intensive.
How does this method compare to existing solutions for correcting inconsistent timed requirements in computer systems?
This method appears to offer a systematic approach to correcting inconsistent timed requirements by iteratively adjusting constraints based on witness traces, which may provide a more robust and reliable solution compared to ad-hoc methods or manual interventions.
Original Abstract Submitted
the present disclosure relates to a method for correcting the operation of a target computer system constrained by an inconsistent set of timed requirements, the set of timed requirements comprising a first subset and a second subset, said method comprising initializing a set of constraints based on a witness trace of the inconsistency, and iterating steps of: •—modifying the second subset of timed requirements to obtain an updated set of timed requirements for which each constraint in the set of constraints is satisfied; •—searching for a further witness trace of the inconsistency of the updated set of timed requirements; •—when a further witness trace is found: augmenting the set of constraints based on said further witness trace; wherein the operation of the target computer system is considered corrected when no further witness trace is found for an updated set of timed requirements.
