RTS'2000 
Real -Time Systems
 

 

APPEL AUX COMMUNICATIONS


HUITIÈME CONFÉRENCE INTERNATIONALE

28-30 Mars 2000, Paris, France (Paris-expo, porte de Versailles)

Eighth International Conference on Real-Time Systems

 

Patronnée par le GDR ARP Pôle réseaux et systèmes (CNRS) et par l'École ETR'99

Couplée avec le salon des solutions informatiques temps réel et systèmes embarqués RTS'2000

 

 

Soumission des Communications Echéances Importantes Comité de Programme Format du papier final

Le comité scientifique vous invite à soumettre des communications originales sur des thèmes et travaux non publiés concernant le temps réel et les applications embarquées. Sont particulièrement visés les applications, les systèmes expérimentaux ou commerciaux, les problèmes nouveaux comportant des contraintes de temps réel, les solutions émergentes, les architectures parallèles ou réparties, les bases théoriques et les méthodologies de construction et de validation prenant en compte ces contraintes.

 

La cible scientifique générale de la conférence n'en est pas moins le TEMPS RÉEL et les systèmes embarqués. Seront donc examinées toutes les propositions portant sur le temps réel dans :

 

- architectures matérielle, réseaux, choix des composants

- architectures logicielles, bus logiciels, formalisation objets

- spécification, modèles, preuves de propriétés, validation

- méthodes de conception et langages

- génie logiciel et méthodes formelles

- méthodologies et environnements, de développement, de simulation et de test

- ordonnancement, placement de tâches, ressources, messages

- évaluation de performances, "benchmarking"

- plates-formes supports, middleware, exécutifs

- systèmes de commande et conduite, instrumentation, supervision

- traitement du signal et de l'image, le multimédia, l'animation distante, réalité virtuelle

- sûreté de fonctionnement temporel.

 

Toutefois la conférence souhaite que l'accent soit porté sur les champs d'application que l'actualité rend pertinents, c'est à dire :

- la gestion du temps réel dans les plates-formes ("middleware") et l'incidence des contraintes temporelles fortes dans les applications devant gérer de la tolérance aux fautes (cas des moniteurs transactionnels, des SGBD avec des données réparties ou répliquées, de la gestion de coopération de groupe, par exemple),

- les applications dans les transports, les systèmes mobiles,

- la qualité de service et le temps réel dans les réseaux de télécommunication et les applications coopératives.

 

ÉCHÉANCES IMPORTANTES

 

Soumission des textes (échéance stricte) : 30 décembre 1999

Notification aux auteurs : 28 janvier 2000

Textes définitifs prêts à imprimer : 25 février 2000

 

SOUMISSION DES COMMUNICATIONS

 

Envoyer le texte complet (6 000 mots, environ 12 pages de largeur 15 cm, imprimées format A4, simple interligne, références incluses). Le texte peut être envoyé sous une forme provisoire, la présentation définitive ne sera demandée que pour les textes définitifs prêts à imprimer.

 

Indiquer le titre de la communication et le nom des différents auteurs, en identifiant un auteur chargé du contact avec les organisateurs. Fournir l'adresse postale, le numéro de téléphone, le numéro de télécopie et l'adresse électronique (courriel) de cet auteur.

Joindre un résumé de 10 lignes maximum, et un ensemble de mots clés.

Indiquer si une présentation semblable à celle proposée à RTS'2000 est soumise ailleurs (cela ne doit pas empêcher la soumission ; seule la double présentation n'est pas accepée).

Les propositions seront examinées chacune par plusieurs réviseurs selon une grille d'évaluation standard et la sélection sera faite selon les critères scientifiques habituels.

Chaque communication sélectionnée sera présentée pendant 30 minutes. Le texte complet sera publié dans les Actes RTS'2000. La liste des réviseurs y sera publiée.

Les présentations écrites et orales peuvent être faites en français ou en anglais qui sont les deux langues officielles de la conférence.

Les textes doivent être envoyés à :

Professeur Francis COTTET

Ecole Nationale Supérieure de Mécanique et d'Aérotechnique (ENSMA)

Laboratoire d'Informatique Scientifique et Industrielle (LISI)

Téléport 2, B.P. 109

86960 Futuroscope, France

Tel: (33/0)5-49-49-80-52 Fax:(33/0)5-49-49-80-64 e-mail : cottet@ensma.fr

 

Envoi des textes par courrier électronique au format PostScript ou pdf en fichier attaché à l'adresse rts2000@ensma.fr

ou 5 copies papier à l'adresse ci-dessus.

 

 

COMITÉ DE PROGRAMME DE LA CONFÉRENCE RTS'2000

Président :

Francis COTTET (LISI, ENSMA, Poitiers)

Membres:

Jean-Raymond ABRIAL

Richard CASTANET (LABRI, Université de Bordeaux)

Joëlle DELACROIX (CEDRIC, CNAM Paris)

Juan Antonio DE LA PUENTE (DIST, Université de Madrid, Espagne)

Michel DIAZ (LAAS, CNRS, Toulouse)

Jean-Pierre ELLOY (IRCYN, ECN, Nantes)

Hassan GOMAA (Université George Mason, USA)

Guy JUANOLE (LAAS, Université Paul Sabatier, Toulouse)

Claude KAISER (CEDRIC, CNAM Paris)

Gérard LE LANN (INRIA Rocquencourt)

Francis LEPAGE (CRAN, UHP Nancy)

Zoubir MAMMERI (IRIT, Université Paul Sabatier Toulouse)

Elie NAJM (ENST, Paris)

Eric RUTTEN (INRIA-Rhones-Alpes, Grenoble)

Françoise SIMONOT (LORIA-ENSEM, Nancy)

Jean-Pierre THOMESSE (LORIA- ENSEM, Nancy)

Yvon TRINQUET (IRCYN ECN, Nantes)

 

Les membres du comité de programme sont invités à susciter des communications et peuvent être contactés par les auteurs potentiels. Par principe, les membres du comité de programme ne peuvent pas proposer de communication dont ils seraient le seul auteur. Ils ne participent pas à la délibération du comité concernant une communication dont ils sont un des coauteurs

 

E-MAILmailto:rts2000@ensma.fr

 

MISE EN FORME DES DOCUMENTS

 

Les documents fournis seront prêts à clicher respecteront les recommandations suivantes :

· sortie imprimée laser en corps 12, ou en 10 caractères par inch

· police type Times,

· mise en page : laisser les blancs suivants :

 

 

- page 1  titres de 2 lignes :

en tête

12 cm

- page 1 titres de 4 lignes :

 

15 cm

 

Pied de page

3 cm

 

côtés

3 cm

- pages suivantes

en tête

4 cm

 

Pied de page

3 cm

 

Côtés

3 cm

 

 

· le titre, l'auteur (nom et prénom) et les autres mentions jugées indispensables (labo, sociétés, adresses etc.) seront imprimés sur une feuille distincte de la communication,

· le titre du colloque, ainsi que le Ó copyright éditeur seront indiqués dans le pied de page de la première page à 2cm du bas,

· effectuer la sortie des documents sur imprimante laser,

· imprimer en recto seulement,

· ne pas imprimer la pagination de chaque page (la pagination de l'ensemble devant être reprise), à la place :

· fournir des originaux (pas de photocopies, les photocopies à reproduire seront fournies sur des tirages papier noir et blanc),

· ne pas agrafer les pages de chaque communication.

 

Il est également rappelé aux auteurs que l'envoi de leur texte suppose leur accord pour la libre reproduction/édition dans les Actes officiels RTS'2000 des documents remis. Les textes complets seront envoyés avant le 15 février prochain par courrier à l'adresse suviante :

 

FAITS & CHIFFRES

CONFERENCES RTS2000

4, rue de Beffroy

92200 NEUILLY SUR SEINE