ГОСТ Р МЭК 60880—2010
- запросы оператора, вызывающие превышение предела возможности системы во время аварийных оста
новов и при переходных режимах работы;
- состояние, когда задействованы и находятся в работе все функции автоматических контроллеров, и
- анормальные условия во время аварий и пусконаладочных работ.
G.3 Защита от ООП
Возможные меры защиты включают в себя:
- методы, используемые в течение жизненного цикла, цель которых состоит в получении свободного от
ошибок программного обеспечения (см. 13.1);
- обоснование и улучшение качества общего программного обеспечения (см. 13.2);
- использование общего программного обеспечения в очень узких и гарантированных условиях;
- ограничение последствий отказов программного обеспечения (см. 13.3):
- проектирование каналов или систем так, чтобы совпадение отказов двух каналов или систем было очень
маловероятным из-за того, что имеется очевидное различие сигнальных траекторий для этих систем;
- проектирование каналов или систем с использованием асинхронности их работы: это может быть исполь
зовано как защита по отношению к одинаковым процессорам в различных каналах, на которые влияют одни и те же
траектории в одно и то же время, и
- разнообразив деталей для некоторых или всех функций и углубление концепции независимости во время
всего жизненного цикла (см. 13.4).
G.4 Доказательство корректности
Методы доказательства корректности включают в себя:
- использование проверенных стандартных модулей программного обеспечения с четким и проверенным
интерфейсом (см. раздел 15); типичные функции включают в себя, например, управление устройствами, монито
ринг процесса и сбор входных данных, основные алгоритмы управления (такие как пропорционально-интеграль-но-
дифференциальный алгоритм, нечувствительная область, гистерезис):
- использование для декодирования загруженной в память программы инструментальных программ и про
цедур. независимых от процессов проектирования, и демонстрация соответствия спецификации загруженной в
память программы:
- использование динамического анализа для тестирования правильного поведения программного обеспе
чения в моделируемой среде, представляющей основные части станции (см. 8.2.3.2.3):
- использование статического анализа программы для определения управляющей логики и потока данных,
а также демонстрации правильности процессов принятия решения и логических процессов:
- использование двух версий программного обеспечения, испытанных поочередно, с применением случай
ных сигнальных траекторий. Этот метод может использоваться как дополнение к систематическим испытаниям
для регистрации дефектов при проектировании и кодировании;
- реализация полной программы испытаний снизу — вверх, когда правильная работа каждой компоненты
системы всесторонне проверяется до ее интегрирования в систему.
G.5 Виды разнообразия
a) Разнообразие ПО включает в себя (в порядке важности) следующие аспекты:
- функциональное разнообразив.
- различные спецификации проекта при одних и тех же функциональных требованиях;
b
) разнообразив на уровне системы может включать в себя:
- использование независимых систем для различных критериев запуска.
- использование различных базовых технологий, таких как компьютерные технологии и системы с «жест
кой» логикой,
- использование различных типов компьютеров, модулей технического обеспечения и основных концепций
проектирования,
- использование различных классов компьютерной техники, таких как PLC (контроллеры с программируе
мой логикой), микропроцессоры или миникомпьютвры;
c) особенности подхода к проектированию и решению проблем, улучшающие разнообразие, включают в
себя следующие различия:
- алгоритмы обработки.
- данные для конфигурации, калибровки и выполняемых функций.
- техническое обеспечение для входных сигналов,
- интерфейсы и коммуникации технического обеспечения.
- процессы дискретизации входов.
- временная последовательность операций.
- процессы синхронизации.
- использование архивной информации, регистров-защелок и скоростей изменения;
d) различия в проектировании и методах реализации включают в себя:
- языки.
- системы компиляции.
- библиотеки поддержки.
74