• DocumentCode
    3452414
  • Title

    Assessing software based safety systems against the requirements and recommendations of IEC 880 (1986)

  • Author

    Tate, R.J.

  • Author_Institution
    Nuclear Electr. plc, Cheshire, UK
  • fYear
    1995
  • fDate
    21-25 Aug 1995
  • Firstpage
    153
  • Lastpage
    165
  • Abstract
    This paper examines the process of assessing software-based systems against the IEC 880 (1986) standard “Software for Computers in the Safety Systems of Nuclear Power Stations”. An overview description of IEC 880 is provided and the relationship between the requirements in the main body of the standard and the guidance provided in the appendices is discussed. Some fundamental issues to be considered when performing an assessment are highlighted. In particular, the analysis of the development lifecycle, including consideration of issues such as the multiple iterations of development phases and the use of pre-existing system components, is discussed. The various types of software/data which are present in a typical system are described and the applicability of the standard to each is reviewed. In conclusion, the author recognises the broad scope and relevance of IEC 880, but also highlights the practical problems encountered when attempting to gauge the `compliance´ of a system. The author provides some recommendations for assessors
  • Keywords
    nuclear engineering computing; nuclear power stations; power engineering computing; safety-critical software; software standards; IEC 880; Nuclear Power Stations; recommendations; requirements; software based safety systems; software development lifecycle; software standard; Automatic testing; IEC standards; Instruments; Power generation; Programmable control; Software safety; Software standards; Software systems; Software testing; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering Standards Symposium, 1995. (ISESS'95) 'Experience and Practice', Proceedings., Second IEEE International
  • Conference_Location
    Montreal, Que.
  • ISSN
    1082-3670
  • Print_ISBN
    0-8186-7137-8
  • Type

    conf

  • DOI
    10.1109/SESS.1995.525961
  • Filename
    525961