Unicorn with delicious cookie
Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо
to the top

Вебинар: Техническая сторона первого этапа испытаний статических анализаторов кода под эгидой ФСТЭК - 01.09

Стандарт IEC 61508

31 Мар 2013

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

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

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

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

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

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

Популярные статьи по теме