IEC 61508
Базовый стандарт функциональной безопасности: как нужно строить электронику и ПО, если отказ может убить человека.
МЭК выпустил первую редакцию в 1998 году, вторую — в 2010-м. Стандарт делит функции безопасности на четыре уровня, SIL 1–SIL 4, по тому, как редко им позволено опасно отказывать; SIL 4 означает порядка одного опасного отказа на сто миллионов часов работы. Чем выше уровень, тем строже требования к трассируемости от требования до теста, стандартам кодирования, статическому анализу, ревью и квалифицированным инструментам.
Напрямую по 61508 сертифицируют немногие изделия. Он скорее родоначальник: ISO 26262 для автомобилей, IEC 62304 для медицинского ПО и EN 50128 для железных дорог — всё это его адаптации. Поэтому ядра RTOS и компиляторы рекламируют «сертификацию по IEC 61508», что по большей части означает: кто-то написал огромное количество документации.