Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems

Schmerl, Bradley; Andersson, Jesper; Vogel, Thomas; Cohen, Myra B.; Rubira, Cecília Mary Fischer; Brun, Yuriy; Gorla, Alessandra; Zambonelli, Franco; Baresi, Luciano

doi:10.1007/978-3-319-74183-3_3

Cited by 12 publications

(5 citation statements)

References 47 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Furthermore, systems that manage physical elements must handle uncertainties in the physical world that lead to adaptation. Self‐adaptation can be a feasible alternative for these systems, since it enables the system to integrate new components or to change their structure or behavior at runtime 26 . SaS has specific characteristics compared to other traditional software, since it enables structural, behavioral, or contextual changes at runtime.…”

Section: An Overview Of Self‐* Software and Soa‐based Systemsmentioning

confidence: 99%

Design of frameworks for self‐adaptive service‐oriented applications: A systematic analysis

et al. 2021

View full text Add to dashboard Cite

Self‐adaptive service‐oriented Applications (Self‐Apps) must be able to understand themselves or the environment in which they are executed, and propose solutions to meet changing conditions. The development of these applications is not a trivial task, since it encompasses issues from different research areas. Despite the importance of frameworks for Self‐Apps, there is a lack of comprehensive analysis of how the design of such applications is performed, and regarding the standardization of concepts and coverage of minimum requirements for Self‐Apps. The main contribution of this article is to present this comprehensive analysis, providing the state of the art for this subject. This analysis was built through a Systematic Mapping Study, based on a total of 65 studies, from which we identify the main attributes for Quality of Service (QoS), search strategies, and service management strategies employed in the design of frameworks for Self‐Apps. The main aspects of requirements involved in the design of Self‐Apps were pointed out to stakeholders. For example, these applications must implement a method for evaluation of QoS based on metrics. We also put forward the S‐Frame, a modular solution that brings together the main features for the design of Self‐Apps, and describe the main challenges concerning these applications.

show abstract

Section: An Overview Of Self‐* Software and Soa‐based Systemsmentioning

confidence: 99%

Design of frameworks for self‐adaptive service‐oriented applications: A systematic analysis

et al. 2021

View full text Add to dashboard Cite

show abstract

“…However, safety-critical applications pose challenges for CASs related to verification and validation, real-time guarantees, and to the satisfaction of "hard" constraints that are difficult to provably satisfy in highly variable and possibly unknown scenarios [59]. This remains an area requiring significant research.…”

Section: Public Safety and Securitymentioning

confidence: 99%

On the Social Implications of Collective Adaptive Systems

Bucchiarone

D'Angelo

Pianini

et al. 2020

IEEE Technol. Soc. Mag.

View full text Add to dashboard Cite

Many Collective Adaptive Systems (CASs) exist in nature: think of ant colonies, where large collectives of ants operate autonomously but interact with other ants and the environment to provide resilient global behaviours that sustain their colony. Following scientific studies that were aimed at understanding and predicting the evolution of these systems, and fueled by technological advances, research has started to investigate CAS engineering: the methods, tools, and techniques for building CASs. This naturally leads to a vision where collectives of humans and computational elements, situated both in the digital and physical worlds, collaborate to give rise to "intelligent" collective behaviour supporting novel kinds of applications and services. Humans can be involved in two ways: both as users and as components of the CAS, in the sense that human behaviours and limitations are often integral to the system description. This has significant social implications that need to be considered by CAS researchers: in this paper, we share a discussion that took place between some experts thinking about CAS engineering, focusing on the social implication of CASs and related open research challenges. We hope that this provides a useful context for future research projects, research grant proposals, and research directions.

show abstract

“…We can therefore use work on assurance case construction and composition as a guide to how to decompose and compose assurances for self-adaptive systems. For an extensive description of the ideas presented in this section, we refer the reader to [37].…”

Section: Composing and Decomposing Assurancesmentioning

confidence: 99%

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances

Lemos

Garlan

Ghezzi

et al. 2017

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis and synthesis of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for selfadaptive systems is challenging since run-time changes introduce a high degree of uncertainty. This paper on research challenges complements previous roadmap papers on software engineering for self-adaptive systems covering a different set of topics, which are related to assurances, namely, perpetual assurances, composition and decomposition of assurances, and assurances obtained from control theory. This research challenges paper is one of the many results of the Dagstuhl Seminar 13511 on Software Engineering for Self-Adaptive Systems: Assurances which took place in December 2013.

show abstract

Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems

Cited by 12 publications

References 47 publications

Design of frameworks for self‐adaptive service‐oriented applications: A systematic analysis

Design of frameworks for self‐adaptive service‐oriented applications: A systematic analysis

On the Social Implications of Collective Adaptive Systems

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances

Contact Info

Product

Resources

About