Contract-Based Compositional Scheduling Analysis for Evolving Systems

Abstract : The objective of this work is the analysis and verification of distributed real-time systems. Such systems have to work in a timely manner in order to deliver the desired services. We consider a system architecture with multiple computation resources. The aim is to work out a compositional state-based analysis technique to determine exact response times and to validate end-to-end deadlines. Further, we consider such systems in a larger context, where a set of systems work in a collaborative and distributed fashion. A major aspect of such collaborative systems is the dynamic evolution. New systems can participate, existing systems may leave because of failures, or properties may change. We use contracts to encapsulate systems which work in a collaborative manner. These contracts define sound timing bounds on services offered to the environment. When some systems evolve, only those parts which changed need to be re-validated.
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.272-282, 2013, Embedded Systems: Design, Analysis and Verification. 〈10.1007/978-3-642-38853-8_25〉
Liste complète des métadonnées

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

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

Fichier

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

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand. Contract-Based Compositional Scheduling Analysis for Evolving Systems. 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.272-282, 2013, Embedded Systems: Design, Analysis and Verification. 〈10.1007/978-3-642-38853-8_25〉. 〈hal-01466683〉

Partager

Métriques

Consultations de la notice

85

Téléchargements de fichiers

28