Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{791378,
author = {Moravcová Vařeková, Pavlína and Černá, Ivana},
address = {Germany},
booktitle = {Lecture Notes in Computer Science 5282},
keywords = {parametrised systems; formal verification; Client-Server systems; component-based system analysis},
language = {eng},
location = {Germany},
isbn = {978-3-540-87890-2},
pages = {146-162},
publisher = {Springer Verlag},
title = {Model Checking of Control-User Component-Based Parametrised Systems},
year = {2008}
}
TY - JOUR
ID - 791378
AU - Moravcová Vařeková, Pavlína - Černá, Ivana
PY - 2008
TI - Model Checking of Control-User Component-Based Parametrised Systems
PB - Springer Verlag
CY - Germany
SN - 9783540878902
KW - parametrised systems
KW - formal verification
KW - Client-Server systems
KW - component-based system analysis
N2 - Many real component-based systems, so called Control-User systems, are composed of a stable part (control component) and a number of dynamic components of the same type (user components). Models of these systems are parametrised by the number of user components and thus potentially infinite. Model checking techniques can be used to verify only specific instances of the systems. This paper presents an algorithmic technique for verification of safety interaction properties of Control-User systems. The core of our verification method is a computation of a cutoff. If the system is proved to be correct for every number of user components lower than the cutoff then it is correct for any number of users. We present an on-the-fly model checking algorithm which integrates computation of a cutoff with the verification itself. Symmetry reduction can be applied during the verification to tackle the state explosion of the model. Applying the algorithm we verify models of several previously published component-based systems.
ER -
MORAVCOVÁ VAŘEKOVÁ, Pavlína a Ivana ČERNÁ. Model Checking of Control-User Component-Based Parametrised Systems. In \textit{Lecture Notes in Computer Science 5282}. Germany: Springer Verlag. s.~146-162. ISBN~978-3-540-87890-2. 2008.
|
