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