2026-07-22T06:29:05Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:19254 2025-10-09T12:30:43Z ddc:004 open_access

From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation Carle, Thomas Potop-Butucaru, Dumitru Sorel, Yves Lesens, David Time-triggered Off-line real-time scheduling Temporal partitioning 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, we provide 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) 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Thomas Carle and Dumitru Potop-Butucaru and Yves Sorel and David Lesens 2015 Is Part Of LITES, Volume 2, Issue 2 (2015). Leibniz Transactions on Embedded Systems, Volume 2, Issue 2 Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LITES-v002-i002-a001 urn:nbn:de:0030-drops-192540 https://drops.dagstuhl.de/entities/document/10.4230/LITES-v002-i002-a001 eng https://creativecommons.org/licenses/by/3.0/de/legalcode