Ensuring Integration Conditions During the Update of Cyber-Physical Systems at Runtime
摘要
This paper addresses the challenge of maintaining system integrity and safety during the update processes of cyber-physical systems. We propose an approach that enables updates during operation of small subsets of components, and minimizes system downtime by utilizing the inactive states of system components. The underlying contract-based design (CBD) methodology ensures that integration conditions are maintained. The approach builds upon a CBD framework that supports the specification of operating modes and formal reasoning about integration conditions, thereby providing a mechanism for managing dependencies and maintaining consistency across updates. We demonstrate the practicality of our approach with an example, highlighting how the proposed method can lead to more efficient, safe, and user-accepted updates.