CLAIR: A Contract-Based Framework for Developing Resilient CPS Architectures

Industrial cyber-infrastructure is normally a multilayered architecture. The purpose of the layered architecture is to hide complexity and allow independent evolution of the layers. In this paper, we argue that this traditional strict layering results in poor transparency across layers affecting the ability to significantly improve resiliency. We propose a contract-based methodology where components across and within the 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. It results in (1) improving transparency across layers; helps resiliency, (2) decoupling fault-handling code from application code; helps code maintenance, (3) systematically generate error-free fault handling code; reduces development time. Using an industrial case study, we demonstrate the proposed methodology.

[1]  Roopak Sinha,et al.  Observer based verification of IEC 61499 function blocks , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[2]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[3]  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.

[4]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[5]  Knut Güttel.  Konzept zur Generierung von Steuerungscode für Fertigungsanlagen unter Verwendung wissensbasierter Methoden , 2013 .

[6]  Paul Smith,et al.  Towards a Resilience Metric Framework for Cyber-Physical Systems , 2016, ICS-CSR.

[7]  Ferrarini Luca,et al.  A methodology for fault isolation and identification in automated equipments , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[8]  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).

[9]  Rolf Isermann,et al.  Model-based fault-detection and diagnosis - status and applications , 2004, Annu. Rev. Control..

[10]  Arvind Easwaran,et al.  Contract-Based Methodology for Developing Resilient Cyber-Infrastructure in the Industry 4.0 Era , 2019, IEEE Embedded Systems Letters.

[11]  Hedi Dhouibi,et al.  Diagnosis of hybrid systems through Observers and Timed Automata , 2016, 2016 International Conference on Control, Decision and Information Technologies (CoDIT).

[12]  Steven X. Ding,et al.  Model-based Fault Diagnosis Techniques: Design Schemes, Algorithms, and Tools , 2008 .

[13]  Xin-Ping Guan,et al.  Toward Self-Manageable and Adaptive Industrial Cyber-Physical Systems With Knowledge-Driven Autonomic Service Management , 2017, IEEE Transactions on Industrial Informatics.

[14]  Gerardo Pardo-Castellote,et al.  OMG Data-Distribution Service: architectural overview , 2003, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings..

[15]  Alberto L. Sangiovanni-Vincentelli,et al.  metroII , 2013, ACM Trans. Embed. Comput. Syst..

[16]  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).

[17]  Jay Lee,et al.  A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems , 2015 .

[18]  Alois Zoitl,et al.  Design patterns for separating fault handling from control code in discrete manufacturing systems , 2013, IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society.

[19]  Gabor Karsai,et al.  Toward a Science of Cyber–Physical System Integration , 2012, Proceedings of the IEEE.

[20]  Gregor Gößler,et al.  A general framework for blaming in component-based systems , 2015, Sci. Comput. Program..

[21]  Nikil D. Dutt,et al.  Resilient dependable cyber-physical systems: a middleware perspective , 2011, Journal of Internet Services and Applications.

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

[23]  Sandeep Neema,et al.  OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems , 2014, FPS@ETAPS.