ГОСТРМЭК 62061—2013
3 Примерами ЯПИ являютсяAda. С. Pascal, языки ассемблера. C++. Java. SQL.
3.2.49 язык программирования с ограниченной изменчивостью. ЯОИ (limited variability
language. LVL): Тип языка программирования, который позволяет объединять предварительно опреде
ленные, специфические для предметной области библиотечные функции для выполнения специфика
ций требований к системе безопасности.
[МЭК 61511-1. п. 3.2.81.1.2 модифицирован]
П р и м е ч а н и я
1 ЯОИ обеспечивает близкое соответствие функциям, необходимым для реализации применения.
2 Типичные примеры ЯОИ приведены в МЭК 61131-3 и включают языки многоступенчатых диаграмм, функ
циональных блок-диаграмм, последовательностных функциональных схем.
3 Типичными примерами систем, использующих ЯОИ. являются программируемые логические контроллеры
(ПЛК). сконфигурированные для управления оборудованием машин.
3.2.50 программное обеспечение, связанное с безопасностью (safety-related software): Про
граммное обеспечение, которое используется для реализации СБФУ в системах, связанных с безопас
ностью.
3.2.51 верификация (verification): Подтверждение проверкой (например, тестами, анализом),
что СБЭСУ, ее подсистемы или элементы подсистемы удовлетворяют требованиям, установленным
соответствующей спецификацией.
[МЭК 61508-4. л. 3.8.1 модифицирован и МЭК 61511-1, п. 3.2.92 модифицирован]
П р и м е ч а н и е — Результаты верификации должны быть представлены в виде документально оформ
ленных объективных доказательств.
П р и м е р — Процессы верификации включают:
- просмотр выходных данных (документов, относящихся ко всем стадиям жизненного цикла си
стемы безопасности) для того, чтобы убедиться в соответствии задачам и требованиям определен
ной стадии с учетом конкретных входящих данных для этой стадии:
- просмотр проектов;
- тестирование, выполняемое на проектируемых изделиях для того, чтобы убедиться, что они
работают в соответствии с их спецификациями;
- проверки интеграции, выполняемые там. где различные элементы системы объединяются
в пошаговом режиме, и проведение экологических испытаний, необходимых для того, чтобы убедить
ся. что все элементы работают вместе е соответствии со спецификацией.
3.2.52 подтверждение соответствия (validation): Подтверждение проверкой (например, тестами,
анализом), что СБЭСУ соответствует требованиям функциональной безопасности для конкретного при
менения.
[МЭК 61508-4. п. 3.8.2 модифицирован]
3.3 Сокращения
В настоящем стандарте использованы следующие сокращения.
Сокращение
Полное выражение
ООП
Отказ по общей причине
ОС
Охват диагностикой
ЭМС
Электромагнитная совместимость
ФБ
Функциональный блок
ЯПИЯзык программирования с полной изменчивостью
Вх/ВыхВход/Выход
ЯОИЯзык программирования с ограниченной изменчивостью
p
fhd
Вероятность опасного отказа в час
MTTFСреднее время до отказа
MTTRСреднее время восстановления
10