Validation of a Survivable
Publish-Subscribe System
S. Singh, A. Agbaria, F. Stevens, T. Courtney,
J. F. Meyer, W. H.
Sanders, and P. Pal
Abstract
We describe, with respect to high-level
survivability requirements, the validation of a survivable
publish-subscribe system that is under development. We use a top-down
approach that methodically breaks the task of validation into
manageable tasks, and for each task, applies techniques best suited to
its accom-plishment. These efforts can be largely independent and use a
variety of validation techniques, and the re-sults, which complement
and supplement each other, are seamlessly integrated to provide a
convincing as-surance argument. We also demonstrate the use of
model-based validation techniques, as a part of the over-all validation
procedure, to guide the system’s design by exploring different
configurations and evaluating trade-offs.
Compressed PDF File: ISJC-2005.pdf.zip