Groupement
de recherchesGroupement
de recherchesGroupe Temps Réel
Ecole d'été
|
ENSMA, Poitiers-Futuroscope
22-26 Septembre 1997
Organisé par le
Laboratoire
d'informatique Scientifique et Industrielle
Thème
de l'écoleCette école "Temps Réel" se propose de faire le point sur la construction des applications et des systèmes temps réel répartis, et plus particulièrement sur les réseaux temps réel.Les applications temps réel sont caractérisées par le respect de contraintes imposées au système informatique par son environnement. C'est donc d'abord un problème de spécification des applications et de leurs contraintes, puis un problème de choix du support d'exécution (machines, réseaux, ordonnancement local, global, des tâches et des messages, performances minimales, etc.). La sûreté de fonctionnement du système global dépend du respect des contraintes. Il est donc fondamental de prouver autant que faire se peut, avant la réalisation finale du système, que les contraintes seront respectées. Divers modèles doivent alors être utilisés. Cette école permettra de préciser leurs possibilités et leurs capacités, leurs limites et leurs complémentarités. Des ateliers du soir présenteront la mise en oeuvre de ces différents modèles et techniques(CAN, Z, KerNext, ...).
Intervenants| Abdelmalek BENZEKRI | IRIT Toulouse |  |
| Marc BOURCERIE | IUT Angers | |
| Richard CASTANET | LaBRI Bordeaux |  |
| Francis COTTET | LISI Poitiers | |
| Joëlle DELACROIX | CNAM Paris |  |
| Jean Pierre ELLOY | IRCyN Nantes |  |
| Guy JUANOLE | LAAS Toulouse |  |
| Claude KAISER | CNAM Paris | |
| Ousmane KONE | CRIN Nancy |  |
| Dominique MERY | CRIN Nancy | |
| Zoubir MAMMERI | LIH Le Havre | |
| Olivier ROUX | IRCyN Nantes | |
| Dominique SERET | Universite Paris V |  |
| Jean Pierre THOMESSE | CRIN Nancy | |
| Yvon TRINQUET | IRCyN Nantes | |
Comité
local d'organisationProgrammeProblématique et solutions sont introduites au travers de l'analyse de trois exemples pris dans des domaines d'application différents: systèmes embarqués, télécommunications, commande de processus. Ces présentations seront effectuées par des industriels.
Méthodes
de gestion des contraintes de temps par l'ordonnancement
La communication temps réel:
principes, problèmes et solutions. Synchronisation d'horloges
Définition et analyse de
la qualité de service essentiellement temporelle, contraintes de
temps sur les services et ordonnancements de messages.
Principaux mécanismes protocolaires
des couches Medium Access Control, mais aussi Transport et Application
Modèles actuellement
étudiés et émergents pour spécifier, vérifier,
valider, prouver des solutions.
Vérification des propriétés,
validation de certaines constructions. Systèmes états-transitions,
langages formels pour le temps réel, logiques temporelles, modèles
stochastiques.
Public concernéToute personne qui recherche une formation sur les applications, les systèmes et les réseaux temps réel dans des domaines aussi divers que l'instrumentation, l'automatisation que les télécommunications, etc. En particulier:
Les ingénieurs des industries
tant constructeurs, offreurs, qu'utilisateurs de produits et systèmes
du domaine
Les chercheurs et enseignants-chercheurs
du CNRS et des Universités
Les jeunes chercheurs, doctorants,
post-doc
InscriptionCompléter et renvoyer le formulaire d'inscription.
AccèsUn plan du site du Futuroscope est disponible.
Renseignements
auprès de :| Francis Cottet LISI Professeur à l'ENSMA BP 109 86960 Futuroscope Tél. : 05 49 49 80 52 Fax : 05 49 49 80 64 cottet@ensma.fr |
Jean Pierre Thomesse CRIN Professeur à l'INPL 2, av. de la Forêt de Haye 54516 Vandoeuvre Tél. : 03 83 59 55 76 Fax : 03 83 44 07 63 thomesse@loria.fr |
Inscriptions et informations
complémentaires:Secrétariat ETR'97
LISI/ENSMA
B.P. 109
86960 FUTUROSCOPE
Tel. : 05 49 49 80 63
Fax : 05 49 49 80 64
etr97@sydney.ensma.fr
La brochure etr'97est disponible au format postscript: etr97.ps (62 kO)
L'ENSMA,
le site du Futuroscope et Poitiers:L'école Nationale Supérieure de Mécanique et d'Aérotechnique forme chaque année 150 ingénieurs dans des domaines aussi divers que les matériaux, la combustion, l'aérodynamique, la thermique et le génie informatique. L'ENSMA, un bâtiment à l'architecture un peu "déstabilisante" à la première visite, a été récemment implantée à proximité immédiate du parc du Futuroscope. Dans ce parc européen de l'image, le visiteur peut découvrir toutes les techniques de projection et de communication. Ce site du Futuroscope est à quelques minutes de Poitiers, ville d'art et d'histoire où à chaque angle de rue on change de siècle.