Synthesizing Monitors for Safety Properties
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Verifying Continuous Time Markov Chains
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Java-MaC: A Run-Time Assurance Approach for Java Programs
Formal Methods in System Design
An Overview of the Runtime Verification Tool Java PathExplorer
Formal Methods in System Design
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
Defining and Monitoring Service-Level Agreements for Dynamic e-Business
LISA '02 Proceedings of the 16th USENIX conference on System administration
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
Relational queries over program traces
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Statistical probabilistic model checking with a focus on time-bounded properties
Information and Computation
The monitorability of service-level agreements for application-service provision
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Mop: an efficient and generic runtime verification framework
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Extending PSC for Monitoring the Timed Properties in Composite Services
APSEC '08 Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference
Monitoring probabilistic properties
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Reducing the Cost of Path Property Monitoring Through Sampling
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Journal of Systems and Software
Statistical runtime checking of probabilistic properties
RV'07 Proceedings of the 7th international conference on Runtime verification
Monitoring of real-time properties
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
A model-oriented framework for runtime monitoring of nonfunctional properties
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Java-MOP: a monitoring oriented programming environment for java
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Error control for probabilistic model checking
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Statistical detection of QoS violations based on CUSUM control charts
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Runtime verification with state estimation
RV'11 Proceedings of the Second international conference on Runtime verification
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Hi-index | 0.01 |
Context: A monitor checks if a system behaves according to a specified property at runtime. This is required for quality assurance purposes. Currently several approaches exist to monitor standard and real-time properties. However, a current challenge is to provide a comprehensive approach for monitoring probabilistic properties, as they are used to formulate quality of service requirements like performance, reliability, safety, and availability. The main problem of these probabilistic properties is that there is no binary acceptance condition. Objective: To overcome this problem, this article presents an improved and generic statistical decision procedure based on acceptance sampling and sequential hypothesis testing. Method: The developed decision procedure is validated using several experiments that determine the operating characteristic, runtime overhead as well as the expected sample sizes. Results and conclusion: The experimental validation provides evidence that the developed testing procedure reduces the runtime overhead and improves the accuracy of classification. Thus, the statistical decision procedure is superior to the existing statistical tests currently used in probabilistic monitoring.