Open AccessVALIDATION OF A SURVIVABLE PUBLISH-SUBSCRIBE SYSTEM
Author(s) -
Sankalp Singh,
Adnan Agbaria,
Fabrice Stevens,
T. Courtney,
John F. Meyer,
William H. Sanders,
Partha Pal
Publication year - 2014
Publication title -
computing
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.184
H-Index - 11
eISSN - 2312-5381
pISSN - 1727-6209
DOI - 10.47839/ijc.4.2.340
Subject(s) - computer science , survivability , task (project management) , complement (music) , publication , variety (cybernetics) , argument (complex analysis) , distributed computing , software engineering , computer network , systems engineering , artificial intelligence , engineering , biochemistry , chemistry , complementation , advertising , business , gene , phenotype
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 accomplishment. These efforts can be largely independent and use a variety of validation techniques, and the results, which complement and supplement each other, are seamlessly integrated to provide a convincing assurance argument. We also demonstrate the use of model-based validation techniques, as a part of the overall validation procedure, to guide the system’s design by exploring different configurations and evaluating trade-offs.