Стандарт IEC 61508


Стандарт IEC 61508 - Функциональная безопасность электрических, электронных, программируемых электронных систем, связанных с безопасностью.

IEC 61508 – это международный стандарт, охватывающий вопросы, которые должны учитываться при разработке электрических, электронных и программируемых электронных систем для выполнения функций безопасности. IEC 61508 является универсальным стандартом функциональной безопасности и применим во всех областях промышленности. Он позволяет полностью учесть существенные факторы, связанные с решаемыми задачами, и, таким образом, удовлетворить конкретные потребности области применения. Другая цель данного стандарта заключается в том, чтобы сделать возможной разработку электрических, электронных, программируемых электронных систем, связанных с безопасностью, в условиях возможного отсутствия стандартов для конкретных областей применения.

Центральными в стандарте IEC 61508 являются понятия риска и функций безопасности. Риск является функцией от возможности возникновения потенциально опасного события и тяжести его последствий. Риск может быть сведён к допустимым значениям путём применения функций безопасности. Стандарт принимает следующие допущения в отношении риска:

  • Нулевой риск не может быть достигнут
  • Безопасность должна рассчитываться с начала процесса проектирования
  • Недопустимые риски должны быть сведены к наименьшим практически возможным значениям

В качестве одной из основных методологий подтверждения безопасности и исключения систематических отказов для E/E/PE систем стандарт IEC 61508 называет методологию статического анализа, которая позволяет исследовать конкретные статические характеристики опытных образцов системы для обеспечения полноты, согласованности и отсутствия неоднозначностей относительно сформулированных требований.

Для соответствия стандарту IEC 61508 при разработке программных комплексов необходимо использовать статические анализаторы кода, например, PVS-Studio.


Найденные ошибки

Проверено проектов
346
Собрано ошибок
13 188

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

goto PVS-Studio;