General

Authors

Search


Committee login



 
 

 


 

 

Forthcoming

Small thumbnail

Aerospace Actuators 1

Needs, Reliability and Hydraulic Power Solutions

Small thumbnail

Health Industrialization

Health Industrialization Set

Small thumbnail

Degradation Processes in Reliability

Mathematical Models and Methods in Reliability Set – Volume 3

Small thumbnail

Big Data and Ethics

The Medical Datasphere

Small thumbnail

Ionic and Electrochemical Equilibria

Chemical Thermodynamics Set – Volume 6

Small thumbnail

Wireless Public Safety Networks 2

A Systematic Approach

Small thumbnail

Milling Simulation

Metal Milling Mechanics, Dynamics and Clamping Principles

Small thumbnail

Applied RVE Reconstruction and Homogenization of Heterogeneous Materials

Small thumbnail

Handbook of Food Science and Technology 3

Food Biochemistry and Technology

Small thumbnail

Energy and Environment

Research for Innovative Transports Set - Volume 1

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