Relating specified time tolerances to implementation performances

Real-time systems require that the high-level control constructs used by the designer have a rigorously defined semantics specifying their actual temporal behavior, which unfortunately depends on implementation details that the high-level view tends to hide from the user. Moreover the real implementations only approximate the typical ideal properties; in some systems these approximations cannot be ignored. A description is given in TRIO formal language of some time-related constructs. Then on the basis of a timing implementation model a behavioral characterization is presented. Finally quantitative relations are derived between execution timing components and the formally defined timing parameters