Skip to Main content Skip to Navigation

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, Laboratoire I3S - 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.
Document type :
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Thomas Carle Connect in order to contact the contributor
Submitted on : Wednesday, October 17, 2012 - 3:49:51 PM
Last modification on : Friday, January 21, 2022 - 3:15:53 AM
Long-term archiving on: : Friday, January 18, 2013 - 3:46:16 AM


Files produced by the author(s)


  • HAL Id : hal-00742908, version 1



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⟩



Les métriques sont temporairement indisponibles