Articles liés à Simplifying Runtime Verification of Distributed Programs:...

Simplifying Runtime Verification of Distributed Programs: Ameliorating the State Space Explosion Problem - Couverture souple

Al Maghayreh, Eslam

 
9783639283716: Simplifying Runtime Verification of Distributed Programs: Ameliorating the State Space Explosion Problem
Couverture souple
ISBN 10 : 3639283716 ISBN 13 : 9783639283716
Editeur : VDM Verlag Dr. Müller, 2010

Synopsis

Distributed programs are particularly hard to write and to reason about their correctness. The idea of checking an expected property in a given distributed program run (i.e. runtime verification) has recently been attracting a great deal of attention for analyzing distributed programs. Runtime verification verifies the implementation of the system directly rather than verifying a model of it as is done in model checking. It is also based on formal logics and provides formalism, which is lacked in testing. Due to concurrency, the number of global states of a distributed program run tends to grow exponentially with respect to the number of program statements executed. As a result, checking the satisfaction of a property in a given distributed program run can incur significant overhead. In this book, we investigate various ideas to reduce the cost of runtime verification. These include the use of atoms, exploiting the notion of serialization and finally proposing a methodology that exploits the concept of atoms and partial order semantics to specify and to check properties of distributed programs.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Distributed programs are particularly hard to write and to reason about their correctness. The idea of checking an expected property in a given distributed program run (i.e. runtime verification) has recently been attracting a great deal of attention for analyzing distributed programs. Runtime verification verifies the implementation of the system directly rather than verifying a model of it as is done in model checking. It is also based on formal logics and provides formalism, which is lacked in testing. Due to concurrency, the number of global states of a distributed program run tends to grow exponentially with respect to the number of program statements executed. As a result, checking the satisfaction of a property in a given distributed program run can incur significant overhead. In this book, we investigate various ideas to reduce the cost of runtime verification. These include the use of atoms, exploiting the notion of serialization and finally proposing a methodology that exploits the concept of atoms and partial order semantics to specify and to check properties of distributed programs.

Biographie de l'auteur

Eslam Al Maghayreh is an Assistant Professor in the Department of Computer Science at Yarmouk University (Jordan). His main research interest is in runtime verification of distributed programs.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
VDM Verlag Dr. Müller
Date d'édition
2010
Langue
anglais
ISBN 10 
3639283716
ISBN 13 
9783639283716
Reliure
Broché
Nombre de pages
112
Coordonnées du fabricant
non disponible
Personne responsable
non disponible