Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Model-based adaptation for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
The Vision of Autonomic Computing
Computer
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Adaptive video transcoding and streaming over wireless channels
Journal of Systems and Software - Special issue: Adaptive multimedia computing
An agent based adaptive bandwidth allocation scheme for multimedia applications
Journal of Systems and Software - Special issue: Adaptive multimedia computing
Support for feedback and change in self-adaptive systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Resource-based approach to feature interaction in adaptive software
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Implementing Large-Scale Autonomic Server Monitoring Using Process Query Systems
ICAC '05 Proceedings of the Second International Conference on Automatic Computing
Dynamic Black-Box Performance Model Estimation for Self-Tuning Regulators
ICAC '05 Proceedings of the Second International Conference on Automatic Computing
Automated and Adaptive Threshold Setting: Enabling Technology for Autonomy and Self-Management
ICAC '05 Proceedings of the Second International Conference on Automatic Computing
From product lines to self-managed systems: an architecture-based runtime reconfiguration framework
DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software
Model-based self-monitoring embedded programs with temporal logic specifications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform
WICSA '05 Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Goal-oriented specification of adaptation requirements engineering in adaptive systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Towards specification, modelling and analysis of fault tolerance in self managed systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
A survey of autonomic communications
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Journal of Systems and Software
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
Mixed-Mode Adaptation in Distributed Systems: A Case Study
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Designing Run-Time Fault-Tolerance Using Dynamic Updates
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Process Evolution with Atomicity Consistency
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Autonomic Reactive Systems via Online Learning
ICAC '07 Proceedings of the Fourth International Conference on Autonomic Computing
Novel Mathematics-Inspired Algorithms for Self-Adaptive Peer-to-Peer Computing
SASO '07 Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
COCOA: COnversation-based service COmposition in pervAsive computing environments with QoS support
Journal of Systems and Software
Journal of Systems and Software
Behavioral adaptation of component compositions based on process algebra encodings
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
From goals to components: a combined approach to self-management
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
An approach to adapt service requests to actual service interfaces
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
An adaptive automatically tuning intrusion detection system
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
A new class of nature-inspired algorithms for self-adaptive peer-to-peer computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
A survey of autonomic computing—degrees, models, and applications
ACM Computing Surveys (CSUR)
Journal of Systems and Software
CARISMA: Context-Aware Reflective mIddleware System for Mobile Applications
IEEE Transactions on Software Engineering
Multi-Level Intrusion Detection System (ML-IDS)
ICAC '08 Proceedings of the 2008 International Conference on Autonomic Computing
Generating Adaptation Policies for Multi-tier Applications in Consolidated Server Environments
ICAC '08 Proceedings of the 2008 International Conference on Autonomic Computing
Model-Based Adaptation of Behavioral Mismatching Components
IEEE Transactions on Software Engineering
Model-based fault detection in context-aware adaptive applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
An architectural approach to the correct and automatic assembly of evolving component-based systems
Journal of Systems and Software
A self-stabilizing autonomic recoverer for eventual Byzantine software
Journal of Systems and Software
Resource Management in the Autonomic Service-Oriented Architecture
ICAC '06 Proceedings of the 2006 IEEE International Conference on Autonomic Computing
Discovering Likely Invariants of Distributed Transaction Systems for Autonomic System Management
ICAC '06 Proceedings of the 2006 IEEE International Conference on Autonomic Computing
A Specification and Construction Paradigm for Organic Computing Systems
SASO '08 Proceedings of the 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems
Towards Self-Managed Executable Petri Nets
SASO '08 Proceedings of the 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems
Dynamic QoS Adaptation for Mobile Middleware
IEEE Transactions on Software Engineering
Autonomic QoS control in enterprise Grid environments using online simulation
Journal of Systems and Software
Self-adaptive software: Landscape and research challenges
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Self-stabilizing robot formations over unreliable networks
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Using quantitative analysis to implement autonomic IT systems
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Taming Dynamically Adaptive Systems using models and aspects
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
A Case Study in Goal-Driven Architectural Adaptation
Software Engineering for Self-Adaptive Systems
Behavioural self-adaptation of services in ubiquitous computing environments
SEAMS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
A formal model for self-adaptive and self-healing organizations
SEAMS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
A Completely Evolvable Genotype-Phenotype Mapping for Evolutionary Robotics
SASO '09 Proceedings of the 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems
Autonomic computing control of composed web services
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Synthesizing adapters for conversational web-services from their WSDL interface
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Live goals for adaptive service compositions
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
FORMS: a formal reference model for self-adaptation
Proceedings of the 7th international conference on Autonomic computing
Integrating model verification and self-adaptation
Proceedings of the IEEE/ACM international conference on Automated software engineering
Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification
IEEE Transactions on Software Engineering
Extracting Overlay Invariants of Distributed Systems for Autonomic System Management
SASO '10 Proceedings of the 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems
Awareness requirements for adaptive systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A framework for evaluating quality-driven self-adaptive software systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A CSP-based framework for the specification, verification, and implementation of adaptive systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Dynamic QoS Management and Optimization in Service-Based Systems
IEEE Transactions on Software Engineering
Cooperative evolution of services in ubiquitous computing environments
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Taming uncertainty in self-adaptive software
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
An Autonomous Engine for Services Configuration and Deployment
IEEE Transactions on Software Engineering
Towards an integrated approach for validating qualities of self-adaptive systems
Proceedings of the 2012 Workshop on Dynamic Analysis
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
IEEE Transactions on Software Engineering
MOSES: A Framework for QoS Driven Runtime Adaptation of Service-Oriented Systems
IEEE Transactions on Software Engineering
Software requirements to support qos in collaborative m-learning activities
CRIWG'12 Proceedings of the 18th international conference on Collaboration and Technology
On self-adaptation in systems-of-systems
Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems
Hi-index | 0.00 |
One major challenge in self-adaptive systems is to assure the required quality properties. Formal methods provide the means to rigorously specify and reason about the behaviors of self-adaptive systems, both at design time and runtime. To the best of our knowledge, no systematic study has been performed on the use of formal methods in self-adaptive systems. As a result, there is no clear view on what methods have been used to verify self-adaptive systems, and what support these methods offer to software developers. As such insight is important for researchers and engineers, we performed a systematic literature review covering 12 main software engineering venues and 4 journals, resulting in 75 papers used for data collection. The study shows that the attention for self-adaptive software systems is gradually increasing, but the number of studies that employ formal methods remains low. The main focus of formalization is on modeling and reasoning. Model checking and theorem proving have gained limited attention. The main concerns of interest in formalization of self-adaptation are efficiency/performance and reliability. Important adaptation concerns, such as security and scalability, are hardly considered. To verify the concerns of interest, a set of new properties are defined, such as interference freedom, responsiveness, mismatch, and loss-tolerance. A relevant part of the studies use formal methods at runtime, but the use is limited to modeling and analysis. Formal methods can be applied to other runtime activities of self-adaptation, and there is a need for light-weight tools to support runtime verification.