printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
 
ETH Zurich - ITET - TIK - Publications
print
  

Publication Details for Misc "On the Computation and Properties of Real-time Interfaces for State-based Component Models. Conference lecture on the 1st International Workshop on Model-Based Design with a Focus on Extra-Functional Properties (MBDEFP)"

 

 Back

 New Search

 

Authors: Kai Lampka, Lothar Thiele
Group: Computer Engineering
Type: Misc
Title: On the Computation and Properties of Real-time Interfaces for State-based Component Models. Conference lecture on the 1st International Workshop on Model-Based Design with a Focus on Extra-Functional Properties (MBDEFP)
Year: 2011
Month: October
Pub-Key: [LT:11a]
Keywords: Interface Theory
Abstract: 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.
Howpublished: Taipei, Taiwan
Resources: [BibTeX] [Paper as PDF]

 

 Back

 New Search

top
© 2019 Laboratory TIK, ETH Zurich | Imprint | Last updated on Wed, 16 May, 2018 17:35 | t=0.0034s | Valid HTML 4.01