DeepAI AI Chat
Log In Sign Up

A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems

by   Fatma Kachi, et al.

Maintaining an acceptable level of quality of service in modern complex systems is challenging, particularly in the presence of various forms of uncertainty caused by changing execution context, unpredicted events, etc. Although self-adaptability is a well-established approach for modelling such systems, and thus enabling them to achieve functional and/or quality of service objectives by autonomously modifying their behavior at runtime, guaranteeing a continuous satisfaction of quality objectives is still challenging and needs a rigorous definition and analysis of system behavioral properties. Formal methods constitute a promising and effective solution in this direction in order to rigorously specify mathematical models of a software system and to analyze its behavior. They are also largely adopted to analyze and provide guarantees on the required functional/non-functional properties of self-adaptive systems. Therefore, we introduce a formal model for quality-driven self-adaptive systems under uncertainty. We combine high-level Petri nets and plausible Petri nets in order to model complex data structures enabling system quality attributes quantification and to improve the decision-making process through selecting the most plausible plans with regard to the system's actual context.


Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems

[Context and motivation:] For realistic self-adaptive systems, multiple ...

Emotionally-Informed Decisions: Bringing Gut's Feelings into Self-adaptive and Co-adaptive Software Systems

Software systems now complement an incredibly vast number of human activ...

Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness

The trade-off between the quality and timeliness of adaptation is a mult...

Formal Methods for Characterization and Analysis of Quality Specifications in Component-based Systems

Component-based design paradigm is of paramount importance due to prolif...

A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems

The assurance of real-time properties is prone to context variability. P...

Adaptive Immunity for Software: Towards Autonomous Self-healing Systems

Testing and code reviews are known techniques to improve the quality and...

Improving the Decision-Making Process of Self-Adaptive Systems by Accounting for Tactic Volatility

When self-adaptive systems encounter changes within their surrounding en...