Queueing networks and Markov chains: modeling and performance evaluation with computer science applications
Theory of software reliability based on components
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Performance solutions: a practical guide to creating responsive, scalable software
Performance solutions: a practical guide to creating responsive, scalable software
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
The dawning of the autonomic computing era
IBM Systems Journal
PRISM 2.0: A Tool for Probabilistic Model Checking
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Model-Based performance prediction with the palladio component model
WOSP '07 Proceedings of the 6th international workshop on Software and performance
The JMT Simulator for Performance Evaluation of Non-Product-Form Queueing Networks
ANSS '07 Proceedings of the 40th Annual Simulation Symposium
Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
Model checking service compositions under resource constraints
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Early prediction of software component reliability
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
Markov Chains and Stochastic Stability
Markov Chains and Stochastic Stability
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
PRISM: a tool for automatic verification of probabilistic systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Embedding continuous lifelong verification in service life cycles
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Predicting Performance Properties for Open Systems with KAMI
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
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
Towards accurate probabilistic models using state refinement
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
QoS-aware service-oriented middleware for pervasive environments
Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
Exploiting non-functional preferences in architectural adaptation for self-managed systems
Proceedings of the 2010 ACM Symposium on Applied Computing
My model checker died!: how well did it do?
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
Improving impact of self-adaptation and self-management research through evaluation methodology
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Towards pro-active adaptation with confidence: augmenting service monitoring with online testing
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
RESISTing reliability degradation through proactive reconfiguration
Proceedings of the IEEE/ACM international conference on Automated software engineering
Change-point detection for black-box services
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
The disappearing boundary between development-time and run-time
Proceedings of the FSE/SDP workshop on Future of software engineering research
Dynamically adaptive systems through automated model evolution using service compositions
SC'10 Proceedings of the 9th international conference on Software composition
Performance aware reconfiguration of software systems
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Dynamic resource reallocation between deployment components
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Validating timed models of deployment components with parametric concurrency
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Using observation ageing to improve markovian model learning in QoS engineering
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Identifying, modifying, creating, and removing monitor rules for service oriented computing
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
Model repair for probabilistic systems
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
FlashMob: distributed adaptive self-assembly
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A framework for the integration of MOF-compliant analysis methods
Proceedings of the Second Asia-Pacific Symposium on Internetware
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
When the requirements for adaptation and high integrity meet
Proceedings of the 8th workshop on Assurances for self-adaptive systems
QoS verification and model tuning @ runtime
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
ProbPoly: a probabilistic inductive logic programming framework with application in model checking
Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering
Software engineering techniques for the development of systems of systems
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Dynamic reconfiguration in self-adaptive systems considering non-functional properties
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Architecture-driven reliability optimization with uncertain model parameters
Journal of Systems and Software
Self-adaptive software needs quantitative verification at runtime
Communications of the ACM
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
A formal model of user-defined resources in resource-restricted deployment scenarios
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Compositional reverification of probabilistic safety properties for large-scale complex IT systems
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Modeling resource-aware virtualized applications for the cloud in real-time ABS
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Combining model checking and testing with an application to reliability prediction and distribution
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Managing non-functional uncertainty via model-driven adaptivity
Proceedings of the 2013 International Conference on Software Engineering
Learning revised models for planning in adaptive systems
Proceedings of the 2013 International Conference on Software Engineering
Towards run-time testing of dynamic adaptive systems
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
An Analysis of Language-Level Support for Self-Adaptive Software
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
A journey through SMScom: self-managing situational computing
Computer Science - Research and Development
Adaptation space exploration for service-oriented applications
Science of Computer Programming
Adaptive model learning for continual verification of non-functional properties
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
Constructing performance model of JMS middleware platform
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
| Hi-index | 0.02 |
Models can help software engineers to reason about design-time decisions before implementing a system. This paper focuses on models that deal with non-functional properties, such as reliability and performance. To build such models, one must rely on numerical estimates of various parameters provided by domain experts or extracted by other similar systems. Unfortunately, estimates are seldom correct. In addition, in dynamic environments, the value of parameters may change over time. We discuss an approach that addresses these issues by keeping models alive at run time and feeding a Bayesian estimator with data collected from the running system, which produces updated parameters. The updated model provides an increasingly better representation of the system. By analyzing the updated model at run time, it is possible to detect or predict if a desired property is, or will be, violated by the running implementation. Requirement violations may trigger automatic reconfigurations or recovery actions aimed at guaranteeing the desired goals. We illustrate a working framework supporting our methodology and apply it to an example in which a Web service orchestrated composition is modeled through a Discrete Time Markov Chain. Numerical simulations show the effectiveness of the approach.