• DocumentCode
    484848
  • Title

    Towards a Calculus for Software SIL

  • Author

    Short, R.C.

  • Author_Institution
    Atkins Rail Ltd., London
  • fYear
    2008
  • fDate
    20-22 Oct. 2008
  • Firstpage
    1
  • Lastpage
    5
  • 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;
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    System Safety, 2008 3rd IET International Conference on
  • Conference_Location
    Birmingham
  • ISSN
    0537-9989
  • Print_ISBN
    978-0-86341-970-6
  • Type

    conf

  • Filename
    4781282