Distibuted Systems

Fabrice Kordon is a full-time professor at Université P. & M. Curie (UPMC). Serge Haddad is a full-time professor at école Normale Supérieure de Cachan, a member of the CNRS laboratory LSV, and a member of the INRIA team MExICo. Laurent Pautet is a full-time professor at Télécom ParisTech and a member of the CNRS laboratory LTCI. Laure Petrucci is a full-time professor at University Paris 13 in France and a member of the CNRS laboratory LIPN.

• Foreword 9Chapter 1. Introduction 13Serge HADDAD, Fabrice KORDON, Laurent PAUTET and Laure PETRUCCIFIRST PART. LARGE SCALE PEER-TO-PEER DISTRIBUTED SYSTEMS 19Chapter 2. Introduction to Large-Scale Peer-to-Peer Distributed Systems 21Fabrice KORDON2.1. “Large-Scale” distributed systems? 212.2. Consequences of “large-scale” 222.3. Some large-scale distributed systems 232.4. Architectures of large scale distributed systems 262.5. Objective of Part 1 302.6. Bibliography 31Chapter 3. Design Principles of Large-Scale Distributed System 33Xavier BONNAIRE and Pierre SENS3.1. Introduction to peer-to-peer systems 333.2. The peer-to-peer paradigms 343.3. Services on structured overlays 413.4. Building trust in P2Psystems 433.5. Conclusion 523.6. Bibliography 53Chapter 4. Peer-to-Peer Storage 59Olivier MARIN, Sébastien MONNET and Gaël THOMAS4.1. Introduction 594.2. BitTorrent 604.3. Gnutella 664.4. Conclusion 794.5. Bibliography 79Chapter 5. Large-Scale Peer-to-Peer Game Applications 81Sébastien MONNET and Gaël THOMAS5.1. Introduction 815.2. Large-scale game applications: model and specific requirements 835.3. Overview of peer-to-peer overlays for large-scale game applications 905.4. Overlays for FPS games 935.5. Overlays for online life-simulation games 955.6. Conclusion 1005.7. Bibliography 101SECOND PART. DISTRIBUTED, EMBEDDED AND REAL-TIME SYSTEMS 105Chapter 6. Introduction to Distributed Embedded and Real-time Systems 107Laurent PAUTET6.1. Distributed real-time embedded systems 1086.2. Safety critical systems as examples of DRE systems 1096.3. Design process of DRE systems 1126.4. Objectives of Part 2 1146.5. Bibliography 115Chapter 7. Scheduling in Distributed Real-Time Systems 117Emmanuel GROLLEAU, Michaël RICHARD, and Pascal RICHARD7.1. Introduction 1177.2. Generalities about real-time systems 1187.3. Temporal correctness 1227.4. WCRT of the tasks 1267.5. WCRT of the messages 1427.6. Case study 1497.7. Conclusion 1547.8. Bibliography 155Chapter 8. Software Engineering for Adaptative Embedded Systems 159Etienne BORDE8.1. Introduction 1598.2. Adaptation, an additional complexity factor 1608.3. Theoretical aspects of adaptation management 1638.4. Technical solutions for the design of adaptative embedded systems 1718.5. An example of adaptative system from the robotic domain 1768.6. Applying MDE techniques to the design of the robotic use-case 1778.7. Exploitation of the models 1848.8. Conclusion 1888.9. Bibliography 189Chapter 9. The Design of Aerospace Systems 191Maxime PERROTIN, Julien DELANGE, and Jérôme HUGUES9.1. Introduction 1919.2. Flight software typical architecture 1939.3. Traditional development methods and their limits 1959.4. Modeling a software system using TASTE: philosophy 1979.5. Common solutions 1999.6. What TASTE specifically proposes 2009.7. Modeling process and tools 2019.8. Technology 2089.9. Model transformations 2099.10. The TASTE run-time 2139.11. Illustrating our process by designing heterogeneous systems 2159.12. First user feedback and TASTE future 2249.13. Conclusion 2259.14. Bibliography 226THIRD PART. SECURITY IN DISTRIBUTED SYSTEMS 229Chapter 10. Introduction to Security Issues in Distributed Systems 231Laure PETRUCCI10.1. Problem 23110.2. Secure data exchange 23310.3. Security in specific distributed systems 23410.4. Outline of art III 23410.5. Bibliography 235Chapter 11. Practical Security in Distributed Systems 237Benoît BERTHOLON, Christophe CÉRIN, Camille COTI, and Sébastien VARRETTE, Jean-Christophe DUBACQ11.1. Introduction 23711.2. Confidentiality 24911.3. Authentication 25211.4. Availability and fault tolerance 26111.5. Ensuring resource security 27811.6. Result checking in distributed computations 28311.7. Conclusion 29111.8. Bibliography 292Chapter 12. Enforcing Security with Cryptography 301Sami HARARI and Laurent POINSOT12.1. Introduction 30112.2. Cryptography: from a general perspective 30312.3. Symmetric encryption schemes 30812.4. Prime numbers and public key cryptography 32412.5. Conclusion 32812.6. Bibliography 329Index 333