Projet Reflecs

Précédent : Diffusion des résultats Remonter : Projet REFLECS, Génie système et

Communications à des manifestations scientifiques

1

L. GEORGE, P. MINET,
« A FIFO Worst Case Analysis for a Hard Real-Time Distributed Problem with Consistency Constraints »,
in: Proceedings of ICDCS'97 ,
Baltimore, Maryland (USA), 27-30 mai 1997.

2

G. LE LANN,
« An Analysis of the Ariane 5 Flight 501 Failure - A System Engineering Perspective »,
in: Conference IEEE ECBS ,
Monterey, CA (USA), 24-28 mars 1997.

3

G. LE LANN,
« La défaillance du vol 501 d'Ariane 5 »,
in: Symposium RENPAR'9, Conférence invitée ,
Lausanne (CH), 21-23 mai 1997.

4

G. LE LANN,
« L'industrie européenne et l'émergence du génie système prouvable en informatique »,
in: Colloque AAAF ,
Paris, 5-6 mars 1997.

5

G. LE LANN,
« Proof-Based System Engineering for Computing Systems »,
in: Conference ESA-INCOSE "Systems Engineering" ,
Noordwijk (NL), 11-13 novembre 1997.

Rapports de recherche

6

J.-F. HERMANT, L. LEBOUCHER (CNET), N. RIVIERRE,
« Ordonnancement temps réel statique et dynamique : théorie et expérience »,
note technique NoNT/DTL/ASR/5007, CNET, France Télécom, janvier 1997,
(paru aussi comme rapport de recherche Inria No3081),
http://www.inria.fr/RRRT/RR-3081.html .

Divers

7

P. CARRÉRE, J.-F. HERMANT,
« Analyse et conditions de faisabilité pour le protocole en arbre EDF déterministe », décembre 1997,
Colloque sur l'Ordonnancement Temps Réel.

8

B. CHARRON-BOST (LIX), C. DELPORTE (LIAFA), H. FAUCONNIER (LIAFA), G. LE LANN, P. MINET,
«  Spécification du problème ATR », juin 1997,
rapport du contrat DGA-DSP/MENSR/CNRS.

9

B. CHARRON-BOST (LIX), C. DELPORTE (LIAFA), H. FAUCONNIER (LIAFA), G. LE LANN, P. MINET,
« Etude comparative des solutions algorithmiques du problème ATR », décembre 1997,
rapport final de la tranche ferme du contrat DGA-DSP/MENSR/CNRS.

10

B. CHARRON-BOST (LIX), C. DELPORTE (LIAFA), H. FAUCONNIER (LIAFA), G. LE LANN, P. MINET,
« Solutions algorithmiques du problème ATR et preuves », décembre 1997,
rapport du contrat DGA-DSP/MENSR/CNRS.

11

E. FLEURY,
« Etude des conditions de faisabilité du problème HRTDM avec le protocole CSMA-DCR », juillet 1997,
rapport de DEA, LRI, Université d'Orsay.

12

J.-F. HERMANT, E. LEDINOT (DASSAULT AVIATION), G. LE LANN, P. MINET, E. NASSOR (DASSAULT AVIATION), N. RIVIERRE,
« Conception modulaire de systèmes temps réel distribués tolérant les fautes », février 1997,
rapport de synthèse finale (Dassault-Aviation, INRIA), contrat DRET 94.34.395.

13

J.-F. HERMANT,
« Ordonnancement temps réel centralisé à priorités fixes et à échéances », décembre 1997,
Colloque sur l'Ordonnancement Temps Réel.

14

S. KAMOUN, F. VERGNES,
« Oracle de faisabilité pour systèmes répartis temps réel », juin 1997,
mémoire d'ingénieur IIE.

15

S. KAMOUN,
« Scénarios pires cas et conditions de faisabilité pour un algorithme d'ordonnancement distribué temps réel », juin 1997,
rapport de DEA Systèmes Répartis et Réseaux, Université d'Evry.

16

G. LE LANN,
« Un problème générique de communication temps réel sur réseaux locaux à diffusion et une solution », décembre 1997,
Colloque sur l'Ordonnancement Temps Réel.

17

E. LEDINOT (DASSAULT AVIATION), G. LE LANN,
« Evaluation d'une méthode de Génie Système pour l'Avionique Modulaire », 19 novembre 1997,
Salon Conception Systèmes 1997.

Précédent : Diffusion des résultats Remonter : Projet REFLECS, Génie système et