SACRE: A tool for dealing with uncertainty in contextual requirements at runtime

Abstract

Abstract-Self-adaptive systems are capable of dealing with uncertainty at runtime handling complex issues as resource variability, changing user needs, and system intrusions or faults. If the requirements depend on context, runtime uncertainty will affect the execution of these contextual requirements. This work presents SACRE, a proof-of-concept implementation of an existing approach, ACon, developed by researchers of the Univ. of Victoria (Canada) in collaboration with the UPC (Spain). ACon uses a feedback loop to detect contextual requirements affected by uncertainty and data mining techniques to determine the best operationalization of contexts on top of sensed data. The implementation is placed in the domain of smart vehicles and the contextual requirements provide functionality for drowsy drivers.

SACRE: Supporting contextual requirements’ adaptation in modern self-adaptive systems in the presence of uncertainty at runtime

“…Although this running example plays an important role in this paper, the main focus is not on the functionality of the smart vehicle, but on demonstrating the validity of SACRE in modern SASs through the implementation of all feedback loop elements, providing the details about the system's construction, as well as the adaptation response time and accuracy results obtained from this evaluation. A preliminary version of the implementation that is provided in this work has been presented as a demo tool in the IEEE RE'15 conference (Zavala et al, 2015) as a proof-of-concept of the ACon approach in the smart vehicles domain.…”

HAFLoop: An architecture for supporting Highly Adaptive Feedback Loops in self-adaptive systems

“…Therefore, systems' owners can focus on domain or application-specific issues, i.e., the development of MAPE-K elements' functional logics. Second, the operation of the components has been optimized based on previous experiences [17,32], utilizing popular software engineering techniques such as multithreading and asynchronous communications. Third, as mentioned above, components and subcomponents can be replaced by other implementations and/or extended for fulfilling specific SASs' requirements.…”

“…In previous works, we have also proposed a three-layer approach. The former proposal, ACon [31], and its extension, SACRE [17,32], describe an approach for adjusting SASs' adaptation rules, the so called contextual requirements, through learning techniques (see Table 1).…”

Adaptive monitoring for autonomous vehicles using the HAFLoop architecture

“…Weka offers a variety of classification and clustering algorithms. In this work, we have selected a couple of these algorithms based on previous experiences (Zavala et al 2015;Zavala, Franch, and Marco 2019;Zavala et al 2020), particularly based on the promising results obtained in a series of experiments performed in the smart vehicles domain, in simulation environments.…”