ГОСТ ISO 13849-1—2014
Т а б л и ц а J.1 — Выполняемые работы идокументация жизненного цикла безопасности программногообеспечения
Опытно-конструкторские работы
Работы по верификации
Соответствующая
документация
Машина;
Идентификация функций, включа
ющихэлементы системы управле
ния. связанные с безопасностью
Идентификация функций без
опасности
«Спецификация безопасности для кон
троля машин»
Структура:
Построение структуры управле
ния. включающей датчики и ис
полнительные механизмы
Комментарии к параметрам
безопасности выбранных
элементов
«Построение структуры управления»
Спецификация программного обе
спечения:
Перевод функций машины в функ
ции программного обеспечения
Перечитывание описаний
(см. J.3)
«Описание программного обеспечения»
Структура ПО:
Группирование функций в функци
ональные блоки
Описание критических бло
ков. которые являются объ
ектами более масштабного
анализа и проверки
«Моделирование функциональных
блоков»
Кодирование:
Кодирование в соответствии с
правилами программирования
(см. J.4)
Перечитывание кода. Провер
ка функций и их соответствия
правилам
«Кодирование комментариев в програм
ме»;
«Кодирование страниц, подлежащих
перечитыванию»
Проверка:
Выполнение тестовых сценариев:
эксплуатационный аспект функ
ций;
аспект поведения в случае отказа
Проверка тестового покрытия;
Проверка результатов тести
рования
«Матрица соответствия», которая дает
перекрестные ссылки на пункты специ
фикации и необходимые тестирования
«Протоколы испытаний», включающие в
себя тестовые сценарии и комментарии
кполученным результатам
J.3 П р ов ер ка соответствия пр ограм м ного обеспечения его специф икации
Как часть жизненного цикла безопасности программного обеспечения работа по вериф икации на уровне
специф икации программного обеспечения заключается в чтении описаний с целью подтверждения, что все особые
позиции описаны корректно. При проверке каждой функции необходимо учитывать:
- ограничение случаев ошибочной интерпретации специф икации системы;
- избежание расхождений в специф икации, что приводит к непредсказуемому поведению SR P/C S;
- точное описание условий включения и отклю чения функций;
- гарантию того, что все возможные исходы учтены и проработаны;
- проверку согласованности;
- различные варианты параметризации;
- поведение вследствие отказа.
J.4 П рим еры пр ави л пр ограм м ир ов ани я
Для случая отказа по общ ей причине должна быть предусмотрена возможность аутентиф икации программы
по таким данны м, как автор, дата загрузки, версия и последний вид доступа к программе. Следую щ ие правила про
граммирования могут быть выделены:
а) правила программирования на уровне структуры программы.
Программирование должно быть выполнено так. чтобы общ ая структура была последовательной и понятной
и позволяла легко определить местонахождение различной обработки данных, что подразумевает:
1) применение шаблонов типовой программы или функциональных блоков:
2 ) деление программы на части для того, чтобы определить основные элементы , соответствующие «вхо
д ам ». «обработке данны х» и «выходам»;
3 ) комментарии к каждой части программы в ее начале, чтобы облегчить обновление комментария в случае
внесения изменений;
4 ) описание возможностей, которыми обладает функциональный блок, при его вызове:
5) ячейки памяти должны заполняться одним-единственным типом данных, и должны применяться единые
метки;
62