Modélisation des systèmes temps-réel répartis embarqués pour la ...
Modélisation des systèmes temps-réel répartis embarqués pour la ...
Modélisation des systèmes temps-réel répartis embarqués pour la ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
CHAPITRE IX<br />
Conclusions et perspectives<br />
Pour le savant, croire <strong>la</strong> science achevée est toujours une illusion<br />
aussi complète que le serait <strong>pour</strong> l’historien de croire l’histoire<br />
terminée.<br />
Louis DE BROGLIE, in Physique et microphysique<br />
La mise en p<strong>la</strong>ce d’un système réparti repose en général sur <strong>la</strong> construction d’une couche<br />
applicative particulière – l’intergiciel – <strong>pour</strong> prendre en charge les communications inter-nœuds.<br />
L’intergiciel doit pouvoir fournir tous les mécanismes de communication requis par l’application.<br />
Nos travaux se sont particulièrement intéressés aux applications <strong>pour</strong> les <strong>systèmes</strong> <strong>temps</strong><strong>réel</strong><br />
<strong>répartis</strong> <strong>embarqués</strong> (TR 2 E), qui doivent respecter un certain nombre de contraintes (<strong>temps</strong><br />
d’exécution, taille mémoire, ressources disponibles, etc.). Ces contraintes doivent être respectées<br />
par tous les composants applicatifs, et en particulier par l’intergiciel.<br />
Les imp<strong>la</strong>ntations c<strong>la</strong>ssiques d’intergiciel ne permettent pas <strong>la</strong> prise en compte complète de<br />
telles contraintes. Certains travaux visent à permettre l’intégration de ces considérations dans le<br />
processus de conception de l’intergiciel ; cependant, il s’agit en général d’un processus de configuration<br />
externe qui ne permet pas <strong>la</strong> prise en compte automatique <strong>des</strong> caractéristiques de l’application.<br />
À ces problématiques de configuration s’ajoute le besoin de fiabilité. Il est impératif de pouvoir<br />
s’assurer du fonctionnement correct de l’application et de l’intergiciel qui lui est associé. L’étude<br />
du comportement <strong>des</strong> éléments applicatifs sont en général l’objet d’une série de tests, qui bien<br />
qu’utiles sont par nature incomplets.<br />
IX-1 Conception conjointe de l’application et l’intergiciel<br />
Afin d’exploiter de façon efficace les caractéristiques d’une application <strong>pour</strong> <strong>la</strong> mise en p<strong>la</strong>ce<br />
d’un intergiciel adapté, il est nécessaire de recourir un formalisme permettant d’en décrire tous les<br />
aspects.<br />
Nous avons établi que les <strong>la</strong>ngages de <strong>des</strong>cription d’architecture (ADL) proposent une approche<br />
synthétique <strong>pour</strong> rassembler tous les éléments nécessaires à une <strong>des</strong>cription complète <strong>des</strong><br />
<strong>systèmes</strong>. Leur utilisation permet notamment de pouvoir exploiter <strong>la</strong> <strong>des</strong>cription de l’application<br />
selon différents aspects – documentation, analyse, génération automatique, etc.<br />
c○ 2007 Thomas Vergnaud 171