ACCUEIL

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

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 20/8 - 2001  - pp.1075-1100
TITRE
RECHERCHE - Parallélisation automatique pour la conception de systèmes critiques sûrs

RÉSUMÉ

Devant l’importance des enjeux économiques et les conséquences dramatiques que peuvent entraîner les défaillances des systèmes temps-réel-strict et pour éviter que leur développement ne repose que sur l’expertise et les compétences des concepteurs, la tendance est de fournir des méthodes et des outils d’aide à la conception. Cet article décrit différentes techniques de parallélisation mises en œuvre dans la méthodologie RSCM (Real-time System Co-design Methodology) dont l'objectif est d’automatiser le passage de la spécification d'un système à sa réalisation. Le comportement du système est décrit à un haut niveau d'abstraction indépendamment des contraintes temporelles et matérielles. La recherche automatique d’une configuration optimisée du système s’appuie sur des transformations de programmes qui conservent la sémantique de la description initiale. Ces transformations nécessitent des techniques de parallélisation particulières, qui prennent en compte les contraintes matérielles inhérentes à une architecture générique cible afin de satisfaire les contraintes temporelles au moindre coût.

ABSTRACT

The increasing complexity of dependable hard real-time systems design combined with a very tight time-to-market window call for new approaches for designing hard realtime systems. To improve productivity and reduce design risk, CAD tools are needed in addition to the system architect’s experience in order to yield better designs. In this work different parallelization techniques used in RSCM (Real-time Systems Co-design Methodology) for automatically obtaining the system design from its specification are presented. The behavioral description of the system is done at a high level of abstraction independently of the target architecture and timing constraints. Programs transformations are used for automatically yielding the optimized configuration for the system. These transformations keep intact the semantic of the original program and make use of particular parallelization techniques taking into account the hardware requirements of the target architecture while meeting the timing constraints at a minimal cost.

AUTEUR(S)
Daniel DOURS, Marianne DE MICHIEL, Patrick MAGNAUD, Réda BEKKOUCHE, Belkacem CHERFAOUI

MOTS-CLÉS
Parallélisation automatique, Partitionnement, Conception de systèmes tempsréel-strict.

KEYWORDS
Automatic parallelization, Partitioning, Hard real-time systems design.

LANGUE DE L'ARTICLE
Français

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier