Name: SACRE tool

Description: Nowadays, software systems are able to automatically adapt their behaviour and structure in order to respond to changes in the environment and their own operation. This kind of systems are known as Self-Adaptive Systems (SASs). SASs are constantly affected by runtime factors such as unpredictable resource unavailability, changing environmental conditions and user needs, as well as system intrusions or faults. Moreover, today’s systems are increasingly more complex, distributed, decentralized, etc. and therefore have to reason about and cope with more and more uncertain events. The SACRE tool aims at demonstrating how these challenging situations can be tackled through the dynamic adaptation of SASs' adaptation logic. As part of the results of the SACRE tool, a series of use cases in the extremely demanding domains of smart vehicles and IoT applicaions have been evaluated. The tool and its extensions have been used as simulation environments of experiments that were later run in real systems.

Projects: The SACRE tool is an artifact of the research project Smart Adaptation through Contextual REquirements. In the context of the project different collaborations have been performed.  For example, the GESSI research group has collaborated with the Dept. of Computer Science and Engineering of Chalmers and the University of Gothenburg (Sweden), the Dept. of Computer Science of the University of Victoria (Canada), the University of Valecia (Spain), the test ground AstaZero (Sweden) and the vehicles lab REVERE (Sweden).

Authors: Edith Zavala, Xavier Franch, Jordi Marco.

Related publications:

• Zavala, E., Franch, X., Marco, J., Knauss, A., & Damian, D. (2015). SACRE: A tool for dealing with uncertainty in contextual requirements at runtime. In 23rd IEEE International Requirements Engineering Conference (RE) (pp. 278–279). IEEE. https://doi.org/10.1109/RE.2015.7320437

• Zavala, E., Franch, X., Marco, J., Knauss, A., & Damian, D. (2018). SACRE: Supporting contextual requirements’ adaptation in modern self-adaptive systems in the presence of uncertainty at runtime. Expert Systems with Applications, 98, 166–188. https://doi.org/10.1016/J.ESWA.2018.01.009

• Zavala, E., Franch, X., & Marco, J. (2019). Adaptive monitoring: A systematic mapping. Information and software technology, 105, 161-189.

• Zavala, E. (2017, November). Towards Adaptive Monitoring Services for Self-Adaptive Software Systems. In International Conference on Service-Oriented Computing (pp. 357-362). Springer, Cham.

• Zavala, E., Franch, X., & Marco, J. Decision-Making Support for Software Adaptation at Runtime. BSR winter school Big Software on the Run: Where Software meets Data, 70.

• Zavala, E. (2019). Towards adaptative monitoring for self-adaptative systems. PhD thesis.

Tool: SACRE implementation, SACRE for SALI (extension), SACRE for DeltaIoT (extension)

Demo video: SACRE video, SACRE for SALI