Runtime Testing of Context-Aware Variability in Adaptive Systems

2020 ◽  
pp. 106482
Author(s):  
Erick Barros dos Santos ◽  
Rossana M.C. Andrade ◽  
Ismayle de Sousa Santos
Keyword(s):  
Adaptive Systems ◽  
Context Aware ◽  
Runtime Testing

Proficiency-aware systems

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Jakob Karolus ◽  
Paweł W. Woźniak
Keyword(s):  
Intelligent Systems ◽  
Adaptive Systems ◽  
Physiological Data ◽  
Context Aware ◽  
Stepping Stone ◽  
Digital World ◽  
Proficiency Estimation ◽  
The Way

Abstract In an increasingly digital world, intelligent systems support us in accomplishing many everyday tasks. With the proliferation of affordable sensing devices, inferring user states from collected physiological data paves the way to tailor-made adaptation. While estimating a user’s abilities is technically possible, such proficiency assessments are rarely employed to benefit the user’s task reflection. In our work, we investigate how to model and design for proficiency estimation as part of context-aware systems. In this paper, we present the definition and conceptual architecture of proficiency-aware systems. The concept is not only applicable to current adaptive systems but provides a stepping stone for systems which actively aid in developing user proficiency during interaction.

An Algebraic Framework for the Verification of Context-Aware Adaptive Systems

2015 ◽  
Vol 25 (07) ◽  
pp. 1105-1128 ◽  
Author(s):  
Katerina Ksystra ◽  
Petros Stefaneas ◽  
Panayiotis Frangos
Keyword(s):  
Formal Specification ◽  
Adaptive Systems ◽  
Traffic Monitoring ◽  
Software Systems ◽  
Algebraic Specification ◽  
Context Aware ◽  
Safety Properties ◽  
Transition Systems ◽  
Wide Range ◽  
Algebraic Framework

Context-aware and self adaptive systems have become very popular during the last decade. As these technologies are increasingly used in the development of critical applications, their behavior should be extensively analyzed. While formal methods provide a wide range of techniques for reasoning about software systems, addressing formally the requirements of context-aware adaptive systems in a consistent way remains a challenge. To this end, in this paper we present an algebraic framework for their formal specification using Observational Transition Systems (OTSs) specified in the CafeOBJ algebraic specification language. This approach permits the verification of the design of such systems, and can be an effective approach to obtaining verified context-aware software. We apply the proposed framework to the modeling of a context-aware adaptive traffic monitoring system and use theorem proving techniques to prove safety properties for that system.

A Primer of Ubiquitous Computing Challenges and Trends

2010 ◽  
pp. 282-303 ◽  
Author(s):  
Cristiano André da Costa ◽  
Jorge Luis Victoria Barbosa ◽  
Luciano Cavalheiro da Silva ◽  
Adenauer Corrêa Yamin ◽  
Cláudio Fernando Resin Geyer
Keyword(s):  
Wireless Networks ◽  
Mobile Computing ◽  
Ubiquitous Computing ◽  
Future Development ◽  
Adaptive Systems ◽  
Programming Models ◽  
Portable Devices ◽  
Context Aware ◽  
The Creation ◽  
Location Systems

The growing availability of wireless networks and the proliferation of portable devices have made mobile computing a reality. Furthermore, the widespread use of location systems stimulates the creation of context-aware and adaptive systems. Ubiquitous computing integrates and extends these approaches through a new proposal where users’ applications are available in a suitable adapted form, wherever they go and however they move. In this scenario, issues related to development of software need to be tackled. This chapter reviews essential concepts of the ubiquitous computing area, its evolution, and challenges that must be managed. To deal with these issues, the authors describe the main requirements for the development of ubiquitous software. This analysis starts with the discussion of limitations in the use of traditional programming models, and then goes on to the proposition of techniques to address these limitations. The authors trust that this discussion can help the future development of ubiquitous applications.

Sign in / Sign up

Export Citation Format

Share Document