Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues.
The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement.
This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master’s and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area.
1. Introduction, Serge Haddad, Fabrice Kordon, Laurent Pautet and Laure Petrucci.
Part 1. Formal Models for Distributed Systems
2. Introduction to Formal Models, Laure Petrucci.
3. Specification and Design Approaches, Christine Choppy and Laure Petrucci.
4. Modeling Time, Béatrice Bérard.
5. Architecture Description Languages, Pascal Poizat and Thomas Vergnaud.
Part 2. Verification Techniques for Distributed Systems
6. Introduction to Verification, Serge Haddad.
7. Verification of Finite-State Systems, Jean-François Pradat-Peyre and Yann Thierry-Mieg.
8. Verification of Infinite-State Systems, Stéphane Demri and Denis Poitrenaud.
9. Verification of Timed Systems, Pierre-Alain Reynier.
10. Distributed Control, Claude Dutheillet, Isabelle Mounier and Nathalie Sznajder.
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.
Table of Contents
PDF File 33 Kb