ГОСТ Р МЭК 61131-6— 2015
П р и м е ч а н и я
1 Примерами класса Т 1 являются: текстовый редактор, или требования, или средства поддержки разработки
без автоматической генерации кода; средства управления конфигурацией.
2 Примерами класса Т2 являются: генератор тестовых программ, средства измерения тестового охвата,
средства статического анализа.
3 Примерами класса ТЗ являются: оптимизирующий компилятор, в котором связь между исходным кодом
программы и сгенерированным обьектным кодом не очевидна: компилятор, который включает исполнимый пакет
программ в рабочую программу.
4 Данная классификация основана на МЭК 61508-4, п. 3.2.11.
В таблице 7 даны примеры разделения инструментальных средств ПЛК-ФБ на классы. Строгое
разделение между встроенным программным обеспечением и инструментальными средствами зависит
от выбранной архитектуры системы.
Т а б л и ц а 7 — Примеры классиф икации инструментальных средств
Класс инструментальных средств®1
Класс
Объяснение
Инструментальные средства — ОС ПК. диагности
ка. текстовый редактор, редактор функционально
го блока, монитор, библиотеки и т.д.
Т1
Результаты работы инструментальных средств
верифицируются, и выполняется подтвержде
ние соответствия пользователем до использо
вания в ПЛК-ФБ
Инструментальные средства — человеко-машин
ный интерфейс, параметризация, управление до
ступом и т.д.
Т1
Не генерирует те программы, которые могут
явно или неявно включаться в рабочую про
грамму (включая данные) системы, связанной с
безопасностью
Инструментальные средства — уровень генерации
кода приложения ФБ, человеко-машинный интер
фейс. параметризация
ТЗ
Генерирует программы, которые могут явно
или неявно включаться в рабочую программу
ПЛК-ФБ
Инструментальные средства — уровень передачи
кода приложения ФБ
ТЗ
Могут явно или неявно включаться в рабочую
программу системы, связанной с безопасностью
ПЛК-ФБ — уровень хранения кода приложений
Не приме
няется
Встроенное микропрограммное обеспечение
ПЛК-ФБ — уровень выполнения кода приложений
Не приме
няется
Встроенное микропрограммное обеспечение
а- У инструментальных средств могут быть различные классификации в зависимости от их результатов работы
или возможностей генерации кода.
Как только такая классификация сформировалась, необходимо использовать применимые требо
вания МЭК 61508-3.
10.4 Планирование подтверждения соответствия программного обеспечения
П р и м е ч а н и я
1 Данную стадию жизненного цикла ПЛК-ФБ обычно выполняют параллельно с проектированием и разработ
кой требований программного обеспечения (см. 10.2).
2 См. 7.3.2.2 из МЭК 61508-3.
Планирование подтверждения соответствия программного обеспечения заключается в определе
нии шагов, которые должны быть выполнены для демонстрации соответствия программного обеспече
ния ПЛК-ФБ спецификации требований функциональной безопасности (см. раздел 6).
План подтверждения соответствия функциональной безопасности должен включать процедуры, ко торые
необходимо выполнить, описание среды испытаний и критерии «лрошел»/«ме прошел» компонент.
11 Подтверждение соответствия безопасности ПЛК-ФБ
Целью требований настоящего раздела является обеспечение соответствия системы ПЛК-ФБ во
всех отношениях требованиям функциональной безопасности в терминах требуемых функций безопас
ности и полноты безопасности, определенных в разделе 6.
49