Extending Contract Theory with Safety Integrity Levels
2015 (English)In: 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), IEEE Computer Society, 2015, 85-92 p.Conference paper (Refereed)
In functional safety standards such as ISO 26262 and IEC 61508, Safety Integrity Levels (SILs) are assigned to top-level safety requirements on a system. The SILs are then either inherited or decomposed down to safety requirements on sub-systems, such that if the sub-systems are sufficiently reliable in fulfilling their respective safety requirements, as specified by the SILs, then it follows that the system is sufficiently reliable in fulfilling the top-level safety requirement. Present contract theory has previously been shown to provide a suitable foundation to structure safety requirements, but does not include support for the use of SILs. An extension of contract theory with the notion of SILs is therefore presented. As a basis for structuring the breakdown of safety requirements, a graph, called a contract structure, is introduced that provides a necessary foundation to capture the notions of SIL inheritance and decomposition in the context of contract theory.
Place, publisher, year, edition, pages
IEEE Computer Society, 2015. 85-92 p.
, IEEE International Symposium on High-Assurance Systems Engineering, ISSN 1530-2059
Contracts, Decompositon, IEC61508, ISO26262, Requirements, Safety Integrity Levels, SIL
IdentifiersURN: urn:nbn:se:kth:diva-170391DOI: 10.1109/HASE.2015.21ISI: 000380911000011ScopusID: 2-s2.0-84936853007ISBN: 978-1-4799-8110-6OAI: oai:DiVA.org:kth-170391DiVA: diva2:828154
IEEE International Conference on High Assurance Systems Engineering (HASE), 8-10 Jan. 2015, Daytona Beach Shores, FL, United States
QC 201506302015-06-292015-06-292016-09-16Bibliographically approved