SNIP_ADAPTIVE_CAN_FIGURE_Figure_6_6_ADAPTIVEPLATFORMTIMINGEXTENSIONS

Figure 6.6: Example of the ”Cycle” pattern 7 Timing Constraints Timing constraints can be applied either on Timing Description Events or on Timing Description Event Chains. Applied to Timing Description Events a Timing Constraint classifies a single event or a group of events with a temporal restriction, for example a period, a latency or a time interval considered as synchronous. Also the direction has to be considered, which means in the semantics of the constraint it matters whether an event source (forward semantics) or an event sink (backward semantics) is considered. Applied to Timing Description Event Chains a condition or property for this event chain is set. As the event chain has a semantic of a directed acyclic graph, the direction is obvious, but it matters whether a single event chain or a group of event chains are constrained. Mentioned in context of a requirement specification, Timing Constraints can be used as functional requirements and therefore can be tested. For usage in context of a performance specification, Timing Constraints can be used as system properties or