Morph: A reference architecture for configuration and behaviour self-adaptation

V Braberman, N D'Ippolito, J Kramer, D Sykes… - Proceedings of the 1st …, 2015 - dl.acm.org
An architectural approach to self-adaptive systems involves runtime change of system
configuration (ie, the system's components, their bindings and operational parameters) and …

Using runtime quantitative verification to provide assurance evidence for self-adaptive software: advances, applications and research challenges

R Calinescu, S Gerasimou, K Johnson… - Software Engineering for …, 2017 - Springer
Providing assurance that self-adaptive software meets its dependability, performance and
other quality-of-service (QoS) requirements is a great challenge. Recent approaches to …

Runtime monitoring and resolution of probabilistic obstacles to system goals

A Cailliau, AV Lamsweerde - ACM Transactions on Autonomous and …, 2019 - dl.acm.org
Software systems are deployed in environments that keep changing over time. They should
therefore adapt to changing conditions to meet their requirements. The satisfaction rate of …

Self-adaptation based on big data analytics: a model problem and tool

S Schmid, I Gerostathopoulos… - 2017 IEEE/ACM 12th …, 2017 - ieeexplore.ieee.org
In this paper, we focus on self-adaptation in large-scale software-intensive distributed
systems. The main problem in making such systems self-adaptive is that their adaptation …

Dynamic update of discrete event controllers

L Nahabedian, V Braberman… - IEEE Transactions …, 2018 - ieeexplore.ieee.org
Discrete event controllers are at the heart of many software systems that require continuous
operation. Changing these controllers at runtime to cope with changes in its execution …

Assured and correct dynamic update of controllers

L Nahabedian, V Braberman, N D'Ippolito… - Proceedings of the 11th …, 2016 - dl.acm.org
In many application domains, continuous operation is a desirable attribute for software-
intensive systems. As the environment or system requirements change, so the system …

An application conflict detection and resolution system for smart homes

M Yagita, F Ishikawa, S Honiden - 2015 IEEE/ACM 1st …, 2015 - ieeexplore.ieee.org
One of the applications of Cyber-Physical Systems (CPSs) is the Smart Homes. In Smart
Homes, multiple apps operate the sensors and actuators to provide rich user experience in a …

Formalizing correctness criteria of dynamic updates derived from specification changes

VP La Manna, J Greenyer, C Ghezzi… - 2013 8th International …, 2013 - ieeexplore.ieee.org
Modern software-intensive systems often have to be updated to adapt to unpredicted
changes in their environments or to satisfy unpredicted requirement changes. Many …

Assured automatic dynamic reconfiguration of business processes

L Nahabedian, V Braberman, N D'Ippolito, J Kramer… - Information Systems, 2022 - Elsevier
In order to manage evolving organisational practice and maintain compliance with changes
in policies and regulations, businesses must be capable of dynamically reconfiguring their …

Requirements and specifications for adaptive security: concepts and analysis

TT Tun, M Yang, AK Bandara, Y Yu… - Proceedings of the 13th …, 2018 - dl.acm.org
In an adaptive security-critical system, security mechanisms change according to the type of
threat posed by the environment. Specifying the behavior of these systems is difficult …