CLAIR: A contract-based framework for developing resilient cps architectures

Sidharta Andalam; Daniel Jun Xian Ng; Arvind Easwaran; Karthikeyan Thangamariappan

doi:10.1109/ISORC.2018.00013

CLAIR: A contract-based framework for developing resilient cps architectures

Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran, Karthikeyan Thangamariappan

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	33-41
Number of pages	9
ISBN (Print)	9781538658475
DOIs	https://doi.org/10.1109/ISORC.2018.00013
Publication status	Published - Jul 25 2018
Externally published	Yes
Event	21st IEEE International Symposium on Real-Time Computing, ISORC 2018 - Singapore, Singapore Duration: May 29 2018 → May 31 2018

Publication series

Name	Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018

Conference

Conference	21st IEEE International Symposium on Real-Time Computing, ISORC 2018
Country/Territory	Singapore
City	Singapore
Period	5/29/18 → 5/31/18

Bibliographical note

Publisher Copyright:
© 2018 IEEE.

ASJC Scopus Subject Areas

Hardware and Architecture
Software
Safety, Risk, Reliability and Quality

Keywords

Contracts
CPS
Fault tolerance
Industry 4.0
Resiliency

Access to Document

10.1109/ISORC.2018.00013

Cite this

Andalam, S., Ng, D. J. X., Easwaran, A., & Thangamariappan, K. (2018). CLAIR: A contract-based framework for developing resilient cps architectures. In Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018 (pp. 33-41). Article 8421144 (Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISORC.2018.00013

Andalam, Sidharta ; Ng, Daniel Jun Xian ; Easwaran, Arvind et al. / CLAIR : A contract-based framework for developing resilient cps architectures. Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. Institute of Electrical and Electronics Engineers Inc., 2018. pp. 33-41 (Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018).

@inproceedings{f8d63433d3234c64bbd11b2f7c0cd9d7,

title = "CLAIR: A contract-based framework for developing resilient cps architectures",

abstract = "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.",

keywords = "Contracts, CPS, Fault tolerance, Industry 4.0, Resiliency",

author = "Sidharta Andalam and Ng, {Daniel Jun Xian} and Arvind Easwaran and Karthikeyan Thangamariappan",

note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 21st IEEE International Symposium on Real-Time Computing, ISORC 2018 ; Conference date: 29-05-2018 Through 31-05-2018",

year = "2018",

month = jul,

day = "25",

doi = "10.1109/ISORC.2018.00013",

language = "English",

isbn = "9781538658475",

series = "Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "33--41",

booktitle = "Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018",

address = "United States",

}

Andalam, S, Ng, DJX, Easwaran, A & Thangamariappan, K 2018, CLAIR: A contract-based framework for developing resilient cps architectures. in Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018., 8421144, Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018, Institute of Electrical and Electronics Engineers Inc., pp. 33-41, 21st IEEE International Symposium on Real-Time Computing, ISORC 2018, Singapore, Singapore, 5/29/18. https://doi.org/10.1109/ISORC.2018.00013

CLAIR: A contract-based framework for developing resilient cps architectures. / Andalam, Sidharta; Ng, Daniel Jun Xian; Easwaran, Arvind et al.
Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. Institute of Electrical and Electronics Engineers Inc., 2018. p. 33-41 8421144 (Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - CLAIR

T2 - 21st IEEE International Symposium on Real-Time Computing, ISORC 2018

AU - Andalam, Sidharta

AU - Ng, Daniel Jun Xian

AU - Easwaran, Arvind

AU - Thangamariappan, Karthikeyan

PY - 2018/7/25

Y1 - 2018/7/25

N2 - 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.

AB - 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.

KW - Contracts

KW - CPS

KW - Fault tolerance

KW - Industry 4.0

KW - Resiliency

UR - http://www.scopus.com/inward/record.url?scp=85051556756&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85051556756&partnerID=8YFLogxK

U2 - 10.1109/ISORC.2018.00013

DO - 10.1109/ISORC.2018.00013

M3 - Conference contribution

AN - SCOPUS:85051556756

SN - 9781538658475

T3 - Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018

SP - 33

EP - 41

BT - Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018

PB - Institute of Electrical and Electronics Engineers Inc.

Y2 - 29 May 2018 through 31 May 2018

ER -

Andalam S, Ng DJX, Easwaran A, Thangamariappan K. CLAIR: A contract-based framework for developing resilient cps architectures. In Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. Institute of Electrical and Electronics Engineers Inc. 2018. p. 33-41. 8421144. (Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018). doi: 10.1109/ISORC.2018.00013

CLAIR: A contract-based framework for developing resilient cps architectures

Abstract

Publication series

Conference

Bibliographical note

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Fingerprint

Cite this