Publications de l'équipe

Publications Novaltis et projets antérieurs (Reflecs, Score)

Année 2007

Gérard Le Lann, "Ingénierie système prouvable pour les systèmes temps réel critiques", papier invité, Ecole d'Eté Temps Réel, Nantes, septembre 2007, PDF File.

Année 2006

Gérard Le Lann, "Problèmes de communication et de coordination dans les systèmes spatiaux", papier invité, 12ème Colloque Francophone sur l’Ingénierie des Protocoles (CFIP), Tozeur, Tunisie, 30 octobre-3 novembre, actes publiés par Hermès, pp. 67-87, PDF File.

Jean-François Hermant, Gérard Le Lann, Ulrich Schmid, et al., "Analysis of Preliminary Middleware Solutions for ASSERT Phase 2 Selected Topics", EC FP6 Integrated Project ASSERT IST-004033, Deliverable D1.1-3b, 28 February, 103 pages.

Jean-François Hermant and Josef Widder, "Implementing Reliable Distributed Real-Time Systems with the Theta-Model", OPODIS 2005, 9th International Conference on Principles of Distributed Systems, Pisa, Italy, 12-14 December, Lecture Notes in Computer Science (Springer) vol. 3974, pp. 334-350, PDF File.

Année 2005

Plaque à Stanford University (USA) : G. Le Lann fut l'un des architectes du protocole TCP d'Internet. Travaux consignés dans la publication de 1978 (cf. plus loin). PDF File.

Jean-François Hermant, Gérard Le Lann, Ulrich Schmid, et al., "Specifications of Generic Computer-Based Building Blocks for Distribution & Dependability", EC FP6 Integrated Project ASSERT IST-004033, Deliverable D1.1-3a, 13 September, 88 pages.

Gérard Le Lann, "The Distributed Computing Scene Seen From La Seine", invited position paper, Panel for the 25th Anniversary of ICDCS, IEEE International Conference on Distributed Computing Systems, Columbus, Ohio, USA, 6-10 June, 3 pages, PDF File.

Christophe Guettier and Jean-François Hermant, "Static Mapping of Hard Real-Time Applications Onto Multi-Processor Architectures Using Constraint Logic Programming", CPPS 2005, Workshop on Constraint Programming for Planning and Scheduling, held in conjunction with the 15th AAAI International Conference on Automated Planning and Scheduling, Monterey, California, USA, 6-10 June, pp. 20-28.

Martin Biely, Gérard Le Lann, and Ulrich Schmid, "Proof-Based System Engineering Using a Virtual System Model", 2nd International Service Availability Symposium (ISAS 2005), Berlin, Germany, 25-26 April, Lecture Notes in Computer Science (Springer) vol. 3694, pp. 164-179, PDF File.

Josef Widder, Gérard Le Lann, and Ulrich Schmid, "Failure Detection with Booting in Partially Synchronous Systems", 5th European Dependable Computing Conference (EDCC-5), Budapest, Hungary, 20-22 April, Lecture Notes in Computer Science (Springer) vol. 3463, pp. 20-37, PDF File.

Christophe Honvault, Marc Le Roy, Pascal Gula, Jean-Charles Fabre, Gérard Le Lann, and Eric Bornschlegl, "Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems", 5th European Dependable Computing Conference (EDCC-5), Budapest, Hungary, 20-22 April, Lecture Notes in Computer Science (Springer) vol. 3463, pp. 140-153, PDF File.

Jean-François Hermant, Gérard Le Lann, Ulrich Schmid, et al., "Specifications of Computer-Based System Requirements (CBR) for System Families – Specifications <Z’(HRI)> and <Z’(MA3S)>", EC FP6 Integrated Project ASSERT IST-004033, Deliverable D1.1-1, 29 April, 89 pages.

Année 2004

Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, and Gérard Le Lann, "Designing Modular Services in the Scattered Byzantine Failure Model", 3rd International Symposium on Parallel and Distributed Computing (ISPDC/HeteroPar 2004), Cork, Ireland, 5-8 July, pp. 262-269, PDF File.

Jean-François Hermant and Josef Widder, "Implementing Time Free Designs for Distributed Real-Time Systems (A Case Study)", Technische Universität Wien, Institut für Technische Informatik, Research Report 23/2004, 14 May, 20 pages.

Gérard Le Lann, "Time-Utility Scheduling and Provably Correct Critical Computer-Based Systems", 12th IEEE Workshop on Parallel and Distributed Real-Time Systems, held in conjunction with the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), Santa Fe, New Mexico, USA, 26-28 April, 8 pages, PDF File.

Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin et Gérard Le Lann, rapport final de Contrat AGS (Architectures Génériques pour le Spatial), CNES, janvier, 94 pages.

Année 2003

Christophe Guettier, Gérard Le Lann, and Jean-François Hermant, "Ad Hoc Sensor Networks, Constraint Programming and Distributed Agreement", IEEE International Conference on Information Technology: Research and Education (ITRE 2003), Newark, New Jersey, USA, 10-13 August, pp. 291-295, PDF File.

Binoy Ravindran, Gérard Le Lann, Jinggang Wang, and Peng Li, "A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems", 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), Hakodate, Hokkaido, Japan, 14-16 May, pp. 105-112, PDF File.

Gérard Le Lann and Ulrich Schmid, "How to Implement a Timer-Free Perfect Failure Detector in Partially Synchronous Systems", Technical Report 183/1-127, Department of Automation, Technische Universität Wien, January, 12 pages, PDF File.

Gérard Le Lann, "Asynchrony and Real-Time Dependable Computing", 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), Guadalajara, Mexico, 15-17 January, pp. 18-25, PDF File.

Année 2002

Jean-François Hermant and Gérard Le Lann, "Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems", IEEE Transactions on Computers, Special Issue on Asynchronous Real-Time Distributed Systems, vol. 51, no. 8, August, pp. 931-944, PDF File.

Marcos Kawazoe Aguilera, Gérard Le Lann, and Sam Toueg, "On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems", 16th International Conference on Distributed Computing (DISC 2002), Toulouse, France, 28-30 October, Lecture Notes in Computer Science (Springer) vol. 2508, pp. 354-370, PDF File.

Binoy Ravindran, Gérard Le Lann, and Peng Li, "Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach", 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), Tokyo, Japan, 23-25 October, pp. 89-90, PDF File.

Année 2001

Jean-Clair Poncet, Christophe Guettier, Gérard Le Lann, and Eric Bornschlegl, "Constraint-based Layered Planning and Distributed Control for an Autonomous Spacecraft Formation Flying", Proceedings of the International European Space Agency Workshop on On-Board Autonomy, Noordwijk, The Netherlands, October 2001, 9 pages, PDF File.

Gérard Le Lann, "Is Asynchronous Real-Time an Oxymoron?", invited lecture, 15th International Conference on Distributed Computing (DISC 2001), Lisbon, Portugal, 3-5 October (slides only).

Jean-François Hermant et Gérard Le Lann, « Le consensus temps réel dans les grands systèmes informatiques distribués et les grands réseaux », Fourniture 2 du contrat CNET/France Télécom R&D 99 1B 405, janvier, 46 pages.

Année 2000

Jean-François Hermant et Gérard Le Lann, « Le consensus temps réel dans les grands systèmes informatiques distribués et les grands réseaux », Fourniture 1 du contrat CNET/France Télécom R&D 99 1B 405, février, 20 pages.

Année 1999

Jean-François Hermant, « Quelques problèmes et solutions en ordonnancement temps réel pour systèmes répartis », Thèse de doctorat, Université Paris-VI - Pierre-et-Marie-Curie, septembre, PDF File.

Christophe Guettier and Jean-François Hermant, "A Constraint-Based Model for High-Performance Real-Time Computing", 12th ISCA International Conference on Parallel and Distributed Computing Systems, (PDCS 99), Fort Lauderdale, Florida, USA, August, pp. 447-454, PDF File.

Gérard Le Lann, "Models, Proofs and the Engineering of Computer-Based Systems: A Reality Check", Best Paper Award (research category), 9th Annual Symposium of the InterNational Council On Systems Engineering, Brighton, United Kingdom, 6-10 June, vol. 1, pp. 495-502, PDF File.

Patrice Carrère, Jean-François Hermant, and Gérard Le Lann, "In Pursuit of Correct Paradigms for Object-Oriented Real-Time Distributed Systems", 2nd IEEE International Symposium on Objet-Oriented Real-Time Distributed Computing, (ISORC 99), Saint-Malo, France, 2-5 May, pp. 271-279, PDF File.

Gérard Le Lann, "The Failure of Satellite Launcher Ariane 4.5", contribution to the Safety-Critical Forum, January, HTML File.

Année 1998

Gérard Le Lann, "Proof-Based System Engineering and Embedded Systems", invited paper, European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, 25-29 November 1996, Lecture Notes in Computer Science (Springer, October 1998) vol. 1494, pp. 208-248, PDF File.

Gérard Le Lann, "Predictability in Critical Systems", 5th Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby, Denmark, 14-18 September, Lecture Notes in Computer Science (Springer) vol. 1486, pp. 315-338, PDF File.

Pascale 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.

Jean-François Hermant and Gérard Le Lann, "A protocol and Correctness Proofs for Real-Time High-Performance Broadcast Networks", 18th IEEE International Conference on Distributed Computing Systems (ICDCS 98), Amsterdam, The Netherlands, 26-29 May, pp. 360-369, PDF File.

Laurent George and Pascale Minet, "Admission control for video broadcast systems", 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 98), Kyoto, Japan, pp. 134-135.

Nicolas 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.

Laurent George, « Ordonnancement en ligne temps réel critique dans les systèmes distribués », Thèse de doctorat, Université de Versailles-Saint-Quentin, janvier.

Année 1997

Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier, Gérard Le Lann et Pascale Minet, « Etude comparative des solutions algorithmiques du problème ATR », rapport final, tranche ferme de contrat DGA-DSP/MENSR/CNRS, décembre.

Emmanuel Ledinot (Dassault Aviation) et Gérard Le Lann, « Evaluation d'une méthode de Génie Système pour l'Avionique Modulaire », Salon Conception Systèmes 1997, 19 novembre, 6 pages, PDF File.

Gérard Le Lann, "Proof-Based System Engineering for Computing Systems", ESA-INCOSE Conference on Systems Engineering, Noordwijk, The Netherlands, 11-13 November, 8 pages, PDF File.

Laurent George and Pascale Minet, "A FIFO Worst Case Analysis for a Hard Real-Time Distributed Problem with Consistency Constraints", 17th IEEE International Conference on Distributed Computing Systems (ICDCS 97), Baltimore, Maryland, USA, 27-30 May, pp. 441-448.

Gérard Le Lann, "An Analysis of the Ariane 5 Flight 501 Failure - A system Engineering Perspective", IEEE International Conference on the Engineering of Computer-Based Systems, Monterey, California, USA, 24-28 March, pp. 339-346, PDF File.

Jean-François Hermant, Emmanuel Ledinot (Dassault Aviation), Gérard Le Lann, Pascale Minet, Eric Nassor (Dassault Aviation) et Nicolas Rivierre, « Conception modulaire de systèmes temps réel distribués tolérant les fautes », rapport de synthèse finale, contrat DRET 94.34.395, février, diffusion restreinte.

Jean-François Hermant, Laurent Leboucher (CNET) et Nicolas Rivierre, « Ordonnancement temps réel statique et dynamique : théorie et expérience », note technique n° NT/DTL/ASR/5007, CNET/France Télécom, janvier.

Année 1996

Jean-François Hermant, Laurent Leboucher (CNET), and Nicolas Rivierre, "Real-time fixed and dynamic priority driven scheduling algorithms", INRIA Research Report 3081, December, PDF File.

Gérard Le Lann, "The Ariane 5 Flight 501 Failure - A Case Study in System Engineering for Computing Systems", INRIA Research Report 3079, December, PDF File.

Jean-François Hermant and Marco Spuri, "End-to-end response times in real-time distributed systems", 9th ISCA/IEEE International Conference on Parallel and Distributed Computing Systems (PDCS 96), Dijon, France, 25-27 September, pp. 413-417, PDF File.

Laurent George, Nicolas Rivierre, and Marco Spuri, "Preemptive and non-preemptive real-time uniprocessor scheduling", INRIA Research Report 2966, September, PDF File.

Marco Spuri, "Holistic analysis for deadline scheduled real-time distributed system", INRIA Research Report 2873, April, PDF File.

Gérard Le Lann, "A methodology for designing and dimensioning critical complex computing systems", IEEE International Symposium on the Engineering of Computer-Based Systems, pp. 332-339, Friedrichshafen, Allemagne, 11-15 March, pp. 332-339, PDF File.

Emmanuelle Anceaume, Laurent George, Jean-François Hermant, Gérard Le Lann, Pascale Minet et Nicolas Rivierre, « Algorithmique TR/TD/TF ORECA : spécifications des algorithmes et de l'oracle de faisabilité », Rapport du contrat DRET 94.34.395, janvier, diffusion restreinte.

Marco Spuri, "Analysis of deadline scheduled real-time systems", INRIA Research Report 2772, January, PDF File.

Année 1995

Emmanuelle Anceaume, Laurent George, Jean-François Hermant, Gérard Le Lann, Pascale Minet et Nicolas Rivierre, « Algorithmique TR/TD/TF ORECA : spécifications des algorithmes et des oracles de faisabilité », décembre, Lot 3 du contrat DRET 94.34.395, diffusion restreinte.

Philippe Jacquet, Pascale Minet, Paul Mühlethaler, and Nicolas Rivierre, "Priority and collision detection with active signaling. The channel access mechanism of HIPERLAN", INRIA Research Report 2674, October.

Jean-François Hermant, Gérard Le Lann, and Nicolas Rivierre, "A general approach to real-time message scheduling over distributed broadcast channels", INRIA/IEEE Symposium on Engineering Technologies and Factory Automation (ETFA 95), Paris, France, October, pp. 191-204.

Gérard Le Lann, "On Real-Time and Non Real-Time Distributed Computing", 9th International Workshop on Distributed Algorithms (WDAG 95), Mont Saint Michel, France, Lecture Notes in Computer Science (Springer) vol. 972, September, pp. 51-70, PDF File.

Emmanuelle Anceaume, Laurent George, Jean-François Hermant, Gérard Le Lann, Pascale Minet et Nicolas Rivierre, « Algorithmique TR/TD/TF ORECA : bornes temporelles et conditions de faisabilité », septembre, Lot 2 du contrat DRET 94.34.395, 70 p., diffusion restreinte.

Emmanuelle Anceaume, Bernadette Charron-Bost, Pascale Minet, and Sam Toueg, "On the formal specification of group membership services", INRIA Research Report 2695, November (also Research Report TR95-1534, Department of Computer Science, Cornell University, August 1995), PDF File.

Laurent George, Paul Mühlethaler, and Nicolas Rivierre, "Optimality and Non-Preemptive Real-Time Scheduling Revisited", INRIA Research Report 2516, April, PDF File.

Sélection de publications antérieures à 1995 par G. Le Lann

G. Le Lann, "On Real-Time Distributed Computing Distributed Systems", 9th World Computer Congress of the International Federation for Information Processing (IFIP 83), Paris, France, 19-23 September 1983, North-Holland, pp. 741-753.

G. Le Lann, "A Distributed System for Real-Time Transaction Processing", IEEE Computer, Vol. 14(2), February 1981, pp. 43-48. PDF File.

G. Le Lann, H. Le Goff, "Verification and Evaluation of Communication Protocols", Computer Networks, Vol. 2, 1978, pp. 50-69. PDF File.

G. Le Lann, "Distributed Systems: Towards a Formal Approach", Congrès triennal IFIP, Août 1977, pp. 155-160. PDF File.

G. Le Lann, H. Le Goff, "Advances in Performance Evaluation of Communication Protocols", International Conference on Computer Communications (ICCC 76), 1976, pp. 361-366.