Analysing parameters of real time guarantees - response for cooperative software components

摘要

A system and method for providing a control time control for a vehicle system, onto the construction plane. The method comprises defining of components time expensive specifications in a parameter form on a system level and on a under the system plane; the mathematical represent the time expensive specifications in a system model; the provision of a condition extraction algorithm, the time expensive conditions is obtained from the mathematical representations; the use of the condition extraction algorithm, in order to generate a plurality of linear equations, which define the conditions; the dissolution of real time - condition regions of parameters in the linear equations; and selecting of values from the real time - condition ranges, which in the mathematical representations are to be used. In the non-limiting embodiments, the condition extraction algorithm, an interface detection algorithm or be a proof of tree.