Committee login






Small thumbnail

Plasma Etching Processes for CMOS Device Realization

Small thumbnail

Fluid Mechanics

Analytical Methods

Small thumbnail

Robust Control Optimization with Metaheuristics

Small thumbnail

Fourier Analysis

Small thumbnail

Compressible Flow Propulsion and Digital Approaches in Fluid Mechanics

Mathematical and Mechanical Engineering Set – Volume 4

Small thumbnail

Mechanical Vibrations

Applications to Equipment

Small thumbnail

Quantum Communications in New Telecommunications Systems

Small thumbnail

Modeling and Simulation of Logistics Flows 1

Theory and Fundamentals

Small thumbnail

Modeling and Simulation of Logistics Flows 2

Dashboards, Traffic Planning and Management

Small thumbnail

Modeling and Simulation of Logistics Flows 3

Discrete and Continuous Flows in 2D/3D

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.04859 s.