Model-based fault detection in context-aware adaptive applications

Sama, Michele; Rosenblum, David S.; Wang, Zhimin; Elbaum, Sebastian

doi:10.1145/1453101.1453136

Cited by 58 publications

(68 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In fact, models can support estimation of system's status, so that the impact of a context change can be predicted. Provided that such predictions are reliable, it should be possible to perform model-based adaptation analysis as a verification activity [51]. A key issue in this approach is to keep the run-time models synchronized with the changing system.…”

Section: Adaptation-specific Model-driven Environmentsmentioning

confidence: 99%

Software Engineering for Self-Adaptive Systems: A Research Roadmap

Cheng¹,

Lemos²,

Giese³

et al. 2009

Lecture Notes in Computer Science

797

535

View full text Add to dashboard Cite

Abstract. The goal of this roadmap paper is to summarize the state-ofthe-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. The paper is partitioned into four parts, one for each of the identified essential views of self-adaptation: modelling dimensions, requirements, engineering, and assurances. For each view, we present the state-of-the-art and the challenges that our community must address. This roadmap paper is a result of the Dagstuhl Seminar 08031 on "Software Engineering for Self-Adaptive Systems, " which took place in January 2008.

show abstract

Section: Adaptation-specific Model-driven Environmentsmentioning

confidence: 99%

Software Engineering for Self-Adaptive Systems: A Research Roadmap

Cheng¹,

Lemos²,

Giese³

et al. 2009

Lecture Notes in Computer Science

797

535

View full text Add to dashboard Cite

show abstract

“…These properties are an extension of the ones presented by Sama et al [20], which includes a more detailed explanation, but applied to CA-STS instead of reactive systems. The communication between client and server is supposed to be a finite flow of requests/responses in which context information are used to improve the provided service.…”

Section: Validation Patternsmentioning

confidence: 81%

A Model to Design and Verify Context-Aware Adaptive Service Composition

Cubo

Sama

Raimondi

et al. 2009

2009 IEEE International Conference on Services Computing

Self Cite

View full text Add to dashboard Cite

Copyright and moral rights to this thesis/research project are retained by the author and/or other copyright owners. The work is supplied on the understanding that any use for commercial gain is strictly forbidden. A copy may be downloaded for personal, non-commercial, research or study without prior permission and without charge. Any use of the thesis/research project for private study or research must be properly acknowledged with reference to the work's full bibliographic details.This thesis/research project may not be reproduced in any format or medium, or extensive quotations taken from it, or its content changed in any way, without first obtaining permission in writing from the copyright holder(s).If you believe that any material held in the repository infringes copyright law, please contact the Repository Team at Middlesex University via the following email address:eprints@mdx.ac.ukThe item will be removed from the repository while any claim is being investigated.

show abstract

“…In this sense, context becomes a much richer and more powerful concept, particularly for mobile users by making sensor network services more personalized, and more useful. Therefore, context-awareness refers to the capability of an application being aware of its physical environment or situation, and responding proactively and intelligently based on such awareness [26].…”

Section: A Contextual Informationmentioning

confidence: 99%