Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction

Abstract : For most embedded safety-critical systems not only the functional correctness is of importance, but they must provide their services also in a timely manner. Therefore, it is important to have rigorous analysis techniques for determining timing properties of such systems. The ever increasing complexity of such real-time systems calls for compositional analysis techniques, where timing properties of local systems are composed to infer timing properties of the overall system. In analytical timing analysis approaches the dynamic timing behavior of a system is characterized by mathematical formulas abstracting from the state-dependent behavior of the system. While these approaches scale well and also support compositional reasoning, the results often exhibit large over-approximations. Our approach for compositional timing analysis is based on ω-regular languages, which can be employed in automata-based model-checking frameworks. To tackle the scalability problem due to state-space explosion, we present a technique to abstract an application by means of its resource demands. The technique allows to carry out an analysis independently for each application that shall be deployed on the same platform using its granted resource supply. Integration of the applications on the platform can then be analyzed based on the different resource supplies without considering details of the applications.
Type de document :
Communication dans un congrès
Gunar Schirner; Marcelo Götz; Achim Rettberg; Mauro C. Zanella; Franz J. Rammig. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. Springer, IFIP Advances in Information and Communication Technology, AICT-403, pp.181-192, 2013, Embedded Systems: Design, Analysis and Verification. 〈10.1007/978-3-642-38853-8_17〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01466672
Contributeur : Hal Ifip <>
Soumis le : lundi 13 février 2017 - 16:38:36
Dernière modification le : vendredi 1 décembre 2017 - 01:09:41
Document(s) archivé(s) le : dimanche 14 mai 2017 - 15:13:29

Fichier

978-3-642-38853-8_17_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Philipp Reinkemeier, Ingo Stierand. Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction. Gunar Schirner; Marcelo Götz; Achim Rettberg; Mauro C. Zanella; Franz J. Rammig. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. Springer, IFIP Advances in Information and Communication Technology, AICT-403, pp.181-192, 2013, Embedded Systems: Design, Analysis and Verification. 〈10.1007/978-3-642-38853-8_17〉. 〈hal-01466672〉

Partager

Métriques

Consultations de la notice

81

Téléchargements de fichiers

21