Title :
Towards a Calculus for Software SIL
Author_Institution :
Atkins Rail Ltd., London
Abstract :
Safety integrity level (SIL) is very widely used to define the safety properties of software, but because it does not take account of the scale of software in terms of size and complexity it can give a misleading impression of the potential unsafe failure rate. This paper proposes an approach to assessing the SIL achieved by software so as to include the effects of scale.
Keywords :
IEC standards; safety-critical software; software metrics; calculus; failure rate; safety integrity level; safety property; software SIL; software complexity; Software; complexity; safety;
Conference_Titel :
System Safety, 2008 3rd IET International Conference on
Conference_Location :
Birmingham
Print_ISBN :
978-0-86341-970-6
