Event arrival curves [TCN00] are an abstract way of characterizing event streams or arrival patterns as used in the context of real-time analysis of embedded systems. One may employ these abstract stream descriptions as part of analytic, assume/guarantee (A/G), real-time interfaces and thereby define the traffic a component is willing to accept, and what it guarantees to emit. This extended abstract presents the machinery for deriving analytic A/G real-time interfaces based on arrival curves from Timed Automata (TA)[AD:90] based component models. Moreover, we develop the criteria for which composition, as well as refinement, of components is safe, i.e., it does not interfere with the interface-derived properties of the overall system. This way we strictly advocate the component-wise evolution of system designs. Show more
PublisherETH Zurich, Computer Engineering and Networks Laboratory (TIK)
Organisational unit03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
NotesLecture at Engineering and Networks Laboratory (TIK) in October 2011.
MoreShow all metadata