ГОСТРМЭК 62061—2015
Приложение С
(справочное)
Руководство по проектированию и разработке встроенного программного обеспечения
Примечание — Данное приложение представляет основной подход, который удовлетворяет требовани
ям МЭК 61508-3. Сам по себе без применения дополнительных мер он не может обеспечить соответствие с МЭК
61508-3.
С.1 Общие положения
Даннов приложение предназначено оказать помощь лицам при проектировании и разработке встроенного
программного обеспечения для реализации связанных с безопасностью функций управления СБЭСУ.
Основная цель — дать общие указания по предотвращению отказов во встроенном программном обеспече
нии и любого другого неожиданного поведения встроенного программного обеспечения, которые могут привести к
созданию опасного сбоя всистеме.
Для того чтобы реализовать эту цель, необходимо рассмотреть следующее:
- описание основных характеристик, которыми должны обладать элементы программного обеспечения
СБЭСУ. чтобы гарантировать их качество ибезопасность (руководящие указания по элементам программного обе
спечения):
- создание всех необходимых технических мероприятий и положений, связанных с разработкой программ
ного обеспечения, для тех. кто участвует в проектировании программного обеспечения. Они могут быть использо
ваны в качестве руководства для разработчика при создании этого типа программного обеспечения (руководящие
указания по процессу разработки программного обеспечения):
- рекомендуемый подход для оценки программного обеспечения. Это позволяет разработчику программного
обеспечения и/или аналитику провести анализ и решить, что элементы программного обеспечения соответствуют
требованиям к безопасности СБЭСУ или подсистемы СБЭСУ (руководящие указания по верификации программ
ного обеспечения).
Данное приложение предоставляет набор основных принципов, согласованных с МЭК 61508-3. которые
адаптированы к встроенному программному обеспечению для микропроцессоров.
С.2 Руководящие указания по элементам программного обеспечения
Данный подраздел представляет руководящие указания, которые должны быть выполнены для встроенного
программного обеспечения элемента СБЭСУ или подсистемы СБЭСУ для обеспечения их безопасности в эксплу
атации и достаточно высокого качества. Для получения такого программного элемента должны быть установлены:
набор мероприятий, определенная организация и ряд принципов. Это необходимо выполнить на ранних стадиях
разработки.
С.2.1 Учет архитектуры системы
Необходимо, чтобы список ограничений, накладываемых архитектурой аппаратных средств на программное
обеспечение, был определен идокументально оформлен. Разработчиком должны быть определены иоценены по
следствия влияния любого программно-аппаратного взаимодействия на безопасность находящейся под контролем
машины или системы, а также учтены при проектировании программного обеспечения.
Примечание — Существуют следующие ограничения: протоколы и форматы, частоты входных.’выход-
ных данных, по нарастающему и убывающему фронту или по уровню, входные данные, использующие обратную
логику и т. д. Перечень этих ограничений учитывается в начале разработки и снижает риск несовместимости про
граммного обеспечения и технических средств, если программное обеспечение устанавливается в заданные ап
паратные средства.
С.2.2 Спецификации программного обеспечения
Спецификация программного обеспечения должна учитывать следующее:
- связанные с безопасностью функции управления с количественным описанием критериев эффективности
функционирования (точность, корректность) и временными ограничениями (время отклика) с их допусками или до
пустимыми отклонениями, если это возможно;
- конфигурацию или архитектуру системы:
- указания, относящиеся к полноте безопасности аппаратных средств (логических устройств, датчиков, при
водов и др.);
- указания, относящиеся к полноте программного обеспечения;
- ограничения, связанные с объемом памяти и временем отклика системы:
- интерфейсы оператора и оборудования;
60