Dynamic software updating (DSU) is shifting gears to modify software systems without a halt.
Even though extensive research has been conducted on DSU, it is necessary to synthesise …

Dynamic reconfiguration and adaptability are crucial features in the evolution from
automation to autonomy of industrial control systems. Component-based systems, such as …

In the studies of self-adaptive systems (SAS), requirement relaxation is a widely discussed
approach for managing the system's requirements when dealing with the runtime …

In order to manage evolving organisational practice and maintain compliance with changes
in policies and regulations, businesses must be capable of dynamically reconfiguring their …

The design of systems that can change their behaviour to account for scenarios that were
not foreseen at design time remains an open challenge. In this article, we propose an …

The development of cyber-physical systems is heavily relying on model-driven approaches.
After deployment, these models can be utilised in a Digital Twin setting, acting as virtual …

Reactive synthesis guarantees correct-by-construction controllers from logical specifications,
but is costly—2EXPTIME-complete in the size of the specification. In a practical setting, the …

Reconfiguration is an important feature for industrial automation systems to provide
flexibility, adaptability, and resilience. Dynamic reconfiguration of real-time systems requires …

Dynamic software update (DSU) patches programs on the fly. It often involves the critical
task of object transformation that converts live objects of the old-version program to their …

Generalized stochastic Petri nets (GSPNs) have been extended to several dynamic-structure
formalisms providing suitable tools for the modeling and verification of reconfigurable …