DocumentCode
596194
Title
Importance Sampling of Runtime Interference
Author
Nakajima, Shigeru
Author_Institution
Nat. Inst. of Inf., Tokyo, Japan
Volume
1
fYear
2012
fDate
4-7 Dec. 2012
Firstpage
693
Lastpage
696
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference (APSEC), 2012 19th Asia-Pacific
Conference_Location
Hong Kong
ISSN
1530-1362
Print_ISBN
978-1-4673-4930-7
Type
conf
DOI
10.1109/APSEC.2012.25
Filename
6462727
Link To Document