Dependability analysis and verification for CONNECTed systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Using observation ageing to improve markovian model learning in QoS engineering
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Model-based decision framework for autonomous application migration
ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
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
Reputation-based Reliability Prediction of Service Compositions
Electronic Notes in Theoretical Computer Science (ENTCS)
Statistical detection of QoS violations based on CUSUM control charts
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Automated extraction of architecture-level performance models of distributed component-based systems
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Large-scale complex IT systems
Communications of the ACM
Model-driven performance engineering of self-adaptive systems: a survey
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Self-adaptive software needs quantitative verification at runtime
Communications of the ACM
Towards an integrated approach for validating qualities of self-adaptive systems
Proceedings of the 2012 Workshop on Dynamic Analysis
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Formal modelling and verification of service-oriented systems in probabilistic event-b
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Stitch: A language for architecture-based self-adaptation
Journal of Systems and Software
Specification and quantitative analysis of probabilistic cloud deployment patterns
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
Service composition management using risk analysis and tracking
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
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
An incremental verification framework for component-based software systems
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Performance analysis of self-adaptive systems for requirements validation at design-time
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Apprehensive QoS monitoring of Service choreographies
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Guaranteeing robustness in a mobile learning application using formally verified MAPE loops
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
On the challenges of self-adaptation in systems of systems
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems
UsageQoS: Estimating the QoS of Web Services through Online User Communities
ACM Transactions on the Web (TWEB)
From software verification to `everyware' verification
Computer Science - Research and Development
On the relationships between QoS and software adaptability at the architectural level
Journal of Systems and Software
Efficient optimization of software performance models via parameter-space pruning
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
Adaptive model learning for continual verification of non-functional properties
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
A meta-controller method for improving run-time self-architecting in SOA systems
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
QoS-aware management of monotonic service orchestrations
Formal Methods in System Design
| Hi-index | 0.03 |
Service-based systems that are dynamically composed at runtime to provide complex, adaptive functionality are currently one of the main development paradigms in software engineering. However, the Quality of Service (QoS) delivered by these systems remains an important concern, and needs to be managed in an equally adaptive and predictable way. To address this need, we introduce a novel, tool-supported framework for the development of adaptive service-based systems called QoSMOS (QoS Management and Optimization of Service-based systems). QoSMOS can be used to develop service-based systems that achieve their QoS requirements through dynamically adapting to changes in the system state, environment, and workload. QoSMOS service-based systems translate high-level QoS requirements specified by their administrators into probabilistic temporal logic formulae, which are then formally and automatically analyzed to identify and enforce optimal system configurations. The QoSMOS self-adaptation mechanism can handle reliability and performance-related QoS requirements, and can be integrated into newly developed solutions or legacy systems. The effectiveness and scalability of the approach are validated using simulations and a set of experiments based on an implementation of an adaptive service-based system for remote medical assistance.