WCET analysis in shared resources real-time systems with TDMA buses

Abstract : Predictability is an important aspect in real-time and safety-critical systems, where non-functional properties – such as the timing behavior – have high impact on the system cor-rectness. As many safety-critical systems have a growing performance demand, simple, but outdated architectures are not sufficient anymore. Instead, multi-core systems are more and more popular, even in the real-time domain. To combine the performance benefits of a multi-core architecture with the required predictability, Time Division Multiple Access (TDMA) buses are often advocated. In this paper, we are interested in accesses to shared resources in such environments. Our approach uses SMT (Satisfiability Modulo Theory) to encode the semantics and execution time of the analyzed program in an environment with shared resources. We use an SMT-solver to find a solution that corresponds to the execution path with correct semantics and maximal execution time. We propose to model a shared bus with TDMA arbitration policy. Using examples, we show how the WCET estimation is enhanced by combining the semantics and the shared bus analysis in SMT.
Type de document :
Communication dans un congrès
RTNS 2015, Nov 2015, Lille, France. RTNS: 23rd International Conference on Real-Time Networks and Systems, 2015, 23rd International Conference on Real-Time Networks and Systems. 〈http://rtns2015.lifl.fr/〉. 〈10.1145/2834848.2834871〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01243244
Contributeur : Matthieu Moy <>
Soumis le : lundi 14 décembre 2015 - 17:02:37
Dernière modification le : mercredi 16 décembre 2015 - 01:06:38
Document(s) archivé(s) le : samedi 29 avril 2017 - 13:37:17

Fichier

rtns-2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Hamza Rihani, Matthieu Moy, Claire Maiza, Sebastian Altmeyer. WCET analysis in shared resources real-time systems with TDMA buses. RTNS 2015, Nov 2015, Lille, France. RTNS: 23rd International Conference on Real-Time Networks and Systems, 2015, 23rd International Conference on Real-Time Networks and Systems. 〈http://rtns2015.lifl.fr/〉. 〈10.1145/2834848.2834871〉. 〈hal-01243244〉

Partager

Métriques

Consultations de
la notice

218

Téléchargements du document

129