• 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