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

Abstract : To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for analyzing various components. But the time to analyze a state-based component modeled by TA may be prohibitively high, due to the state space explosion problem. In this paper, we propose a framework of granularity-based interfacing to speed up the analysis 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. Our framework can help to achieve tradeoffs between precision and analysis time.
Type de document :
Communication dans un congrès
8th Workshop on Quantitative Aspects of Programming Languages, Mar 2010, Paphos, Cyprus. pp.166, 2010, 〈10.4204/EPTCS〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00450292
Contributeur : Matthieu Moy <>
Soumis le : mardi 26 janvier 2010 - 11:49:04
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02
Document(s) archivé(s) le : jeudi 18 octobre 2012 - 13:15:43

Fichier

gran-paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Karine Altisen, Yanhong Lui, Matthieu Moy. Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. 8th Workshop on Quantitative Aspects of Programming Languages, Mar 2010, Paphos, Cyprus. pp.166, 2010, 〈10.4204/EPTCS〉. 〈hal-00450292〉

Partager

Métriques

Consultations de la notice

279

Téléchargements de fichiers

167