Parallelisation efficace de larges applications temps-reel

Abstract : We present a parallel compilation method for embedded control applications. The method is fully automatic and scales up, being based on low-complexity heuristics. Unlike classical compilation, it also takes as input non-functional requirements, e.g. real-time or resource limits. The main objective is not optimization per se, but the respect of requirements. To this end, static resource allocation and code generation algorithms perform a safe accounting of non-functional properties. Accounting starts from per-component time and memory footprint worst-case bounds, automatically obtained through calls to state-of-the-art static analysis tools. Experiments show that our method produces efficient code for large-scale, real-life avionics applications.
Type de document :
Rapport
[Research Report] RR-9180, INRIA Paris. 2018
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01810176
Contributeur : Keryan Didier <>
Soumis le : vendredi 8 juin 2018 - 13:03:05
Dernière modification le : mercredi 10 octobre 2018 - 10:09:35
Document(s) archivé(s) le : dimanche 9 septembre 2018 - 20:28:41

Fichier

RR-9180.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01810176, version 2

Citation

Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, et al.. Parallelisation efficace de larges applications temps-reel. [Research Report] RR-9180, INRIA Paris. 2018. 〈hal-01810176v2〉

Partager

Métriques

Consultations de la notice

215

Téléchargements de fichiers

190