Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Model Checking of Probabalistic and Nondeterministic Systems
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
It Usually Works: The Temporal Logic of Stochastic Systems
Proceedings of the 7th International Conference on Computer Aided Verification
Verifying Continuous Time Markov Chains
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Model checking for probability and time: from theory to practice
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
Defining and Monitoring Service-Level Agreements for Dynamic e-Business
LISA '02 Proceedings of the 16th USENIX conference on System administration
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Verification and planning for stochastic processes with asynchronous events
Verification and planning for stochastic processes with asynchronous events
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Performance analysis of probabilistic timed automata using digital clocks
Formal Methods in System Design
Performance Trees: A New Approach to Quantitative Performance Specification
MASCOTS '06 Proceedings of the 14th IEEE International Symposium on Modeling, Analysis, and Simulation
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
Software Engineering for Automotive Systems: A Roadmap
FOSE '07 2007 Future of Software Engineering
Probabilistic Model-Checking Support for FMEA
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
Rational quality requirements for medical software
Proceedings of the 30th international conference on Software engineering
Performance Model Estimation and Tracking Using Optimal Filters
IEEE Transactions on Software Engineering
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
A Timed Extension of Property Sequence Chart
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
Extending PSC for Monitoring the Timed Properties in Composite Services
APSEC '08 Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Patterns for Timed Property Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic timed behavior trees
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Statistical runtime checking of probabilistic properties
RV'07 Proceedings of the 7th international conference on Runtime verification
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
Error control for probabilistic model checking
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Probabilistic verification for “black-box” systems
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
On statistical model checking of stochastic systems
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Journal of Systems and Software
A classification and comparison of model checking software architecture techniques
Journal of Systems and Software
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
An effective sequential statistical test for probabilistic monitoring
Information and Software Technology
RV'10 Proceedings of the First international conference on Runtime verification
Statistical detection of QoS violations based on CUSUM control charts
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Runtime monitoring of stochastic cyber-physical systems with hybrid state
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.00 |
Monitoring allows for checking if a system fulfils its requirements at runtime. This is required for quality assurance purposes. Currently several approaches exist to monitor standard and timing properties. However, a current challenge is to provide a comprehensive approach for monitoring probabilistic properties, as they are used to formulate performance, reliability, safety, and availability requirements. The main problem of these probabilistic properties is that there is no binary acceptance condition. To overcome this problem, this paper describes a monitoring approach called ProMo that is based on acceptance sampling and sequential hypothesis testing. This approach is validated based on several experiments that have been performed on an example system which provides medical assistance in remote areas.