Patent ID: 9081900
Filing Date: 2015-07-14
Classification: G05B,G06F

Abstract:
1. A method for mining a temporal requirement from a block diagram model of a closed loop control system, comprising: simulating the closed loop control system of a vehicle to obtain simulation traces; determining a candidate requirement by instantiating a template requirement with values of the simulation traces to locate parameter values that suggest that the template requirement is fulfilled, wherein the template requirement includes an undefined value; determining whether a counterexample to the candidate requirement exists; in response to determining that the counterexample to the candidate requirement exists, obtaining the counterexample to the candidate requirement and adding the counterexample to the simulation traces for inspection; and in response to determining that a counterexample to the candidate requirement does not exist, outputting an inferred requirement, wherein the inferred requirement defines the undefined value, wherein the block diagram model is utilized to determine whether a counterexample to the candidate requirement exists and wherein the block diagram model describes evolving behavior of continuous-valued and discrete valued program variables of a computer program of the vehicle.