Стандарт IEC 61508 - Функциональная безопасность электрических, электронных, программируемых электронных систем, связанных с безопасностью.
IEC 61508 – это международный стандарт, охватывающий вопросы, которые должны учитываться при разработке электрических, электронных и программируемых электронных систем для выполнения функций безопасности. IEC 61508 является универсальным стандартом функциональной безопасности и применим во всех областях промышленности. Он позволяет полностью учесть существенные факторы, связанные с решаемыми задачами, и, таким образом, удовлетворить конкретные потребности области применения. Другая цель данного стандарта заключается в том, чтобы сделать возможной разработку электрических, электронных, программируемых электронных систем, связанных с безопасностью, в условиях возможного отсутствия стандартов для конкретных областей применения.
Центральными в стандарте IEC 61508 являются понятия риска и функций безопасности. Риск является функцией от возможности возникновения потенциально опасного события и тяжести его последствий. Риск может быть сведён к допустимым значениям путём применения функций безопасности. Стандарт принимает следующие допущения в отношении риска:
В качестве одной из основных методологий подтверждения безопасности и исключения систематических отказов для E/E/PE систем стандарт IEC 61508 называет методологию статического анализа, которая позволяет исследовать конкретные статические характеристики опытных образцов системы для обеспечения полноты, согласованности и отсутствия неоднозначностей относительно сформулированных требований.
Для соответствия стандарту IEC 61508 при разработке программных комплексов необходимо использовать статические анализаторы кода.
0