Contract-based Methodology for Developing Resilient Cyber-Infrastructure in the Industry 4.0 Era
This addresses the need for resilient industrial systems to prevent severe disruptions from faults, though it appears incremental as it builds on existing contract-based approaches.
The paper tackles the problem of ensuring resilient cyber-infrastructure in Industry 4.0 by proposing a contract-based methodology with a light-weight resilience manager, enabling fault detection through contract violation monitoring and dynamic reaction.
As the industrial cyber-infrastructure become increasingly important to realise the objectives of Industry~4.0, the consequence of disruption due to internal or external faults become increasingly severe. Thus there is a need for a resilient infrastructure. In this paper, we propose a contract-based methodology where components across layers of the cyber-infrastructure are associated with contracts and a light-weight resilience manager. This allows the system to detect faults (contract violation monitored using observers) and react (change contracts dynamically) effectively.