From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *

Thomas Carle 1 Dumitru Potop-Butucaru 2 Yves Sorel 2 David Lesens 3
2 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Our objective is to facilitate the development of complex time-triggered systems by automating the allocation and scheduling steps. We show that full automation is possible while taking into account the elements of complexity needed by a complex embedded control system. More precisely, we consider deterministic functional specifications provided (as often in an industrial setting) by means of synchronous data-flow models with multiple modes and multiple relative periods. We first extend this functional model with an original real-time characterization that takes advantage of our time-triggered framework to provide a simpler representation of complex end-to-end flow requirements. We also extend our specifications with additional non-functional properties specifying partitioning, allocation , and preemptability constraints. Then, weprovide novel algorithms for the off-line scheduling of these extended specifications onto partitioned time-triggered architectures à la ARINC 653. The main originality of our work is that it takes into account at the same time multiple complexity elements: various types of non-functional properties (real-time, partitioning, allocation, preemptability) and functional specifications with conditional execution and multiple modes. Allocation of time slots/windows to partitions can be fully or partially provided, or synthesized by our tool. Our algorithms allow the automatic allocation and scheduling onto multi-processor (distributed) sys- tems with a global time base, taking into account communication costs. We demonstrate our technique on a model of space flight software system with strong real-time determinism requirements.
Type de document :
Article dans une revue
Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2015, 〈10.4230/LITES-v002-i002-a001〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01263994
Contributeur : Dumitru Potop-Butucaru <>
Soumis le : jeudi 28 janvier 2016 - 15:15:59
Dernière modification le : lundi 4 décembre 2017 - 15:14:09
Document(s) archivé(s) le : vendredi 11 novembre 2016 - 18:32:00

Fichier

43-225-1-PB.pdf
Publication financée par une institution

Identifiants

Collections

Citation

Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens. From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation *. Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2015, 〈10.4230/LITES-v002-i002-a001〉. 〈hal-01263994〉

Partager

Métriques

Consultations de la notice

223

Téléchargements de fichiers

130