Contract-Based Hierarchical Resilience Management for Cyber-Physical Systems

Cyber-physical systems satisfy user requirements through close collaboration among physical and cyber components. Software-based resilience management solutions can provide flexibility in dealing with component failures. To improve efficiency and ease of implementation, we present a contractbased hierarchical resilience management framework.

[1]  Sanjit A. Seshia,et al.  A Small Gain Theorem for Parametric Assume-Guarantee Contracts , 2017, HSCC.

[2]  Marisol García-Valls,et al.  iLAND: An Enhanced Middleware for Real-Time Reconfiguration of Service Oriented Distributed Real-Time Systems , 2013, IEEE Transactions on Industrial Informatics.

[3]  Naresh R. Shanbhag,et al.  Soft N-Modular Redundancy , 2012, IEEE Transactions on Computers.

[4]  Gabor Karsai,et al.  RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems , 2017, 2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC).

[5]  Remus C. Avram.  Fault Diagnosis and Fault-Tolerant Control of Quadrotor UAVs , 2016 .

[6]  Muhammad Shafique,et al.  A Self-Healing Framework for Building Resilient Cyber-Physical Systems , 2017, 2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC).

[7]  Thomas I. Strasser,et al.  Developing modular reusable IEC 61499 control applications with 4DIAC , 2013, 2013 11th IEEE International Conference on Industrial Informatics (INDIN).

[8]  Ye Xu,et al.  AdaFT , 2017, ACM Trans. Embed. Comput. Syst..

[9]  Marisol Garcia Valls,et al.  iLAND: An Enhanced Middleware for Real-Time Reconfiguration of Service Oriented Distributed Real-Time Systems , 2013 .

[10]  Arvind Easwaran,et al.  CLAIR: A Contract-Based Framework for Developing Resilient CPS Architectures , 2018, 2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC).

[11]  Dejan Nickovic,et al.  Contracts for Systems Design: Theory , 2015 .

[12]  Marco Caccamo,et al.  A Fault Resilient Architecture for Distributed Cyber-Physical Systems , 2012, 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.