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