IEC TR 61508-3-3-2025 PDF

Полное наименование и описание

IEC TR 61508-3-3:2025 — Functional safety of electrical/electronic/programmable electronic safety-related systems — Part 3-3: Object-oriented software in safety-related systems. Технический отчёт (Technical Report), дополняющий требования IEC 61508‑3 и предлагающий рекомендации по применению объектно‑ориентированных языков и методов при создании программного обеспечения для функционально‑безопасных систем.

Аннотация

Документ предлагает набор тем, методов и техник, которые позволят разработчикам и инженерам обосновать применение объектно‑ориентированных подходов в системах, подпадающих под действие IEC 61508. TR разъясняет основные опасения (например, динамическое выделение памяти, предсказуемость времени выполнения, управление состоянием объектов) и указывает, какие меры и практики следует применять для снижения систематических ошибок до требуемого уровня.

Общая информация

• Статус: Действующий (опубликован как технический отчёт IEC).
• Дата публикации: 16 июля 2025 г.
• Организация-издатель: Международная электротехническая комиссия (IEC).
• ICS / категории: 13.110; 25.040.40.
• Редакция / версия: Edition 1.0 (IEC TR 61508-3-3:2025).
• Количество страниц: 52 страницы.

Область применения

TR предназначен для применения совместно с IEC 61508-3 и обращён к ситуациям, когда при создании частей E/E/PE систем используются объектно‑ориентированные языки и парадигмы. Документ не заменяет требования IEC 61508-3, а даёт рекомендаций по обоснованию и контролю рисков, связанных с особенностями ООП (динамические объекты, управление памятью, сложные иерархии наследования и т.д.), чтобы обеспечить соответствие требованиям функциональной безопасности.

Ключевые темы и требования

• Обоснование применимости объектно‑ориентированных языков в системах с требуемыми уровнями целостности (SIL) и рекомендации по ограничению тех конструкций, которые создают риск.
• Управление динамической памятью и альтернативы в критичных на время и ресурс средах.
• Архитектурные принципы: разграничение ответственности, низкая связанность, высокая когезия, модульность и инкапсуляция в контексте безопасности.
• Контроль состояния объектов, детерминированность поведения и оценка влияния полиморфизма и наследования на верифицируемость.
• Методы доказательства корректности (статический анализ, формальная верификация) и консервативное сочетание с традиционным тестированием.
• Процессы жизненного цикла ПО, координация с требованиями в IEC 61508‑3, требования к документации и верификации при изменениях и сопровождении.

Применение и пользователи

Основные пользователи — инженеры по функциональной безопасности, разработчики ПО для E/E/PE систем, архитекторы систем, оценщики/асессоры и организации по сертификации. TR полезен компаниям, которые хотят применять объектно‑ориентированные языки (например, C++, Java и т. п.) в системах с требованиями по функциональной безопасности, а также поставщикам средств разработки и инструментов верификации.

Связанные стандарты

IEC TR 61508-3-3:2025 является дополнением к IEC 61508-3 и входит в семействo IEC 61508 (части 1–7). Также тесно связано с отраслевыми стандартами и руководствами по применению принципов IEC 61508, такими как IEC 61511 (процессная безопасность), IEC 61513 (ядерная энергетика), ISO 26262 (автомобильная отрасль) и национальными/региональными адаптациями (EN/naSRPS и др.).

Ключевые слова

функциональная безопасность, IEC 61508, объектно‑ориентированное программирование, TR, программное обеспечение, верификация, динамическая память, предсказуемость, SIL, методы и техники.

FAQ

В: Что это за стандарт?

О: Это технический отчёт IEC TR 61508-3-3:2025, дополняющий IEC 61508‑3, с практическими рекомендациями по использованию объектно‑ориентированных технологий в системах, подпадающих под действие IEC 61508. Документ опубликован IEC в 2025 году и не заменяет, а поясняет и дополняет требования основной части 3.

В: Что он регулирует?

О: TR описывает темы и приёмы, которые следует рассматривать при проектировании и верификации объектно‑ориентированного ПО для safety‑критичных приложений: ограничения языковых конструкций, управление памятью, требования к детерминированности, набор рекомендуемых методов верификации и организационных мер.

В: Кто обычно использует?

О: Применяют инженеры по безопасности, разработчики и архитекторы ПО, оценщики соответствия и организации, отвечающие за приемо‑сдаточные испытания и сертификацию E/E/PE систем, а также поставщики инструментов разработки и верификации.

В: Он актуален или заменён?

О: IEC TR 61508-3-3:2025 был опубликован в 2025 году как действующий технический отчёт и остается действующим документом‑рекомендацией; он не заменяет IEC 61508‑3 и предполагается к использованию совместно с ним.

В: Это часть серии?

О: Да — это дополнительный Technical Report в семействе IEC 61508. Его следует читать в связке с IEC 61508‑3 (Software requirements) и другими частями серии IEC 61508 (части 1–7), а также учитывать отраслевые стандарты, основанные на IEC 61508.

В: Какие ключевые слова?

О: Объектно‑ориентированное программирование, функциональная безопасность, IEC 61508, software safety, динамическая память, верификация, SIL, модульность, инкапсуляция.