Projet : REFLECS

Précédent : Participation à des colloques, séminaires, Remonter : Génie système et informatique distribuée

Références

Ouvrages et articles de référence de l'équipe

[1]

E. ANCEAUME, B. CHARRON-BOST, P. MINET, S. TOUEG,
« On the formal specification of group membership services »,
rapport de recherche n^o 2695, INRIA, novembre 1995,
également research report TR95-1534, Dept. of Computer Science, Cornell University, août 1995.

[2]

E. ANCEAUME, L. GEORGE, J.-F. HERMANT, G. LE LANN, P. MINET, N. RIVIERRE,
« Algorithmique TR/TD/TF ORECA : spécifications des algorithmes et de l'oracle de faisabilité »,
Rapport du contrat DRET 94.34.395,
janvier 1996, Diffusion restreinte.

[3]

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 »,
rapport de synthèse finale (Dassault Aviation, INRIA), contrat DRET 94.34.395,
février 1997, Diffusion restreinte.

[4]

J.-F. HERMANT, L. LEBOUCHET (CNET), N. RIVIERRE,
« Real-time fixed and dynamic priority driven scheduling algorithms »,
rapport de recherche n^o 3081, INRIA, décembre 1996.

[5]

G. LE LANN, P. ROLIN,
« Procédé et dispositif pour la transmission de messages entre différentes stations à travers un réseau local à diffusion »,
Brevet INPI 84 16957,
novembre 1984.

[6]

G. LE LANN,
« On Real-Time and Non Real-Time Distributed Computing »,
in: Lecture Notes in Computer Science 972, papier invité, 9th Intl. Workshop on Distributed Algorithms, J.M. Hélary, M. Raynal (réd.), Springer-Verlag Pub., p. 51-70,
septembre 1995.

[7]

G. LE LANN,
« An Analysis of the Ariane 5 Flight 501 Failure - A system Engineering Perspective »,
in: IEEE Intl. Conference on the Engineering of Computer-Based Systems, p. 339-346,
mars 1997.

Thèses et habilitations à diriger des recherches

[8]

L. GEORGE,
Ordonnancement en ligne temps réel critique dans les systèmes distribués,
thèse de doctorat, Université de Versailles-Saint-Quentin, janvier 1998.

[9]

P. MINET,
Temps réel, tolérance aux fautes et cohérence dans les systèmes distribués,
habilitation à diriger des recherches, Université de Versailles-Saint-Quentin, septembre 1998.

[10]

N. RIVIERRE,
Ordonnancement temps réel centralisé, les cas préemptifs et non préemptifs,
thèse de doctorat, Université de Versailles-Saint-Quentin, février 1998.

Communications à des congrès, colloques, etc.

[11]

L. GEORGE, P. MINET,
« An admission control for video broadcast systems »,
in: Proc. of the 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC'98, p. 134-135,
Kyoto, Japan, avril 1998.

[12]

L. GEORGE, P. MINET,
« A uniform reliable multicast protocol with guaranteed response times »,
in: Proc. of ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, LCTES'98, p. 60-77,
Montreal, Canada, juin 1998.

[13]

J.-F. HERMANT, G. LE LANN,
« A protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks »,
in: Proc. of IEEE International Conference on Distributed Computing Systems, p. 360-369,
Amsterdam, The Netherlands, mai 1998.

[14]

S. KAMOUN, P. MINET, F. VERGNES,
« Garantie des contraintes temps réel dans un système transactionnel réparti »,
in: Proc. Real-Time Systems, RTS'98, p. 81-100,
Paris, janvier 1998.

[15]

G. LE LANN,
« Predictability in Critical Systems »,
in: Lecture Notes in Computer Science 1486, A. Ravn, H. Rischel (éditeurs), papier invité, actes du 5ème Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer-Verlag Pub., p. 315-338,
septembre 1998.

[16]

G. LE LANN,
« Proof-Based System Engineering and Embedded Systems »,
in: Lecture Notes in Computer Science 1494, G. Rozenberg, F. Vaandrager (éditeurs), papier invité, actes de European School on Embedded Systems, Springer-Verlag Pub., p. 208-248,
octobre 1998.

Divers

[17]

P. CARRÈRE, J.-F. HERMANT, G. LE LANN,
« In Pursuit of Correct Paradigms for Object-Oriented Real-Time Distributed Systems »,
soumis à publication.

[18]

J.-F. HERMANT,
« Analyse d'algorithmes d'ordonnancement temps réel pour systèmes répartis »,
Université Pierre et Marie Curie, Thèse de doctorat,
soutenue début 1999.

[19]

G. LE LANN,
« Models, Proofs and the Engineering of Computer-Based Systems : A Reality Check »,
soumis à publication.

Bibliographie générale

AD94

R. ALUR, D. DILL,
« A theory of timed automata »,
Theoretical Computer Science, 126, 1994, p. 183-235.

BHG87

P. BERSTEIN, V. HADZILACOS, N. GOODMAN,
Concurrency Control and Recovery in Database Systems,
Addison-Wesley Pub., 1987,
370 p., ISBN 0-201-10715-5.

Lad98

P. LADKIN,
« The Ariane 5 Accident : A Programming Problem ?. »,
Article RVS-J-98-02, Université de Bielefeld, (Allemagne),
mars 1998, http://www.rws.uni-bielefeld.de.

Leb98

L. LEBOUCHER,
« Algorithmique et modélisation pour la Qualité-de-Service des systèmes répartis temps réel »,
Thèse de doctorat,
septembre 1998, Ecole Nationale Supérieure des Télécommunications, Paris.

Lyn96

N. LYNCH,
Distributed Algorithms,
Morgan Kaufmann Pub., 1996,
872p, ISBN 1-55860-348-4.

RIS

The RISKS Forum,
http://catless.ncl.ac.uk/Risks.

SCS

« Safety Critical Systems Mailing List »,
ftp.cs.york.uk,
directory hise_reports/sc.list.

SSRB98

J. A. STANKOVIC, M. SPURI, K. RAMAMRITHAM, G. C. BUTTAZZO,
Deadline scheduling for real-time systems - EDF and related algorithms,
Kluwer Academic, 1998,
250 p., ISBN 0-7923-8269-2.