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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Ensuring Integration Conditions During the Update of Cyber-Physical Systems at Runtime

  • Janis Kröger,
  • Ingo Stierand,
  • Martin Fränzle

摘要

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.