Contract-Based Compositional Scheduling Analysis for Evolving Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Contract-Based Compositional Scheduling Analysis for Evolving Systems

Résumé

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.
Fichier principal
Vignette du fichier
978-3-642-38853-8_25_Chapter.pdf (369.71 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01466683 , version 1 (13-02-2017)

Licence

Paternité

Identifiants

Citer

Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand. Contract-Based Compositional Scheduling Analysis for Evolving Systems. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.272-282, ⟨10.1007/978-3-642-38853-8_25⟩. ⟨hal-01466683⟩
162 Consultations
127 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More