ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 43/7-9 - 2009  - pp.741-755
TITRE
Implantation multitâche de programmes synchrones multipériodiques

RÉSUMÉ
La programmation sûre des systèmes embarqués critiques est un enjeu industriel de plus en plus important. Des langages formels de haut niveau ont été définis afin de permettre la spécification de tels systèmes. Les langages synchrones, notamment, sont utilisés avec succès car ils fournissent un bon niveau d'abstraction et s'appuient sur des générateurs de code exécutable éprouvés. La capacité à générer un code multitâche préemptible, qui permettrait d'obtenir un code embarqué plus efficace, reste cependant pour l'instant limitée. Nous montrons qu'il est possible de spécifier un système multipériodique à un niveau abstrait synchrone, puis de générer automatiquement un système multitâche exécutable par un ordonnanceur dynamique tel que EDF. Ceci passe par la définition d'un langage de haut niveau, puis par sa transformation en un ensemble de tâches temps réel, et enfin par la définition d'un protocole de communication garantissant à l'exécution le respect de la sémantique du langage synchrone. On supprime ainsi toute rupture entre la spécification et l'implantation multitâche.


ABSTRACT
This article presents a complete scheme for the development of multi-periodic critical embedded systems. The system is programmed with a language that enables to assemble in a modular and hierarchical manner several locally mono-periodic synchronous systems into a globally multi-periodic synchronous system. A program is translated into a set of real-time tasks that can be executed on a real-time platform with a dynamic-priority scheduler such as EDF. 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).


AUTEUR(S)
Frédéric BONIOL, Mikel CORDOVILLA, Julien FORGET, David LESENS, Claire PAGETTI

MOTS-CLÉS
temps réel, langages synchrones, multitâche préemptif, systèmes embarqués.

KEYWORDS
real-time, synchronous languages, preemptive multitasking, embedded systems.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (320 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier