Committee login






Small thumbnail

Mathematics for Modeling and Scientific Computing

Small thumbnail

From Prognostics and Health Systems Management to Predictive Maintenance 1

Monitoring and Prognostics

Small thumbnail

Reliability in Biomechanics

Reliability of Multiphysical Systems Set - Volume 3

Small thumbnail

Production and Maintenance Optimization Problems

Logistic Constraints and Leasing Warranty Services

Small thumbnail

Digital Electronics 3

Finite-state Machines

Small thumbnail

Transformation of Collective Intelligences

Perspective of Transhumanism

Small thumbnail

Simulation of Transport in Nanodevices

Small thumbnail

Heat Transfer in the Chemical, Food and Pharmaceutical Industries

Industrial Equipment for Chemical Engineering Set

Small thumbnail

Simulation of Stochastic Processes with Given Accuracy and Reliability

Small thumbnail

Energy Autonomy of Real-Time Systems

Energy Management in Embedded Systems Set

Small thumbnail

Distributed Systems

Design and Algorithms

Edited by Serge Haddad, ENS de Cachan, France Fabrice Kordon, UPMC, Paris, France Laurent Pautet, Telecom ParisTech, France Laure Petrucci, University Paris 13, France

ISBN: 9781848212503

Publication Date: June 2011   Hardback   336 pp.

147.00 USD

Add to cart


Ebook Ebook


In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems.
Distributed Systems introduces the underlying concepts, the associated design techniques and the related security issues.
Distributed Systems: Design and Algorithms, is dedicated to engineers, students, and anyone familiar with algorithms and programming, who want to know more about distributed systems.
These systems are characterized by: several components with one or more threads, possibly running on different processors; asynchronous communications with possible additional assumptions (reliability, order preserving, etc.); local views for every component and no shared data between components. This title presents distributed systems from a point of view dedicated to their design and their main principles: the main algorithms are described and placed in their application context, i.e. consistency management and the way they are used in distributed file-systems.


1. Introduction, Serge Haddad, Fabrice Kordon, Laurent Pautet and Laure Petrucci.
Part 1. Large Scale Peer-to-Peer Distributed Systems
2. Introduction to Large-Scale Peer-to-Peer Distributed Systems, Fabrice Kordon.
3. Design Principles of Large-Scale Distributed System, Xavier Bonnaire and Pierre Sens.
4. Peer-to-Peer Storage, Olivier Marin, Sebastien Monnet and Gaël Thomas.
5. Large-Scale Peer-to-Peer Game Applications, Sébastien Monnet and Gaël Thomas.
Part 2. Distributed, Embedded and Real-Time Systems
6. Introduction to Distributed Embedded and Real-Time Systems, Laurent Pautet.
7. Scheduling in Distributed Real-Time Systems, Emmanuel Grolleau, Michaël Richard and Pascal Richard.
8. Software Engineering for Adaptative Embedded Systems, Etienne Borde.
9. The Design of Aerospace Systems, Maxime Perrotin, Julien Delange and Jérôme Hugues.
Part 3. Security in Distributed Systems
10. Introduction to Security Issues in Distributed Systems, Laure Petrucci.
11. Practical Security in Distributed Systems, Benoit Bertholon, Christophe Cerin, Camille Coti, Jean-Christophe Dubacq and Sébastien Varrette.
12. Enforcing Security with Cryptography, Sami Harari and Laurent Poinsot.

About the Authors

Serge Haddad is a full professor at Ecole Normale Supérieure de Cachan, France. His research is mainly focused on the verification of complex systems including multiple features like non-determinism, concurrency, distribution, time and probability.
Fabrice Kordon is a full professor at UPMC, Paris, France. He is the head of the MoVe (Modeling and Verification) team at the CNRS Laboratoire d'Informatique de Paris 6. His research mainly concerns the modeling of complex distributed systems to enable both formal analysis and automatic program generation.
Laurent Pautet is a full professor at Télécom ParisTech, France. His research is mainly concerned with the design and validation of distributed real-time embedded systems.
Laure Petrucci is a full professor at University Paris 13, France. She is head of the Networking and Telecommunication department at the Technology Institute. Her research is mainly focused on harnessing the complexity of systems verification, using modular approaches.


DownloadTable of Contents - PDF File - 54 Kb

Related Titles

0.05713 s.