18276359. METHOD AND SYSTEM FOR CORRECTING OPERATION OF TARGET COMPUTER SYSTEM BY USING TIMED REQUIREMENT simplified abstract (Mitsubishi Electric Corporation)
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 18276359 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 based on new traces until no further inconsistency is 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 new traces
- Iterating these steps until no further inconsistency is found
Potential Applications
This technology could be applied in real-time systems, embedded systems, and critical software applications where timing requirements are crucial.
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.
Benefits
The benefits of this technology include improved system reliability, better performance, and the ability to handle complex timing constraints effectively.
Potential Commercial Applications
Potential commercial applications include industries such as aerospace, automotive, medical devices, and any field where precise timing is essential for system operation.
Possible Prior Art
Prior art may include methods for verifying timing constraints in computer systems, but this specific approach of correcting inconsistencies based on witness traces may be novel.
Unanswered Questions
How does this method compare to existing techniques for handling inconsistent timed requirements in computer systems?
This article does not provide a direct comparison to existing techniques, leaving the reader to wonder about the advantages and disadvantages of this method compared to others.
What are the limitations of this method in terms of scalability and complexity of timed requirements?
The article does not address the scalability and complexity limitations of this method, leaving readers to question its applicability in large-scale systems with intricate timing constraints.
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.
