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

Menon, Catherine, Iacovelli, Saverio and Kirner, Raimund (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 :. Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020 . Institute of Electrical and Electronics Engineers (IEEE), USA, pp. 213-218. ISBN 9781728169590
Copy

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.


picture_as_pdf
paper_20200505_final_ODRE20.pdf
subject
Submitted Version
copyright
Available under Unspecified

View Download

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads