A formal framework for context-aware systems specification and verification

Djoudi, Brahim; Bouanaka, Chafia; Zeghib, Nadia

doi:10.1016/j.jss.2015.11.035

Cited by 16 publications

(12 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the scope of context-aware systems and applications, relevant challenges, such as context acquisition and characterization, have been faced by multiple frameworks over the last years [14]. In particular, local versus centralized processing and energy consumption are still major challenges [36], especially when dealing with mobile applications [5]; however, most context-aware frameworks proposed in the past (such as [37]- [41]) do not even provide a performance analysis of resource consumption.…”

Section: Context-aware Applications Resource Consumptionmentioning

confidence: 99%

“…Some of these techniques are focused on offloading resource-consuming tasks to cloud environments. In this scope, for instance, [36] and [37] the authors explore the integration of mobile sensing with a cloud-based system to store and obtain the sensed data. The gathered information is further reused in order to tailor the behavior of a mobile app.…”

Section: Context-aware Applications Resource Consumptionmentioning

confidence: 99%

See 1 more Smart Citation

Improving Resource Consumption in Context- Aware Mobile Applications Through Alternative Architectural Styles

et al. 2019

View full text Add to dashboard Cite

Over the last years, the Internet of Things has fostered a growing interest in context-aware mobile applications; this fact is mainly due to highly favoring information provision from multiple Internetconnected devices. To identify user context, these applications collect information from the user and his/her environment and typically filter app information, so that the user receives only the interesting and relevant information. However, such a task usually implies further resource consumption on user mobile devices, not only regarding battery usage but also in terms of network traffic. Accordingly, although context-aware applications can improve user experiences in their daily lives, they must ensure the maintenance of lowlevel resource consumption; otherwise, the applications are promptly replaced by less consuming ones, and therefore, removed from the mobile market. In this paper, we evaluate and discuss several architectural styles for context-aware mobile applications, as well as, providing a set of guidelines to decide on the right architecture for a particular app depending on its characteristics. The use of such guidelines when choosing the right architectural style can strongly influence the resource consumption of context-aware mobile applications. Following these guidelines, user satisfaction of a context-aware mobile application may be improved, thus guaranteeing the app success.

show abstract

Section: Context-aware Applications Resource Consumptionmentioning

confidence: 99%

Section: Context-aware Applications Resource Consumptionmentioning

confidence: 99%

Improving Resource Consumption in Context- Aware Mobile Applications Through Alternative Architectural Styles

et al. 2019

View full text Add to dashboard Cite

show abstract

“…After grouping and duplicates removal (3), 134 articles remained. The final selection of articles was performed after full text reading and evaluation (4). In this stage, we especially focused on the compliance with the approach characterized in Sect.…”

Section: A Literature Search Processmentioning

confidence: 99%

“…Reacting to changes in this context, mobile applications for remote environments, such as daily life objects from the Internet of Things (IoT) [1] or small devices connected to Wireless Sensor Networks [2] should dynamically adapt themselves to a new external configuration. Thanks to this, Context-Aware and Mobile (CAM) applications [3] that explore Pervasive Computing techniques [4] have been receiving special interest in the recent years.…”

Section: Introductionmentioning

confidence: 99%

Self-adaptive Systems Driven by Runtime Models

Thiry¹,

Schmidt²

2017

International Conferences on Software Engineering and Knowledge Engineering

View full text Add to dashboard Cite

Abstract-Model-Driven Software Engineering (MDSE) represents a promising research area with a variety of challenging issues open for discussion. Expanding the limits of the MDSE paradigm, runtime models keep abstract representations of the running system in order to trigger on-the-fly software reconfigurations. One of the most popular applications of runtime models are self-adaptive systems, since abstractions can be finetuned not only in the development phases, but also in runtime. As this kind of system needs to modify its behavior during execution, this can be achieved by means of high-level model interventions. The objective of this article is to present relevant approaches of self-adaptive systems driven by runtime models. This article can help practitioners to get an overall picture of current approaches, in terms of methods, techniques and tools. Researchers can also be inspired to create new or to extend current approaches, facing the challenges identified here. To that end, we conducted a rigorous Systematic Literature Review based on the guidelines proposed by Kitchenham. This paper provides answers for four research questions, based on 16 selected articles. In the conclusion, we present some considerations and challenges based on the results obtained from this review.

show abstract

“…The work of Djoudi et al (2016) addresses formal design and verification of context-aware systems. It proposes a formal model for these systems in order to facilitate their development and automate the context-aware adaptation decisions.…”

Section: Content Of the Special Issuementioning

confidence: 99%