Towards an integrated approach for validating qualities of self-adaptive systems

Weyns, Danny

doi:10.1145/2338966.2336803

Cited by 24 publications

(19 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To bridge such a gap, Weyns [45] extends the work in [47] that defines formally founded design models for decentralized self-adaptive systems that cover structural aspects of self-adaptation. The reference model, called FORMS (FOrmal Reference Model for Self-adaptation), offers a vocabulary that consists of a small number of primitives and a set of relationships among them that delineates the rules of composition.…”

Section: Modeling Context-aware and Self-adaptive Systemsmentioning

confidence: 99%

“…The reference model, called FORMS (FOrmal Reference Model for Self-adaptation), offers a vocabulary that consists of a small number of primitives and a set of relationships among them that delineates the rules of composition. In [45], such a model has been integrated in an approach to validate behavioral properties of decentralized self-adaptive systems to guarantee the required qualities. This approach has also been successfully developed in [26], where the authors present a case study of a decentralized traffic monitoring system and use model checking to guarantee a number of self-adaptation properties for flexibility and robustness.…”

Section: Modeling Context-aware and Self-adaptive Systemsmentioning

confidence: 99%

“…Both in [37] and in [45], a decentralized approach to control is taken and adaptation is realized with a MAPE-K (Monitor-Analyse-Plan-Execute components over a shared Knowledge) feedback loop [28]. In particular, the work in [37] realizes the feedback loop described in [48]-and recalled in "Self-adaptive systems"-via MAPE-K.…”

Section: Modeling Context-aware and Self-adaptive Systemsmentioning

confidence: 99%

See 2 more Smart Citations

Run-time architectural modeling for future internet applications

Mongiello

Colucci

Vogli

et al. 2016

Complex Intell. Syst.

View full text Add to dashboard Cite

Interoperability, flexibility, and adaptability are key requirements of future internet applications. Convergence of contents, services, things, and networks can be the cornerstone to fulfill these requirements. Such rich and composite sources of data and processing capabilities call for a structured and formal approach that manages and capitalizes heterogeneous information. This paper proposes an approach to the run-time composition of software system architectures, aimed at addressing goals revealed at runtime. The approach is grounded on a graph model characterized by two control levels: a metamodeling and an instantiation level. At metamodeling level, the graph describes facts that may occur in a scenario of interest, processes triggered by facts, and technologies available to execute processes. The actual occurrence of facts, together with the deriving processes and technologies, is managed at instantiation level, with reference to an application-specific model. In particular, the paper proposes an algorithm that determines an optimal way to manage a change in the run-time environment, by finding a minimum cost path in the model. The usefulness of the proposed approach and its applicability to actual scenarios have been validated in an example smart home environment.

show abstract

Section: Modeling Context-aware and Self-adaptive Systemsmentioning

confidence: 99%

Section: Modeling Context-aware and Self-adaptive Systemsmentioning

confidence: 99%

Section: Modeling Context-aware and Self-adaptive Systemsmentioning

confidence: 99%

See 1 more Smart Citation

Run-time architectural modeling for future internet applications

Mongiello

Colucci

Vogli

et al. 2016

Complex Intell. Syst.

View full text Add to dashboard Cite

show abstract

“…Yet, work products of formalization were not exploited over different phases of the software life cycle. D. Weyns [2] proposed a paper, in which they have argued for an integrated formally founded approach to validate the required software qualities of self-adaptive systems. That approach integrated three activities: (1) model checking of the behavior of a self-adaptive system during design, (2) model-based testing of the concrete implementation during development, and (3) runtime diagnosis after system deployment.…”

Section: Related Researchmentioning

confidence: 99%

“…This is adapted to achieve particular quality objectives. The main underlying idea behind self-adaptation is complexity management through separation of concerns [2].…”

Section: Introductionmentioning

confidence: 99%

An Efficient Component Based Software Architecture Model Using Hybrid PSO – CS Algorithm

Bolisetty¹,

Yalla²

2016

IJIES

View full text Add to dashboard Cite

Abstract:The Software architecture is generated by using the interfaces and structural components of the software systems in an organization. Software architecture, along with the structure and behavior, also concerned with functionality, performance, reuse, economic and technological constraints etc. In software its components are related to one another in large variety of ways. The main intension of our research is to build the component based software architecture with adaptive configurations using Particle Swarm Optimization and clustering techniques. Building architecture is an inspiring progression. In this paper, we will propose Hybrid Particle Swarm Optimization (PSO) -Cuckoo Search (CS) algorithm for developing an adaptive software architecture based on the Process control model. Initially, the components are selected based on testcases generated. After that, adaptive architecture will be built by using PSO -CS on the basis of clustering results. The architecture is built along with its functional requirements, responsibility and evaluation. The functional requirements are given as graphs of functional responsibilities where modifiability, efficiency and traceability are considered as the quality attributes. The proposed method produced solution with increased quality and better metric values.

show abstract

Testing of adaptive and context‐aware systems: approaches and challenges

Siqueira

Ferrari

Souza

et al. 2021

Software Testing Verif & Rel

View full text Add to dashboard Cite

Adaptive systems (ASs) and context-aware systems (CASs) are able to evaluate their own behaviour and to adapt it when the system fails to accomplish its goals or when better functionality or performance is possible. Ensuring the reliability of ASs and CASs is demanding because failures might have undesirable consequences. Testing ASs and CASs effectively is not trivial because of the inherent characteristics of these systems. The literature lacks a comprehensive review that provides a broad picture of the area; current reviews are outdated and incomplete. The objectives of this study are characterizing the state of the art in AS and CAS testing and discussing approaches, challenges, observed trends, and research limitations and directions. We performed a systematic literature review (SLR) and a thematic analysis of studies, reporting up-to-date, refined and extended results when compared with existing reviews. Based on 102 selected studies, we (i) characterized testing approaches by grouping techniques for ASs and CASs; (ii) updated and refined a characterization of testing challenges for ASs and CASs; and (iii) analysed and discussed research trends and implications for AS and CAS testing. There are recurring research concerns regarding AS and CAS testing. Examples are the generation of test cases and built-in tests. Moreover, we also identified recurring testing challenges such as context monitoring and runtime decisions. Moreover, there are some trends such as model-based testing and hybrid techniques and some little investigated issues like uncertainty and prediction of changes. All in all, our results may provide guidance for developers and researchers with respect to the practice and the future research on AS and CAS testing.

show abstract

Towards an integrated approach for validating qualities of self-adaptive systems

Cited by 24 publications

References 26 publications

Run-time architectural modeling for future internet applications

Run-time architectural modeling for future internet applications

An Efficient Component Based Software Architecture Model Using Hybrid PSO – CS Algorithm

Testing of adaptive and context‐aware systems: approaches and challenges

Contact Info

Product

Resources

About