Formal methods in dynamic software updating: a survey
R Lounas, M Mezghiche… - International Journal of …, 2019 - inderscienceonline.com
Dymanic software updating (DSU) consists in updating running programs on-the-fly without
any downtime that leads to systems unavailability. The use of DSU in critical applications …
any downtime that leads to systems unavailability. The use of DSU in critical applications …
KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs
Abstract Dynamic Software Updating (DSU) is a useful technique for updating running
software without incurring any downtime. Its correctness must be guaranteed because …
software without incurring any downtime. Its correctness must be guaranteed because …
Toward a unified operational semantics-based approach to modeling and verifying dynamic software updating
J Qian - 2018 IEEE 9th International Conference on Software …, 2018 - ieeexplore.ieee.org
Internet of Things (IoT) and Cyber-Physical Systems (CPS) demand more intelligent and
flexible agents that can dynamically update themselves without incurring downtime …
flexible agents that can dynamically update themselves without incurring downtime …
[PDF][PDF] LOUNAS Razika
MANM Prof-USTHB - 2018 - aurore.unilim.fr
Abstract Pynamic Software Updating (DSU) consists in updating running programs on the fly
without any downtime. This feature is interesting in critical applications that are in continual …
without any downtime. This feature is interesting in critical applications that are in continual …
Validation des spécifications formelles de la mise à jour dynamique des applications Java Card
R Lounas - 2018 - theses.hal.science
La mise à jour dynamique des programmes consiste en la modification de ceux-ci sans en
arrêter l'exécution. Cette caractéristique est primordiale pour les applications critiques en …
arrêter l'exécution. Cette caractéristique est primordiale pour les applications critiques en …