General

Authors

Search


Committee login



 
 

 


 

 

Forthcoming

Small thumbnail

Intelligence in Energy

Small thumbnail

Energy Autonomy of Real-Time Systems

Energy Management in Embedded Systems Set

Small thumbnail

Crystallization and Crystallizers

Industrial Equipment for Chemical Engineering Set

Small thumbnail

Advanced Graph Theory and Combinatorics

Small thumbnail

Power Systems-on-Chip

Practical Aspects of Design

Small thumbnail

Iron Cycle in Oceans

Focus Series in Earth System – Environmental Sciences

Small thumbnail

Liquid–Solid Separators

Industrial Equipment for Chemical Engineering Set

Small thumbnail

Stochastic Dynamics of Structures

Mathematical and Mechanical Engineering Set - Volume 2

Small thumbnail

Simulation of Transport in Nanodevices

Small thumbnail

Statistics for Bioinformatics

Statistics for Bioinformatics Set

Small thumbnail

Models and Analysis in Distributed Systems

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: 9781848213142

Publication Date: June 2011   Hardback   368 pp.

147.00 USD


Add to cart

eBooks


Ebook Ebook

Description

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.

Contents

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.

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.

Downloads

DownloadTable of Contents - PDF File - 33 Kb

Related Titles



































0.04426 s.