caa a22 4500 445822686 CHVBK 20180317145249.0 cr unu---uuuuu 170323e20110901xx s 000 0 eng 10.1007/s10626-011-0107-x doi (NATIONALLICENCE)springer-10.1007/s10626-011-0107-x Multi-task Implementation of Multi-periodic Synchronous Programs [Elektronische Daten] [Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens] This article presents a complete scheme for the integration and the development of multi-periodic critical embedded systems. A system is formally specified as a modular and hierarchical assembly of several locally mono-periodic synchronous functions into a globally multi-periodic synchronous system. To support this, we introduce a real-time software architecture description language, named Prelude, which is built upon the synchronous languages and which provides a high level of abstraction for describing the functional and the real-time architecture of a multi-periodic control system. A program is translated into a set of real-time tasks that can be executed on a monoprocessor real-time platform with an on-line priority-based scheduler such as Deadline-Monotonic or Earliest-Deadline-First. The compilation is formally proved correct, meaning that the generated code respects the real-time semantics of the original program (respect of periods, deadlines, release dates and precedences) as well as its functional semantics (respect of variable consumption). Springer Science+Business Media, LLC, 2011 Real-time nationallicence Synchronous languages nationallicence Preemptive multitasking nationallicence Embedded systems nationallicence Pagetti Claire ONERA, 2, avenue Edouard Belin, 31055, Toulouse, France aut Forget Julien LIFL/INRIA, 40, avenue Halley, 59650, Villeneuve d'Ascq, France aut Boniol Frédéric ONERA, 2, avenue Edouard Belin, 31055, Toulouse, France aut Cordovilla Mikel ONERA, 2, avenue Edouard Belin, 31055, Toulouse, France aut Lesens David EADS Astrium Space Transportation, route de Verneuil, 78133, Les Mureaux, France aut Discrete Event Dynamic Systems Springer US; http://www.springer-ny.com 21/3(2011-09-01), 307-338 0924-6703 21:3<307 2011 21 10626 https://doi.org/10.1007/s10626-011-0107-x text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10626-011-0107-x text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Pagetti Claire ONERA, 2, avenue Edouard Belin, 31055, Toulouse, France aut NATIONALLICENCE 700 1- Forget Julien LIFL/INRIA, 40, avenue Halley, 59650, Villeneuve d'Ascq, France aut NATIONALLICENCE 700 1- Boniol Frédéric ONERA, 2, avenue Edouard Belin, 31055, Toulouse, France aut NATIONALLICENCE 700 1- Cordovilla Mikel ONERA, 2, avenue Edouard Belin, 31055, Toulouse, France aut NATIONALLICENCE 700 1- Lesens David EADS Astrium Space Transportation, route de Verneuil, 78133, Les Mureaux, France aut NATIONALLICENCE 773 0- Discrete Event Dynamic Systems Springer US; http://www.springer-ny.com 21/3(2011-09-01), 307-338 0924-6703 21:3<307 2011 21 10626 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer