Abstract: 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.

Abstract: The present disclosure relates to a method for testing the operation of a target computer system constrained by a set of timed requirements. For each of a plurality of subsets of the set, the method includes: searching for a witness trace satisfying a criterion for detecting a conflict between timed requirements of the subset; when a witness trace is found: searching for a contradicting timed requirement among the timed requirements of the set which are not present in the subset; when a contradicting timed requirement is found: adding the contradicting timed requirement to the incremental subset. An inconsistency of the operation of the target computer system is detected when a witness trace is found for and no contradicting timed requirement is found.