Task: Determine tolerances
Given the timing model obtained from the current solution, this task determines its timing properties. For instance, it quantifies the tolerances of both the existing and refined sets of events and the new sets of events devised by the current solution.
Disciplines: Specify synchronisation constraints tasks
Relationships
Main Description

Given the timing model obtained from the current solution, this task determines its timing properties. For instance, it quantifies the tolerances of both the existing and refined sets of events and the new sets of events devised by the current solution. Whenever possible, such quantification is obtained both by analysis and by simulations. At the end of this task, the timing properties of the devised solution are qualified, quantified, and are merged together with the timing properties offered by the lower abstraction level and with the timing requirements imported from the higher abstraction level. Hence, the timing properties of the current solution, the timing properties exported from the lower abstraction level and the timing requirements coming from the upper level are ready to be verified.

More Information