General

Authors

Search


Committee login



 
 

 


 

 

Forthcoming

Small thumbnail

Wireless Public Safety Networks 2

A Systematic Approach

Small thumbnail

Nanometer-scale Defect Detection Using Polarized Light

Reliability of Multiphysical Systems Set – Volume 2

Small thumbnail

Insight on Environmental Genomics

The High-throughput Sequencing Revolution

Small thumbnail

Mobile and Wireless Networks

Advanced Network Set – Volume 2

Small thumbnail

Dynemicin A, Uncialamycin and Analogues

Isolation, Biological Activities and Syntheses

Small thumbnail

The Wave Concept in Electromagnetism and Circuits

Theory and Applications

Small thumbnail

Nucleation and Growth of Metals

From Thin Films to Nanoparticles

Small thumbnail

Ultra Low Power Electronics and Adiabatic Solutions

Small thumbnail

Chipless RFID based on RF Encoding Particle

Realization, Coding, Reading System

Small thumbnail

Electrical Energy Storage in Transportation Systems

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