Multi-task implementation of multi-periodic synchronous programs

Pagetti, Claire; Forget, Julien; Boniol, Frédéric; Cordovilla, Mikel; Lesens, David

Type de document :

Article dans une revue scientifique: Article original

DOI :

10.1007/s10626-011-0107-x

Titre :

Multi-task implementation of multi-periodic synchronous programs

Auteur(s) :

Pagetti, Claire [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Forget, Julien [Auteur]

Contributions of the Data parallelism to real time [DART]
Boniol, Frédéric [Auteur]
Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications [ENSEEIHT]
ONERA - The French Aerospace Lab [Toulouse]
Cordovilla, Mikel [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Lesens, David [Auteur]
Astrium Space Transportation [AST]

Titre de la revue :

Discrete Event Dynamic Systems

Pagination :

307-338

Éditeur :

Springer Verlag

Date de publication :

2011

ISSN :

0924-6703

Mot(s)-clé(s) en anglais :

Real-time
Synchronous languages
Preemptive multitasking
Embedded systems

Discipline(s) HAL :

Informatique [cs]/Systèmes embarqués

Résumé en anglais : [en]

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 ...
Lire la suite >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).Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Fichiers

https://hal.inria.fr/inria-00638936/document
Accès libre
Accéder au document

https://hal.inria.fr/inria-00638936/document
Accès libre
Accéder au document

document
Accès libre
Accéder au document

DEDS2010.pdf
Accès libre
Accéder au document

DEDS2010.pdf
Accès libre
Accéder au document

document
Accès libre
Accéder au document

DEDS2010.pdf
Accès libre
Accéder au document

Multi-task implementation of multi-periodic ... BibTeX CSV Excel RIS

Fichiers

Multi-task implementation of multi-periodic ...

BibTeX

CSV

Excel

RIS