ГОСТ Р МЭК 61508-3-2007 Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3. Требования к программному обеспечению

Стадия жизненного цикла безопасности (номер стадии соответствует номеру блока
на рисунке 3)

Задача

Область применения

Номер пункта или раздела

Входные данные

Выходные данные

9.1 Спецификация требований к безопасности программного обеспечения

Указать требования к безопасности программного обеспечения в виде требований к функциям безопасности программного обеспечения и требований к полноте безопасности программного обеспечения.

Указать необходимые для реализации требуемых функций безопасности требования к функциям безопасности программного обеспечения для каждой Е/Е/РЕ системы, связанной с безопасностью.

Указать требования к полноте безопасности программного обеспечения для каждой Е/Е/РЕ системы, связанной с безопасностью, необходимые для достижения уровня полноты безопасности, указанного для каждой функции безопасности, назначенной этой Е/Е/РЕ системе, связанной с безопасностью

PES.

Система программного обеспечения

7.2.2

Спецификация требований к безопасности E/E/PES (МЭК 61508-2)

Спецификация требований к безопасности программного обеспечения

9.2 Планирование подтверждения соответствия требованиям к безопасности программного обеспечения

Разработать план подтверждения соответствия требованиям к безопасности программного обеспечения

PES.

Система программного обеспечения

7.3.2

Спецификация требований к безопасности программного обеспечения

План подтверждения соответствия требованиям к безопасности программного обеспечения

9.3 Проектирование и разработка программного обеспечения

Архитектура:

разработать архитектуру программного обеспечения, которая удовлетворяет указанным требованиям к безопасности в отношении необходимого уровня полноты безопасности;

рассмотреть и оценить требования, предъявляемые к программному обеспечению со стороны архитектуры аппаратных средств Е/Е/РЕ системы, связанной с безопасностью, включая значение взаимодействия между программным обеспечением и аппаратурой Е/Е/РЕ системы для безопасности управляемого оборудования

PES.

Система программного обеспечения

7.4.3

Спецификация требований к безопасности программного обеспечения.

Проект архитектуры аппаратных средств E/E/PES (МЭК 61508-2)

Описание проекта архитектуры программного обеспечения.

Спецификация проверки интеграции архитектуры программного обеспечения.

Спецификация проверки интеграции программного обеспечения и программируемых электронных устройств (как требует МЭК 61508-2)

Инструментальные средства поддержки и языки программирования:

выбрать подходящий набор инструментальных средств, включая языки программирования и компиляторы, для требуемого уровня полноты безопасности на весь период поддержки безопасности программного обеспечения с использованием верификации, подтверждения соответствия, оценки и модификации

PES.

Система программного обеспечения.

Инструментальные средства поддержки.

Языки программирования

7.4.3

Спецификация требований к безопасности программного обеспечения.

Описание проекта архитектуры программного обеспечения

Средства разработки и стандарты кодирования.

Выбор инструментов разработки

Детальное проектирование и разработка (проект программной системы):

спроектировать и реализовать программное обеспечение, которое удовлетворяет указанным требованиям к безопасности программного обеспечения в отношении необходимого уровня полноты безопасности; программное обеспечение должно быть пригодным к анализу и верификации и поддерживать возможность безопасной модификации

Проектирование архитектуры основных компонентов и подсистем программного обеспечения

7.4.5

Проектное описание архитектуры программного обеспечения.

Инструментальные средства поддержки и стандарты кодирования

Спецификация проекта программного обеспечения.

Спецификация тестирования интеграции системы программного обеспечения

Детальное проектирование и разработка (проект отдельных программных модулей):

спроектировать и реализовать программное обеспечение, которое удовлетворяет указанным требованиям к безопасности программного обеспечения в отношении необходимого уровня полноты безопасности; программное обеспечение должно быть пригодным к анализу и верификации и поддерживать возможность безопасной модификации

Проект системы программного обеспечения

7.4.5

Спецификация проекта программной системы.

Инструментальные средства поддержки и стандарты кодирования

Спецификация проекта программного модуля.

Спецификация тестирования программного модуля

Детальная реализация исходного текста:

спроектировать и реализовать программное обеспечение, которое удовлетворяет указанным требованиям к безопасности программного обеспечения в отношении необходимого уровня полноты безопасности; программное обеспечение должно быть пригодным к анализу и верификации и поддерживать возможность безопасной модификации

Отдельные программные модули

7.4.6

Спецификация проекта программного модуля.

Инструментальные средства поддержки и стандарты кодирования

Листинг исходного текста.

Обзорный отчет по исходному тексту

Тестирование программных модулей:

верифицировать выполнение требований к безопасности программного обеспечения в отношении требуемых функций и уровней полноты безопасности - показать, что каждый программный модуль выполняет предназначенные для него функции и не выполняет непредусмотренных действий

Программные модули

7.4.7

Спецификация тестирования программного модуля.

Листинг исходного текста.

Обзорный отчет по исходному тексту

Результаты тестирования программного модуля.

Верифицированные и проверенные программные модули

Проверка интеграции программного обеспечения:

верифицировать выполнение требований к безопасности программного обеспечения в отношении требуемых функций и уровней полноты безопасности - показать, что все программные модули, компоненты и подсистемы корректно выполняют предназначенные для них функции и не выполняют непредусмотренных действий

Архитектура программного обеспечения.

Система программного обеспечения

Спецификация тестирования интеграции программной системы

Результаты тестирования интеграции программной системы.

Верифицированная и проверенная программная система

9.4 Интеграция программируемых электронных устройств (аппаратура и программное обеспечение)

Интегрировать программное обеспечение с выбранной программируемой электронной аппаратурой.

Объединить программное обеспечение и аппаратные средства в связанных с безопасностью программируемых электронных устройствах для того, чтобы удостовериться в их совместимости и выполнении требований к необходимому уровню полноты безопасности

Аппаратное обеспечение программируемой электроники.

Интегрированное программное обеспечение

7.5.2

Спецификация тестирования интеграции архитектуры программного обеспечения.

Спецификация тестирования интеграции программируемой электроники (МЭК 61508-2).

Интегрированная программируемая электроника

Результаты тестирования интеграции архитектуры программного обеспечения.

Результаты тестирования интеграции программируемой электроники.

Верифицированная и проверенная интегрированная программируемая электроника

9.5 Процедуры, относящиеся к эксплуатации и сопровождению программного обеспечения

Предоставить информацию и процедуры, относящиеся к программному обеспечению и необходимые для того, чтобы гарантировать соблюдение функциональной безопасности Е/Е/РЕ систем, связанных с безопасностью, во время эксплуатации и сопровождения

Аппаратное обеспечение программируемой электроники.

Интегрированное программное обеспечение

7.6.2

По необходимости вся информация, описанная выше

Процедуры эксплуатации и сопровождения программного обеспечения

9.6 Подтверждение соответствия безопасности программного обеспечения

Обеспечить гарантию, что интегрированная система соответствует указанным требованиям к безопасности программного обеспечения для заданного уровня полноты безопасности

Аппаратное обеспечение программируемой электроники.

Интегрированное программное обеспечение

7.7.2

План подтверждения соответствия безопасности программного обеспечения

Результаты подтверждения соответствия безопасности программного обеспечения.

Принятое программное обеспечение

Модификация программного обеспечения

Внести поправки, улучшения или модификации в принятое программное обеспечение, гарантируя, что требуемый уровень полноты безопасности будет сохранен

Аппаратное обеспечение программируемой электроники.

Интегрированное программное обеспечение

7.8.2

Процедуры модификации программного обеспечения.

Результаты модификации программного обеспечения

Результаты анализа влияния модификации программного обеспечения.

Журнал модификации программного обеспечения

Верификация программного обеспечения

В той степени, в которой этого требует уровень полноты безопасности, протестировать и оценить выходные данные для заданной стадии жизненного цикла программного обеспечения, связанного с безопасностью, для того чтобы гарантировать правильность и совместимость по отношению к выходным данным и стандартам, для этой стадии

Зависит от стадии

7.9.2

План верификации (зависит от стадии)

Отчет по верификации (зависит от стадии)

Оценка функций программного обеспечения

Изучить и представить на обсуждение функциональную безопасность, достигнутую Е/Е/РЕ системами, связанными с безопасностью

Стадии 9.1, 9.2, 9.3, 9.4, 9.5 и 9.6, указанные на рисунке 3

8

План оценки функциональной безопасности программного обеспечения

Отчет по оценке функциональной безопасности программного обеспечения