2013 Volume 30 Issue 3 Pages 3_95-3_101
Quantitative estimation of fault occurrence is mandatory in the evaluation of IT risks. Behavior of open systems is subject to dynamically changing external environment, which sometimes results in runtime interference of their functional features. The estimation at the development stage may differ from the occurrence rates of the actual system. This paper proposes to apply the notion of statistical model-checking to a runtime checking of running programs. It further demonstrates the usefulness of the proposed approach by conducting experiments in the case of a simple Web application system.