From dataflow specification to multiprocessor partitioned time-triggered real-time implementation

Thomas Carle 1 Dumitru Potop-Butucaru 1 Yves Sorel 1 David Lesens 2
1 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 : We consider deterministic functional specifications provided by means of synchronous data-flow models with multiple modes and multiple relative periods. These specifications are extended to include a real-time characterization defining task periods, release dates, and deadlines. Task deadlines can be longer than the period to allow a faithful representation of complex end-to-end flow requirements. We also extend our specifications with partitioning and allocation constraints. Then, we provide algorithms for the off-line scheduling of these specifications onto partitioned time-triggered architectures à la ARINC 653. 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) systems 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 :
Rapport
[Research Report] RR-8109, INRIA. 2012
Liste complète des métadonnées


https://hal.inria.fr/hal-00742908
Contributeur : Thomas Carle <>
Soumis le : mercredi 17 octobre 2012 - 15:49:51
Dernière modification le : mardi 13 décembre 2016 - 15:41:38
Document(s) archivé(s) le : vendredi 18 janvier 2013 - 03:46:16

Fichier

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

Identifiants

  • HAL Id : hal-00742908, version 1

Collections

Citation

Thomas Carle, Dumitru Potop-Butucaru, Yves Sorel, David Lesens. From dataflow specification to multiprocessor partitioned time-triggered real-time implementation. [Research Report] RR-8109, INRIA. 2012. <hal-00742908>

Partager

Métriques

Consultations de
la notice

577

Téléchargements du document

365