As a first step in this direction, we introduce a small update calculus with a precise mathematical semantics.
However, a dynamic update must also specify how to change the running program’s execution state, e.g., the stack and heap, to make it compatible with the new code.
Constructing such state transformations correctly and automatically remains an open problem.
We present experimental evidence that our mechanism supports safe distributed reconfiguration and has negligible impact on availability and performance. Resilience is thus utmost necessary to the system as it has to respond to the stresses and disturbances to keep the system stable.
Cyber physical systems are physical engineered systems whose operations are monitored, coordinated, controlled and integrated by a computing communication core which is expected to transform the physical world around us.
Our system is based on dynamic patches that both contain the updated code and the code needed to transition from the old version to the new.