Towards digital twin-enabled DevOps for CPS providing architecture-based service adaptation & verification at runtime

J Dobaj, A Riel, T Krug, M Seidl, G Macher… - Proceedings of the 17th …, 2022 - dl.acm.org
Background: Industrial Product-Service Systems (IPSS) denote a service-oriented way of
providing access to cyber-physical systems'(CPS) capabilities. The design of such systems …

Smart-troubleshooting connected devices: Concept, challenges and opportunities

M Caporuscio, F Flammini, N Khakpour, P Singh… - Future Generation …, 2020 - Elsevier
Today's digital world and evolving technology has improved the quality of our lives but it has
also come with a number of new threats. In the society of smart-cities and Industry 4.0, where …

Model predictive control for software systems with CobRA

K Angelopoulos, AV Papadopoulos… - Proceedings of the 11th …, 2016 - dl.acm.org
Self-adaptive software systems monitor their operation and adapt when their requirements
fail due to unexpected phenomena in their environment. This paper examines the case …

A hybrid cloud controller for vertical memory elasticity: A control-theoretic approach

S Farokhi, P Jamshidi, EB Lakew, I Brandic… - Future Generation …, 2016 - Elsevier
Web-facing applications are expected to provide certain performance guarantees despite
dynamic and continuous workload changes. As a result, application owners are using cloud …

Model-free control for resource harvesting in computing grids

Q Guilloteau, B Robu, C Join, M Fliess… - … IEEE Conference on …, 2022 - ieeexplore.ieee.org
Cloud and High-Performance Computing (HPC) systems are increasingly facing issues of
dynamic variability, in particular wrt performance and power consumption. They are …

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 …

Requirements engineering

A Bennaceur, TT Tun, Y Yu, B Nuseibeh - Handbook of software …, 2019 - Springer
Requirements engineering (RE) aims to ensure that systems meet the needs of their
stakeholders including users, sponsors, and customers. Often considered as one of the …

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 …

A hybrid approach combining control theory and AI for engineering self-adaptive systems

RD Caldas, A Rodrigues, EB Gil… - Proceedings of the …, 2020 - dl.acm.org
Control theoretical techniques have been successfully adopted as methods for self-adaptive
systems design to provide formal guarantees about the effectiveness and robustness of …

[PDF][PDF] Self-adaptation challenges for cloud-based applications: A control theoretic perspective

S Farokhi, P Jamshidi, I Brandic… - … workshop on feedback …, 2015 - infosys.tuwien.ac.at
Software applications accessible over the web are typically subject to very dynamic
workloads. Since cloud elasticity provides the ability to adjust the deployed environment on …