|
Real Time Systems'1995 Actes de conférences 60,98 € |
|
1995 |
|
Présentation Pour sa troisième édition, si quelques grandes problématiques d'hier ont disparu des conférences, d'autres désignent bien les préoccupations actuelles. Il en est ainsi de tous les thèmes afférents aux mécanismes du temps réel, à la spécification, à la qualification des programmes ainsi qu'aux outils de génie logiciel. Cas à part sera fait des conférences portant sur les réseaux temps réel et les communications. Les architectures réparties et les télécommunications – dont dépendent la concrétisation de nouveaux services, les inforoutes par exemple – suscitent des centres de recherche comme des industriels un regain d'activité. Des idées nouvelles seront échangées, des solutions concrètes seront décrites et des tables rondes permettront d'apprécier la très vive évolutivité qui caractérise ces domaines. Enfin – et surtout – on appréciera, à travers la diversité des sujets traités d'une année sur l'autre, la véritable dynamique qui anime les chercheurs du temps réel français et étrangers. Sous la vigilance du Comité de Programme, la sélection des communications a été drastique : elle vise à offrir aux auditeurs, lecteurs de cet ouvrage, et un pertinent état de l'art, et des informations " robustes " et originales sur les différents domaines traités. |
Comité scientifique Président : Jean-Pierre Forestier, Alcatel-Alsthom Raffi Aslanian, TRIALOG Informatique Albert Benveniste, INRIA-Rennes Christian Bonnet, Institut EURECOM Odile Boutemy, CNES Philippe Chrétienne, Institut Blaise-Pascal/LITP Pascal Céré, Cegelec Gérard Guiho, GEC Alsthom Transport Guy Juanole, LAAS-CNRS Claude Kaiser, CNAM Yvon Kermarrec, ENST de Bretagne Emmanuel Ledinot, Dassault-Aviation Pascale Minet, INRIA |
|
Table des
matières
Session c1 : techniques
de spécification formelle, vérification et évaluation / formal specification
techniques, verification and evaluation
Timing Requirement Specification in a Real-Time LOTOS Extension, Zbigniew Huzar,
Jan Magott
Le formalisme OPenRT pour la odélisation et la simulation de systèmes distribués
temps réel, Marcello Bax, Anne-Lise Courbis, Marc Le Goc,
Jérôme Delatour
Un outil temps réel pour l'évaluation des performances des systèmes, J.P. Calvez,
L. Collin, O. Pasquier, S. Barbeau
Vérification de propriétés de programmes écrits en LUSTRE, Christian Dubois,
Paul Ghaleb, Fabienne Lagnier, Pascal Raymond
Modélisation et vérification du comportement de services de synchronisation des
applications temps réel réparties, J.P. Elloy, R. Ricordel
Session c2 : réseaux temps réel / real-time networks
The Fast Data Link
A deterministic 100 Mbytes/s real-time network, Joël Bovier,
Jean-François Gilot, François-Henri Worm
MMS sur TCP/IP : une nouvelle solution pour l'échange de données en informatique
de production, Marianne Lefebvre, Éric Gressier, Stéphane Natkin
Real-Time Control Algorithm of Telecommunication Networks under Heavy Load
Session c3 : applications réparties et
distribuées / distributed applications
Condition de faisabilité et temps de réponse maximum pour un système
Transactionnel Réparti Temps Réel, Laurent George, Pascale Minet
Le ROV 6000 : un robot sous-marin au contrôle commande réparti, Jean-François Cadiou,
Pierre Léon, Michel Seute
MUSE, une architecture multiprocesseurs pour systèmes spatiaux, Frédéric Gaume,
Jean-Yves Le Gall, François Simon
Session c4 : sûreté de
fonctionnement et tolérance aux fautes / operating safety
and fault tolerance
Évaluation automatique de la sûreté de fnctionnement d'une application
parallèle, David Thibau, Éric Théron
Détection d'erreurs logicielles en ligne par assertions exécutables, Christophe Rabéjac
Fault-Tolerant Broadcasts and Consensus, Vassos Hadzilacos, Sam Toueg
Session c5 : ordonnancement / scheduling
Mécanismes de coopération pour l'ordonnancement de tâches temps réel
complexes dans un système distribué, Luc Maillet, Christian Fraboul
Allocation de tâches dans un système réparti, Jean-Louis Lanet
Une plate-forme d'expérimentation pour l'ordonnancement temps réel réparti basée
sur le micro-noyau Chorus, Joëlle Delacroix, Christian Santellani,
Olivier Gaultier, Olivier Metais
Optimisation de télécommunications par satellite en AMRT (Accès Multiple à
Répartition dans le Temps), Christian Prins
Ordonnancement de tâches à date critique sujettes à des fautes temporelles, Houssine Chetto
Session c6 : langages et génie logiciel / languages
and software engineering
PRAL-RT : un langage à objets concurrents temps réel pour machines
multithreads, Gilles Fouquier, François Terrier
Programmation multitâche avec ordonnancement préemptif selon la période à l'aide
d'un langage graphique à flot de données, F. Cottet, O. Capel
A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed
Systems, Éric Dubois, Philippe Du Bois, Jean-Marc Zeippen
Expérience synchrone pour la régulation numérique de turbo-réacteurs, A. Janvier,
P. Baufreton
Programmation et validation des applications temps réel à contraintes strictes
basées sur l'analyse d'ordonnançabilité, J.P. Babau, F. Cottet
Le système de test et de mise au point DEVISOR pour le porte-avion Charles-de-Gaulle, Claude Ledu,
Daniel Alzerra