PROGRAMME PRELIMINAIRE
CS1
: Mardi 28 Mars 2000 (14h30-17h15)
Président de session : Zoubir Mammeri - IRIT, Toulouse
Systèmes distribués et réseaux
14h30 Advanced DSP Architectures using ANSI standard Interconnects FPDP, serial FPDP, raceway and Fibre Channel
par Tom Bohman, VSYSTEMS SA, France
15h00 Une technique de contrôle déterministe de fiabilité pour le transport d’images en direct
par Vincent Lecuire et Francis Lepage, Centre de Recherche en Automatique de Nancy et par Romain Hilbert, Institut supérieur de technologie - Luxembourg
15h30 Pause café
Exécutifs, Placement
15h45 Intégration d’un contrôle de charge par importance au sein du système RT-Linux
par Joëlle Delacroix, Christophe Ménival – Conservatoire National des Arts et Métiers
16h15 Calcul de placements pour un système temps réel distribué
par Sébastien Faucou, Anne-Marie Déplanche, Jean-Pierre Beauvais – Institut de Recherche en Cybernétique de Nantes
16h45 Embedded Java : The role of RTOS Architecture in Realtime Applications
Steve Furr – QNX Software Systems
 
 
CS2
: Mercredi 29 Mars 2000 (9h30-13h00)
Président de session: Eric Rutten, INRIA Rhones-Alpes
Modèles formels
09h30 Validation temporelle de systèmes de tâches périodiques à contraintes strictes communicantes et partageant des ressources critiques à l’aide de langages rationnels
par Dominique Geniet – LISI-ENSMA
10h00 Reasoning about parametrized automata
par Pierre Castéran, David Rouillard – Labri, Talence
10h30 Coupling Binary Decision Diagrams with Time Petri Net
par David Delfieu, Pierre Molinaro, Olivier H. Roux – IRCyN Nantes
11h00 Pause café
Vérifications et tests
11h15 Mises en œuvre de tests temporisés
par P. Laurençot, E. Mesnard, J. Toussaint – LIMOS, Laboratoire d’Informatique et de Modélisation des Systèmes
11h45 Analyse de spécifications STATEMATE et génération automatique de tests
par Emmanuel Fievet, Jean-Pierre Gallois – LETI (CEA – Technologies Avancées)
CS3
: Mercredi 29 Mars 2000 (14h00-17h15)
Président de session : Claude Kaiser - CNAM
Outils et méthodes de développement
14h00 De la modélisation à la réalisation : réduction du cycle de développement des applications temps réel distribuées
par Rémy Kocik, Yves Sorel – INRIA Rocquencourt
14h30 Programmation synchrone : une étude de cas
par Christophe Mauras, Martin Richard, René Thoraval – IRCyN Nantes
15h00 Real-time Object-Oriented Program Restructuring for Improved Schedulability
par Mohamed T. Kimour – Laboratoire de Méthodologies de Résolution de Problèmes, Université d’Annaba
15h30 Pause café
Ordonnancement
15h45 Cyclicité des ordonnancements de systèmes de tâches périodiques différées
par Emmanuel Grolleau, Annie Choquet-Geniet, LISI-ENSMA
16h15 Gestion des transactions temps réel à échéance non stricte
par Bruno Sadeg, Samia Saad-Bouzefrane, Laboratoire d’Informatique du Havre