Sciweavers

Share
RV
2007
Springer

Statistical Runtime Checking of Probabilistic Properties

9 years 6 months ago
Statistical Runtime Checking of Probabilistic Properties
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of deadline misses. Since probabilistic systems may behave differently from their probabilistic models depending on their current environments, checking the systems at runtime can provide another level of assurance for their probabilistic correctness. Runtime verification is a technique for checking correctness of a system at runtime by observing a system execution and checking it against its property specification. To check probabilistic properties, runtime verification can adopt a statistical technique used in model checking to check probabilistic properties. The statistical technique simulates, samples many execution paths, and estimates probabilities by counting successful samples against all samples. One particular difficulty in using this technique in runtime verification, however, is that runtime ver...
Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regeh
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where RV
Authors Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr
Comments (0)
books