METHOD FOR COMPUTER-ASSISTED VERIFICATION OF A DESIGN OF A TECHNICAL SYSTEM

摘要

The invention relates to a method for the computer-assisted verification of a design of a technical system (TS), wherein the technical system (TS) is simulated on the basis of the design and the simulated technical system (TS) is checked with respect to satisfying one or more requirements. The technical system (TS) according to the design is characterised by a time-dependent state (x(t)) with one or more state variables of the technical system (TS) and a dynamic, wherein the dynamic is described at least by an ordinary differential equation system (DE) comprising the time-dependent state (x(t)) and the derivative with respect to time (x(t)) of the time-dependent state. The simulation of the technical system (TS) is performed in such a way that, beginning from a set of one or more initial states (x₀), by solving of the differential equation system (DE), the states (x(t)) of the technical system (TS) are predicated for a pre-defined time period (TI), wherein the solving of the differential equation system (DE) is carried out on the basis of a verified integration method (VIM), which gives a guaranteed deviation (I) near the predicted states (p(t)), said guaranteed deviation representing the maximum possible difference between the actual states (x(t)) and the predicated states of the technical system (p(t)).