Title :
Importance Sampling of Runtime Interference
Author :
Nakajima, Shigeru
Author_Institution :
Nat. Inst. of Inf., Tokyo, Japan
Abstract :
Behavior of open systems is subject to dynamically changing external environment. Runtime monitoring and checking methods are employed to detect interference of functional features in these open systems. Such checking usually has a large impact on the runtime performance. The overhead of checking is unavoidable for fatal anomalies. For less severe anomalies, the performance penalty is not acceptable if the occurrence rate is very small. This paper proposes a new method of estimating the occurrence rate of rare events at runtime with the importance sampling. It is the first report of applying the method to running systems, instead of using discrete simulation models or design models.
Keywords :
formal verification; importance sampling; program diagnostics; checking method; functional feature; importance sampling; interference detection; runtime interference; runtime monitoring; Estimation; Model checking; Monitoring; Monte Carlo methods; Probabilistic logic; Runtime; Stochastic processes; Monte Carlo Method; Open Systems; Runtime Monitoring; Web Applications;
Conference_Titel :
Software Engineering Conference (APSEC), 2012 19th Asia-Pacific
Conference_Location :
Hong Kong
Print_ISBN :
978-1-4673-4930-7
DOI :
10.1109/APSEC.2012.25