dc.contributor.author | Menon, Catherine | |
dc.contributor.author | Iacovelli, Saverio | |
dc.contributor.author | Kirner, Raimund | |
dc.date.accessioned | 2020-08-29T00:03:35Z | |
dc.date.available | 2020-08-29T00:03:35Z | |
dc.date.issued | 2020-05-21 | |
dc.identifier.citation | 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 | |
dc.identifier.citation | conference | |
dc.identifier.isbn | 9781728169590 | |
dc.identifier.isbn | 9781728169583 | |
dc.identifier.other | ORCID: /0000-0003-2072-5845/work/95373577 | |
dc.identifier.uri | http://hdl.handle.net/2299/23089 | |
dc.description | © 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. | |
dc.description.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. | en |
dc.format.extent | 6 | |
dc.format.extent | 169373 | |
dc.language.iso | eng | |
dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) | |
dc.relation.ispartof | Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020 | |
dc.relation.ispartofseries | Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020 | |
dc.subject | Cyber-physical systems | |
dc.subject | Cybersecurity | |
dc.subject | Industrial control systems (ics) | |
dc.subject | Mixed-criticality scheduling | |
dc.subject | Safety integrity levels (sil) | |
dc.subject | Hardware and Architecture | |
dc.subject | Information Systems and Management | |
dc.subject | Artificial Intelligence | |
dc.subject | Computer Networks and Communications | |
dc.title | ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems | en |
dc.contributor.institution | Department of Computer Science | |
dc.contributor.institution | School of Physics, Engineering & Computer Science | |
dc.contributor.institution | Centre for Computer Science and Informatics Research | |
dc.contributor.institution | School of Computer Science | |
dc.identifier.url | http://www.scopus.com/inward/record.url?scp=85088164157&partnerID=8YFLogxK | |
rioxxterms.versionofrecord | 10.1109/ISORC49007.2020.00044 | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |