ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems

Catherine Menon; Saverio Iacovelli; Raimund Kirner

doi:10.1109/ISORC49007.2020.00044

ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems

Catherine Menon, Saverio Iacovelli, Raimund Kirner

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

1 Citation (Scopus)

217 Downloads (Pure)

Abstract

In a safety-critical system each service has a specific level of safety criticality. Safety standards use classifications like Safety Integrity Levels (SIL), to describe the design requirements for the individual services of a system. Techniques like redundancy can be used to achieve a higher overall dependability than the used individual components provide. Using the notion of SIL, this can be called SIL arithmetic. In this paper we describe the concept of SIL arithmetic and point out how different safety standards provide hints for their support of using SIL arithmetic. We highlight the principal benefits of SIL arithmetic and provide simple examples. But the use of SIL arithmetic in a concrete system design can also have its pitfalls, which we also discuss in this paper. We specifically discuss these issues in the context of scheduling techniques for mixed-criticality systems, where resource shortages are to be handled by the scheduler.

Original language	English
Title of host publication	Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	213-218
Number of pages	6
ISBN (Electronic)	9781728169583
ISBN (Print)	9781728169590
DOIs	https://doi.org/10.1109/ISORC49007.2020.00044
Publication status	Published - 21 May 2020
Event	23rd International Symposium on Real-Time Distributed Computing - Nashville, United States Duration: 19 May 2020 → 21 May 2020 https://ieeexplore.ieee.org/xpl/conhome/9108349/proceeding

Publication series

Name	Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020

Conference

Conference	23rd International Symposium on Real-Time Distributed Computing
Abbreviated title	ISORC 2020
Country/Territory	United States
City	Nashville
Period	19/05/20 → 21/05/20
Internet address	https://ieeexplore.ieee.org/xpl/conhome/9108349/proceeding

Keywords

Cyber-physical systems
Cybersecurity
Industrial control systems (ics)
Mixed-criticality scheduling
Safety integrity levels (sil)

Access to Document

10.1109/ISORC49007.2020.00044Licence: Unspecified

paper_20200505_final_ODRE20
© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Accepted author manuscript, 165 KBLicence: Unspecified

Cite this

Menon, C., Iacovelli, S., & Kirner, R. (2020). ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems. In Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020 (pp. 213-218). Article 9112973 (Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020). Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/ISORC49007.2020.00044

Menon, Catherine ; Iacovelli, Saverio ; Kirner, Raimund. / ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems. Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020. Institute of Electrical and Electronics Engineers (IEEE), 2020. pp. 213-218 (Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020).

@inproceedings{b222ad862463404597e2a9c1433f7e01,

title = "ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems",

abstract = "In a safety-critical system each service has a specific level of safety criticality. Safety standards use classifications like Safety Integrity Levels (SIL), to describe the design requirements for the individual services of a system. Techniques like redundancy can be used to achieve a higher overall dependability than the used individual components provide. Using the notion of SIL, this can be called SIL arithmetic. In this paper we describe the concept of SIL arithmetic and point out how different safety standards provide hints for their support of using SIL arithmetic. We highlight the principal benefits of SIL arithmetic and provide simple examples. But the use of SIL arithmetic in a concrete system design can also have its pitfalls, which we also discuss in this paper. We specifically discuss these issues in the context of scheduling techniques for mixed-criticality systems, where resource shortages are to be handled by the scheduler.",

keywords = "Cyber-physical systems, Cybersecurity, Industrial control systems (ics), Mixed-criticality scheduling, Safety integrity levels (sil)",

author = "Catherine Menon and Saverio Iacovelli and Raimund Kirner",

note = "{\textcopyright} 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.; 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020 ; Conference date: 19-05-2020 Through 21-05-2020",

year = "2020",

month = may,

day = "21",

doi = "10.1109/ISORC49007.2020.00044",

language = "English",

isbn = "9781728169590",

series = "Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

pages = "213--218",

booktitle = "Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020",

address = "United States",

url = "https://ieeexplore.ieee.org/xpl/conhome/9108349/proceeding",

}

Menon, C, Iacovelli, S & Kirner, R 2020, ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems. in Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020., 9112973, Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020, Institute of Electrical and Electronics Engineers (IEEE), pp. 213-218, 23rd International Symposium on Real-Time Distributed Computing, Nashville, United States, 19/05/20. https://doi.org/10.1109/ISORC49007.2020.00044

ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems. / Menon, Catherine; Iacovelli, Saverio; Kirner, Raimund.
Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020. Institute of Electrical and Electronics Engineers (IEEE), 2020. p. 213-218 9112973 (Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020).

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

TY - GEN

T1 - ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems

AU - Menon, Catherine

AU - Iacovelli, Saverio

AU - Kirner, Raimund

N1 - © 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

PY - 2020/5/21

Y1 - 2020/5/21

N2 - In a safety-critical system each service has a specific level of safety criticality. Safety standards use classifications like Safety Integrity Levels (SIL), to describe the design requirements for the individual services of a system. Techniques like redundancy can be used to achieve a higher overall dependability than the used individual components provide. Using the notion of SIL, this can be called SIL arithmetic. In this paper we describe the concept of SIL arithmetic and point out how different safety standards provide hints for their support of using SIL arithmetic. We highlight the principal benefits of SIL arithmetic and provide simple examples. But the use of SIL arithmetic in a concrete system design can also have its pitfalls, which we also discuss in this paper. We specifically discuss these issues in the context of scheduling techniques for mixed-criticality systems, where resource shortages are to be handled by the scheduler.

AB - In a safety-critical system each service has a specific level of safety criticality. Safety standards use classifications like Safety Integrity Levels (SIL), to describe the design requirements for the individual services of a system. Techniques like redundancy can be used to achieve a higher overall dependability than the used individual components provide. Using the notion of SIL, this can be called SIL arithmetic. In this paper we describe the concept of SIL arithmetic and point out how different safety standards provide hints for their support of using SIL arithmetic. We highlight the principal benefits of SIL arithmetic and provide simple examples. But the use of SIL arithmetic in a concrete system design can also have its pitfalls, which we also discuss in this paper. We specifically discuss these issues in the context of scheduling techniques for mixed-criticality systems, where resource shortages are to be handled by the scheduler.

KW - Cyber-physical systems

KW - Cybersecurity

KW - Industrial control systems (ics)

KW - Mixed-criticality scheduling

KW - Safety integrity levels (sil)

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

U2 - 10.1109/ISORC49007.2020.00044

DO - 10.1109/ISORC49007.2020.00044

M3 - Conference contribution

SN - 9781728169590

T3 - Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020

SP - 213

EP - 218

BT - Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020

PB - Institute of Electrical and Electronics Engineers (IEEE)

T2 - 23rd International Symposium on Real-Time Distributed Computing

Y2 - 19 May 2020 through 21 May 2020

ER -

Menon C, Iacovelli S, Kirner R. ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems. In Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020. Institute of Electrical and Electronics Engineers (IEEE). 2020. p. 213-218. 9112973. (Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020). doi: 10.1109/ISORC49007.2020.00044

ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this