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

Documents

View graph of relations
Original languageEnglish
Title of host publicationProceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020
PublisherIEEE
Pages213-218
Number of pages6
ISBN (Electronic)9781728169583
ISBN (Print)9781728169590
DOIs
Publication statusPublished - 21 May 2020
Event23rd International Symposium on Real-Time Distributed Computing - Nashville, United States
Duration: 19 May 202021 May 2020
https://ieeexplore.ieee.org/xpl/conhome/9108349/proceeding

Publication series

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

Conference

Conference23rd International Symposium on Real-Time Distributed Computing
Abbreviated titleISORC 2020
CountryUnited States
CityNashville
Period19/05/2021/05/20
Internet address

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.

Notes

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

ID: 22549732