University of Hertfordshire

By the same authors

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

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. 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 proceedingConference contribution

Harvard

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, 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

APA

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). [9112973] (Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020). IEEE. https://doi.org/10.1109/ISORC49007.2020.00044

Vancouver

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. IEEE. 2020. p. 213-218. 9112973. (Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020). https://doi.org/10.1109/ISORC49007.2020.00044

Author

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. IEEE, 2020. pp. 213-218 (Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020).

Bibtex

@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 = "IEEE",
pages = "213--218",
booktitle = "Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020",
url = "https://ieeexplore.ieee.org/xpl/conhome/9108349/proceeding",

}

RIS

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 - IEEE

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

Y2 - 19 May 2020 through 21 May 2020

ER -