28 June 2021 to 2 July 2021
Europe/Vienna timezone

Provisioning and updating distributed software systems in network-isolated environments

30 Jun 2021, 13:50
Location 2 (Online)

Location 2


Oral T2.2 - Challenges of On-Site Inspection T2.2 - Challenges of On-Site Inspection


Mr Oleksandr Shabelnyk (Technische Universität, Vienna, Austria)


Security constraints of an On-Site Inspection dictate air-gapped isolation of networks, introducing challenges for the reliable provisioning and updating of distributed mission-critical software systems employed during an OSI. Further goals include process transparency and operational robustness, while accommodating domain-specific requirements. To this end, we propose a technical framework addressing the software configuration update in network-isolated environments. Within our comprehensive framework, dependencies are resolved using satisfiability modulo theories, ensuring correctness in terms of version compatibility. The end-to-end system facilitates the update and reconfiguration of isolated on-site systems, while being compatible with container-based software component management as used in practice. We demonstrate the framework over a case study representing a typical scenario.

Promotional text

The paper highlights the importance of appropriate measures to manage software systems during an OSI, ensuring transparency, robustness and availability of mission-critical software.

Primary author

Mr Oleksandr Shabelnyk (Technische Universität, Vienna, Austria)


Mr Christos Tsigkanos (Technische Universität, Vienna, Austria) Mr Pantelis Frangoudis (Technische Universität, Vienna, Austria)

Presentation materials