Cercle "Objectif Zero-Defaut"
Réunion du 18 janvier 2001 à l'ENST (Paris)
Thème : "Objets temps
réel"
Le cercle "Objectif Zéro-Défaut", Jean-Louis Sourrouille
de l'INSA-Lyon et François Terrier du CEA organisent le 18 janvier
2001 à l'ENST une journée sur les "Objets temps réel".
Objectif
L'approche objet a montré son intérêt dans plusieurs
domaines, et son utilisation dans les applications temps-réel est
considérée avec de plus en plus d'attention. L'objectif est
de prendre en compte les spécificités du temps-réel
tout en conservant les bénéfices de l'approche objet. Pour
cela, un point fondamental est la description formelle des applications.
UML (Unified Modeling Language) s'est rapidement imposé comme
un standard dans l'approche objet. Ses mécanismes d'extension permettent
de l'enrichir pour le temps-réel, et de nombreux efforts tendent
à le rendre plus formel. Il faut maintenant développer des
outils capables de transformer ces descriptions dans des formes intermédiaires
exploitables par les outils actuels, à moins de créer d es
outils spécifiques les exploitant directement. Parallèlement,
le besoin de nouvelles méthodes de développement se fait
sentir.
L'objectif de cette journée est de présenter des travaux
portant sur le développement par objets dans le domaine du temps-réel,
et plus spécifiquement autour de la modélisation avec UML
et de l'exploitation des modèles.
Programme
Etat des lieux
Outils
-
Paradigmes objets et synchrones dans les systèmes temps-réel
(Charles André, I3S Nice)(résumé,
transparents)
-
Génération automatique de test à partir de modèles
UML (S. Gérard & J-P Gallois, LIST, CEA)(résumé,
transparents Agatha, transparents UML & Agatha, projet Wooddes, projet Acotris)
-
BDL : Un socle sémantique pour les diagrammes dynamiques d'UML (Benoit
Caillaud, IRISA Rennes)(résumé,
transparents)
-
Répartition et temps réel (Arnaud BAILLY, ENST Paris)(résumé,
transparents)
Applications
-
Architecture objet pour QoS (J.L. Contreras, L3i, INSA-Lyon)(résumé,
transparents)
-
Développement de systèmes d'acquisition et déclenchement
massivement distribués en physique des hautes énergies
(Shebli ANVAR, CEA-DAPNIA )(résumé,
transparents)