Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata

nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granularities and then based on RTC theory, we derive lower and upper bounds on arrival patterns of the fine output streams using the causality closure algorithm of [2]. Our framework can help to achieve tradeoffs between precision and analysis time.

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Karine Altisen, Yanhong Liu, Matthieu Moy
• Keywords: Causality Closure Algorithm, CORR 2010, Education, Multiple Coarse Granularities, TA Modeled Component