2001
432 pages
format 16 x 23 cm
broché
réf. LIF029
I.S.B.N.: 2-87717-078-0

pour spécialistes et professionnels de l'informatique

Présentation Comité Table des matières

Comité de programme

Les conférences Solutions présentées par des acteurs majeurs du Salon mettent en valeur les derniers développements autour de Linux embarqué, Bluebooth, UML, les nouvelles applications de communication, ou les applications réparties industrielles.

Président du Comité de Programme : Z. Mammeri
(IRIT, UPS Toulouse, France)
Ch. André     (I3S, Sophia Antipolis),
C. Cardeira (IST, Lisbonne, Portugal),
R. Castanet (LABRI, Bordeaux),
F. Cottet        (LISI, ENSMA, Poitiers),
J. A. De La Puente  (DIT, Université Polytechnique de Madrid, Espagne),
J.-D. Decotignie        (CSEM, Suisse),
J. Delacroix (CEDRIC, CNAM Paris),
A.-M. Déplanche    (IRCCyN, Nantes),
I. Demeure     (ENST, Paris),
J. A.Fonseca                (Université d’Aveiro, Portugal),
G. Juanole    (LAAS, UPS Toulouse),
F. Lepage        (CRAN, UHP Nancy),
S. Marichalar          (Direction de la Recherche, Renault),
F. Maraninchi          (VERIMAG, Grenoble),
P. Minet          (INRIA-Rocquencourt),
G. Motet        (LESIA-INSA, Toulouse),
E. Najm            (ENST, Paris),
J. Raymond   (PSA),
P. Richard    (LISI, ENSMA, Poitiers),
E. Rutten       (INRIA-Rhones-Alpes),
F. Simonot     (LORIA-ENSEM, Nancy),
Y. Sorel           (INRIA-Rocquencourt),
J. Szymanski (CCD ALSTOM Technologies, Meudon la forêt),
J.-P. Thomesse            (LORIA-ENSEM, Nancy),
Y. Trinquet  (IRCCyN, Nantes),
F. Vasques    (Université de Porto, Portugal),
K. Winkelmann       (Siemens AG, Munich, Allemagne)

Table des matières
Conférences scientifiques CST 1
Modèles et outils - Président de session : Guy Juanole (LAAS-UPS Toulouse)
Modélisation et évaluation de performances d'une architecture d’ordonnancement hétérogène Application à un système vidéo à qualité de service garantie, Paul-Henry Robert, Guy Juanole
Modélisation et vérification de systèmes intégrés asynchrones : étude de cas et approche comparative, Frédéric Boniol, Gérard Bel, Jérôme Ermont
Vérification d'objets temps réel à l'aide des réseaux de Petri et de la logique linéaire, François Taïani, Mario Paludetto, Jérôme Delatour, Thierry Cros
Merging Reliability and Timeliness Requirements in Distributed Computer-Controlled Systems, Luís Miguel Pinho, Francisco Vasques
A Tool Support for Automatic Mapping of Real-Time Traffic Constraints onto ATM Services, Z. Mammeri, D. Bouzid
Conférences scientifiques CST 2
Ordonnancement temps réel - Président de session : Jean-Dominique Decotignie (CSEM- Neuchâtel, Suisse)
Affectation optimale des priorités des tâches et des messages dans les systèmes distribués temps réel, M. Richard, P. Richard, F. Cottet
Worst case response time versus worst case offset configuration using the deadline driven scheduler, Joël Goossens
Limitation of the Hyper-Period in Real-Time Periodic Task Set Generation, Joël Goossens, Christophe Macq
Ordonnancement de tâches sporadiques à contraintes strictes à l’aide de séries génératrices, Dominique Geniet, Jean-Philippe Dubenard
Traitement de la gigue de tâches dépendantes dans un contexte d’ordonnancement temps réel en ligne, L. David, F. Cottet
Ordonnancement de tâches temps réel en environnement multiprocesseur à l’aide de réseaux de Petri, Emmanuel Grolleau, Annie Choquet-Geniet
Conférences scientifiques CST 3
Systèmes et exécutifs temps réel - Président de session : Yvon Trinquet (IRCCYN, Nantes)
Conception de systèmes distribués temps-réel strict tolérants aux fautes avec du matériel « sur étagère », Pascal Chevochot, Isabelle Puaut
Management of Real-Time Query Transactions in Mobile Computing Environment, B. Sadeg, S. Saad-Bouzefrane, L. Amanton
Évaluation de micro-noyaux temps réel pour les applications d’informatique industrielle d’EDF, E. Becquet, P. Decogné, E. Gressier-Soudan, L. Bacon
Un émulateur de l’Internet réalisé sous RTLinux, Vincent Lecuire, Thomas Maurey, Francis Lepage
Exécutif temps réel embarqué pour l'automobile : le standard OSEK/VDX - Application à un support d'exécution pour le langage CLARA, Sébastien Faucou, Yvon Trinquet
Conférences solutions CSO 1
Linux et le monde de l'embarqué - Pourquoi et comment ? animée par Stephen Porter
Conférences solutions CSO 2
Solutions for Embedded Real-Time Linux, animée par Chris Clark (Lynuxworks)
Conférences solutions CSO 3
Appli-bus : un middleware ouvert pour les applications réparties industrielles, animée par Jean-Philippe Moins
Conférences solutions CSO 4
A Flexible OS Neutral Development Tool Architecture animée par Nigel Street
Conférences solutions CSO 5
Setting the foundation for next generation communications applications: OSE for DSPs animée par Laurent Accard
Conférences solutions CSO 6
Mise en œuvre d’Esterel Studio, validation du call control sous protocole Bluetooth animée par Patrick Courty
Conférences produits CPR 1
SoftWeb :Softkernel embedded Webserver animée par B Dautrevaux
Conférences produits CPR 2
Linux  as an embedded Operating Systems animée par K-D Walker
Conférences produits CPR 3
ASIC and Application Parallel Fast and Secure Development animée par Frédéric Foulfoin et M. Vilchez
Conférences produits CPR 4
IEEE 1394 Technology animée par Romualdo Santamaria
Conférences produits CPR 5
Redundant Network Links Boost Reliability
animée par P.N Leroux
Conférences produits CPR 6
UML et la certification des applications temps réel animée par Pierre Morère