Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique

Résumé

The analysis of real-time properties is crucial in safety critical areas like in automotive applications. Systems have to work in a timely manner to offer correct services. Most of the applications in this domain are distributed over several computation units, inter-connected by bus systems. In previous works we have introduced a state-based analysis approach to validate end-to-end deadlines for distributed systems. The approach is based on the computation of the state spaces of all resources, such as processors and buses, in an iterative fashion. For this, abstraction and composition operations were defined to adequately handle task and resource dependencies. During the design process of a system changes occur typically on both the specification and implementation level, such that already performed analyses of the system have to be repeated. In this work, we extend our timing analysis with a refinement checking approach, detail when it is appropriate to be used, and compare the analysis times with the computation times to perform the refinement check.
Fichier principal
Vignette du fichier
467217_1_En_8_Chapter.pdf (620.46 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01854160 , version 1 (06-08-2018)

Licence

Paternité

Identifiants

Citer

Björn Koopmann, Achim Rettberg, Tayfun Gezgin. Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique. 5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.88-99, ⟨10.1007/978-3-319-90023-0_8⟩. ⟨hal-01854160⟩
114 Consultations
66 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More