The task Determine time influencing budget properties analyses the solution and its requirements for time budget properties that are a direct implication of the solution and the requirements at the current abstraction level. Typical techniques for obtaining such properties are formal analysis and simulation. At operational level, the task performs measurements on a physical running system, which a higher level may transform and apply to its models in the Transform time budget properties task of that abstraction level.
|