VIRUS TESTS TO MAXIMIZE AVAILABILITY OF SOFTWARE SYSTEMS

Citation
E. Gelenbe et M. Hernandez, VIRUS TESTS TO MAXIMIZE AVAILABILITY OF SOFTWARE SYSTEMS, Theoretical computer science, 125(1), 1994, pp. 131-147
Citations number
17
Categorie Soggetti
Computer Sciences",Mathematics,"Computer Science Theory & Methods
ISSN journal
03043975
Volume
125
Issue
1
Year of publication
1994
Pages
131 - 147
Database
ISI
SICI code
0304-3975(1994)125:1<131:VTTMAO>2.0.ZU;2-G
Abstract
Software systems in which many user's or programmers intervene may eas ily contain software items - such as viruses - which will endanger the integrity of the system. This paper proposes that in addition to the conventional recovery techniques, such as dumps and roll-back recovery , system availability be enhanced by the introduction of virus tests o r other types of ''failure tests''. We present a model to analyze the effect of the failure rate, the frequency of virus and failure testing , and the frequency of periodic dumps, on global system availability. We assume that the ''failure'' rate of the system increases as time el apses beyond any individual instant at which a virus test or failure t est has been carried out. Thus, we are dealing with a system in which failures will be naturally time-dependent. We compute the optimum valu e of the interval between dumps, and also the best time interval betwe en virus or failure tests for this system. In order to illustrate the methodology of this work, numerical examples are presented for various time-dependent failure statistics.