|
Real Time Systems'1999
Salon des solutions informatiques pour les systèmes
temps réels
Actes de conférences
organisées
par le B.I.R.P.
41,93 €
Commander
|
 |
1999
256 pages
format 16 x 23 cm
broché
réf. LIF027
I.S.B.N.: 2-87717-072-1
pour spécialistes et professionnels de l'informatique
|
|
Présentation
Comité
Table des matières |
Comité de programme |
Présentation
L’édition 1999 des conférences RTS consacre la véritable explosion de
l’embarqué. Explosion des applications et des marchés – énormes – tirés
en particulier par le dynamisme des télécoms et de l’automobile. Pression sur les
technologies qui, paradoxalement, sont loin d’être stables, et moins encore,
compatibles entre elles. C’est d’ailleurs ce double phénomène qui fait office
– pour cette édition R.T.S.’99 – de moteur d’intérêts et
d’enjeux.
Dans la course, sans fin, à laquelle se livrent les laboratoires, les start-up et les
grands offreurs pour développer, transférer puis industrialiser des solutions, la
manifestation RTS a – en sept éditions – connu un cycle complet. Ainsi, cette
année voit les industriels du logiciel – Microsoft et Sun, en particulier –
tenter d’imposer qui sa machine virtuelle, qui son OS « léger » sensés
équiper tout ce qui peut ou doit comporter un grain d’intelligence, voire de
communicabilité. Et la liste est longue, du Web TV aux téléphones mobiles en passant,
mais c’est une anecdote, par le « fameux » micro-onde NCR connecté à
Internet.
Plus rémanents, les sujets liés aux mécanismes fondamentaux des systèmes temps réel,
et ceux qui touchent au génie système, aux langages objet et à la preuve formelle
constituent – à travers les conférences scientifiques, séminaires et sujets
thématiques – autant de repères et de garanties de qualité. RTS’99, comme un
bateau entre deux eaux, reste sensible aux courants violents engendrés par une demande
industrielle par trop versatile, tout en s’ancrant solidement à la réalité de la
technologie.
Un programme varié, ouvert sur le témoignage et l’expérience, s’articule donc
autour des constituants fondamentaux (et historiques) de cette manifestation. |
Comité scientifique
Nicolas Chevassus, AEROSPATIALE
Francis Cottet, LISI/ENSMA
Jean-Dominique Decotignie, RTSG-CSEM (Suisse)
Joëlle Delacroix, Cédric - CNAM
Juan-Antonio de la Puente, DIT-UPM, Universidad Politécnica de Madrid
Serge Haddad, Université Paris Dauphine, CRIO-UNIX
Laurent Leboucher, CNET
Guy Juanole, LAAS-CNRS, Département OLC
Claude Kaiser, CNAM
Zoubir Mammeri, Université du Havre, Faculté des Sciences
Pascale Minet, INRIA Projet Reflecs
Jacques Raymond, PSA – Peugeot-Citroën
François Riga, MATRA Bae Dynamics
Pierre Rolin, CNET
André Schiper, EPFL (Suisse)
Jean-Jacques Schwarz, INSA Lyon, Département Informatique, IUTA-UCBL
Jean-Bernard Stefani, CNET
François Terrier, CEA-LETI, CEA/SACLAY
Jean-Pierre Thomesse, CRIN-CNRS
Christian Toinard, ENSERB/LABRI
Yvon Trinquet, IRCyN (UMR CNRS 6597)/ECN
Paulo Verissimo, Dpt of Informatics, Faculty of Sciences, University of
Lisboa
Index
des auteurs
Abdellatif Slim
Babau Jean-Philippe
Badeau Frédéric
Blanchet Jean-Bernard
Blum Isabelle
Bourcerie Marc
Bouzid Djamila
Brochard Julien
Délplanche Anne-Marie
Durand Emmanuel
Duvallet Claude
Gasnier Franck
Génard Michel
Guibourge Nicolas
Juanole Guy
Lenkisch Andréas
Leroy Gildas
Lizzi Christophe
Maathuis Marc
Mammeri Zoubir
Marteau Stéphane
Meetoo Avinash
Mesnard Emmanuel
Nicolas Cédric
Ollivier Frédéric
Peerens Christophe
Perrier Vincent
Raddalgoda Mal
Sadeg Bruno
Sprich René |
|
Table des matières
Conférence Scientifique 1 : Communication, Réseaux
Modélisation et évaluation du protocole MAC du réseau CAN et
étude de l’influence de sa qualité de service sur les performances d’une
boucle d’asservissement, Isabelle Blum, Guy Juanole
Une architecture de traitement temps réel réparti sur réseau ATM
pour le système CHORUS, Christophe Lizzi
Sur la modélisation et l’évaluation de l’influence d’un
commutateur ATM sur la qualité de service d’une communication, Slim Abdellatif,
Julien Brochard, Guy Juanole
Conférence Scientifique 2 : Spécification, Conception, Configuration
Etude d’extensions de LOTOS pour la spécification d’applications temps réel,
Djamila Bouzid, Zoubir Mammeri
CLARA : un langage de configuration dédié à la description d’architectures
d’applications temps réel, Emmanuel Durand, Anne-Marie Délplanche
Invocation de processus périodiques sur un système embarqué temps réel, Franck
Gasnier, Emmanuel Mesnard
Conférence Scientifique 3 : Applications
Prise de décision dans les systèmes temps réel adaptatifs, Jean-Philippe Babau,
Avinash Meetoo
Analyse des protocoles de contrôle de concurrence et des propriétés ACID dans
les SGBD temps réel, Claude Duvallet, Zoubir Mammeri, Bruno Sadeg
Commande de systèmes temps réel par réseaux de Petri, Stéphane Marteau, Marc
Bourcerie
Conférence Thématique 1 : Développement et preuve formelle
B pour la validation par la preuve de logiciels temps réels embarqués, Frédéric
Badeau
Conférence Thématique 2 : Java embarqué
Java dans une chaîne croisée de simulation temps réel chez Matra Marconi Space :
SIMWORK, Frédéric Ollivier, Gildas Leroy
Réalisation d’une machine virtuelle Java. L’exemple de terminaux
grands publics pour le compte de la division télécoms de Schlumberger,
Jean-Bernard Blanchet, Cédric Nicolas
Conférence Thématique 3 : Embedded Systems: Generation Windows CE
Introduction à la session, Vahé Torossian
Les dernières caractéristiques techniques de Windows CE :
architecture technique de Windows CE 2.11 ; atouts spécifiques de Windows CE
pour l’embarqué ; présentation de Microsoft Windows CE Platform Builder version
2.11, Christophe Peerens
Outils de développement Microsoft dédiés à Windows CE ;
méthodologie de développement ; portage de code et développement de drivers
Windows CE, Nicolas Guibourge
Les bénéfices de Windows CE : exemples d’applications concrètes,
différents partenaires, intégrateurs, clients finaux de Microsoft
Conférence Thématique 4 : Temps réel industriel et an 2000
An 2000 et temps réel industriel : priorités et méthodologies de traitement,
René Sprich
Conférence Solutions 1
Avec plus de 1000 Mo/s le VME passe le mur du son !, Andréas
Lenkisch
Conférence Solutions 2 : Java pour tous, un business pour chacun
Le community Source Licensing Model et ce que cela signifie pour vous, Marc
Maathuis
Keynote Speakers 1
Les nouveaux défis de l’informatique embarquée, Michel Génard
Keynote Speakers 2
Open a Window onto your Devices. Graphics and Internet Solutions Review for
Embedded Systems, Vincent Perrier
Keynote Speakers 3
La révolution des systèmes embarqués, Mal Raddalgoda
|
|