BS IEC 60880-2:2001
Программное обеспечение для компьютеров, важное для безопасности атомных электростанций. Программные аспекты защиты от отказов по общей причине, использование программных инструментов и заранее разработанного программного обеспечения.