ГОСТРМЭК 62061—2015
- производительность и время отклика;
- интерфейсы оборудования и оператора;
- все соответствующие режимы работы машины, как указано в спецификации требований к без
опасности;
- диагностические тесты внешних устройств (например, датчиков и исполнительных элементов).
6.10.2.5 Заданные для безопасности программного обеспечения требования должны быть выра
жены и структурированы так. чтобы они;
- были ясными, пригодными для верификации, тестирования, поддержки и выполнения и сораз
мерными с уровнем полноты безопасности;
- были пригодными для того, чтобы можно было определить их источник в спецификации требо
ваний к безопасности СБЭСУ;
- не содержали информации и описаний, которые являются двусмысленными.
6.10.2.6 Спецификация требований к безопасности программного обеспечения должна выражать
необходимые характеристики каждой подсистемы, предоставляя информацию, позволяющую выпол
нить соответствующий требованиям выбор оборудования. Должны быть определены следующие тре
бования для программируемых СБФУ:
- логика (т. е. функциональность) всех функциональных блоков, выполняемых каждой подсистемой;
- входные и выходные интерфейсы, предназначенные для каждого функционального блока;
- формат и диапазоны значений входящих и исходящих данных и их связь с функциональными
блоками;
- соответствующие данные, описывающие любые ограничения каждого функционального блока,
например, максимальное время отклика, предельные значения для проверки достоверности;
- функции, которые позволяют машине достигать или поддерживать безопасное состояние;
- функции, связанные с обнаружением, оповещением и обработкой ошибок;
- функции, связанные с периодическим тестированием СБФУ в автономном и неавтономном ре
жимах;
- функции, предотвращающие несанкционированные изменения в СБЭСУ;
- интерфейсы функций, не связанных с безопасностью;
- производительность и время отклика.
Примечание — Интерфейсы включают в себя средства программирования как в автономном, так и в
неавтономном режиме.
6.10.2.7 В случае необходимости в документации должны использоваться полуформальные мето
ды. такие как логика, метод функциональных блоков или последовательностных диаграмм.
Примечание — Руководящие указания по документированию программного обеспечения даны в МЭК
61506. ИСО/МЭК 15910 и ИСОМЭК 9254.
6.11 Проектирование и разработка программного обеспечения
6.11.1 Проектирование и разработка встроенного программного обеспечения
Встроенное программное обеспечение, включенное в подсистемы, должно соответствовать МЭК
61508-3 и требуемому УПБ.
Примечания
1См. также 6.7.3.2.
2 В приложении С рассматривается проектирование и разработка встроенного программного обеспечения,
используемого для реализации СБФУ для СБЭСУ.
6.11.2 Программное обеспечение, основанное на параметризации
6.11.2.1 В программном обеспечении, основанном на параметризации, связанные с безопасно
стью параметры должны рассматриваться как связанные с безопасностью аспекты проектирования
СБЭСУ. которые описаны в спецификации требований к безопасности программного обеспечения
(см. 6.10). Параметризация должна выполняться с помощью специального инструментального сред
ства. предоставляемого поставщиком СБЭСУ либо связанного с подсистемой(ами). Это инструмен
тальное средство имеет свою идентификацию (название, версия и т. д.). Оно должно предотвратить
несанкционированную модификацию, например, с помощью пароля.
6.11.2.2 Должна поддерживаться полнота всех данных, используемых для параметризации. Это
нужно достичь путем применения мер по управлению;
36