ГОСТР 53195.5—2010
Цель: снижение сложности спецификации требований путем создания иерархической структуры частичных
требований; исключение ошибок взаимосвязей между требованиями; упрощение верификации.
Описание: при проектировании аппаратных средств должны использоваться конкретные критерии или
методы. Например, может потребоваться следующее:
- проектирование иерархически структурированных схем:
- использование изготовленных и прошедших тестирование частей схем.
Аналогично при проектировании программных средств использование структурных схем позволяет создать
однозначную структуру программных модулей. Эта структура показывает взаимосвязь модулей друг с другом,
конкретные данные, которые передаются между модулями, и конкретное управление, существующее между
модулями.
Структурное проектирование более подробно описано в [70. 71].
Б.3.3 Использование надежно испытанных компонентов
П р и м е ч а н и е — На этот метод/средство дана ссылка в ГОСТ Р 53195.3 (таблицы Б.2 и Б.6).
Цель: снижение риска появления ряда необнаруживаемых отказов путем использования компонентов
с конкретными характеристиками.
Описание: выбор надежно испытанных компонентов для целей безопасности выполняется производите
лем в соответствии с надежностью компонентов (например, использование эксплуатационно-тестирувмых физи
ческих модулей для удовлетворения высоких требований безопасности или хранение относящихся к безопасно
сти программ только в безопасной памяти). Обеспечение безопасности памяти может касаться устранения
несанкционированного доступа, влияний несанкционированной среды (электромагнитные воздействия, радиа
ция и т. д.), а также отклика компонентов в случае обнаружения отказов.
Более подробное описание этого метода’,средства приведено в [72].
Б.3.4 Модульное проектирование
П р и м е ч а н и е — На этот метод/средстводана ссылка в ГОСТ Р 53195.3 (таблицы Б.2 и Б.6).
Цель: снижение сложности проектирования и исключение ошибок, связанных с интерфейсами между под
системами.
Описание: каждая подсистема на всех уровнях проектирования четко определяется и ограничивается по
размеру (только небольшим набором функций). Интерфейсы между подсистемами поддерживаются как можно
более простыми, и пересечения (то есть разделяемые данные, обмен информацией) минимизируются. Слож
ность отдельных подсистем также ограничивается.
Более подробное описание метода/средства приведено в [73. 74].
Б.3.5 Средстваавтоматизированного проектирования
П р и м е ч а н и е — На эти средства дана ссылка в ГОСТ Р 53195.3 (таблицы Б.2 и Б.6) и в ГОСТ Р 53195.4
(таблица А.4).
Цель: обеспечение наиболее систематического выполнения процедур проектирования. Включение в про
ект подходящих автоматически спроектированных элементов, которые уже созданы и проверены.
Описание: инструменты автоматизированного проектирования (САПР) должны использоваться в процессе
проектирования как АС. так и ПО во всех случаях, когда они доступны и обоснованы сложностью системы. Пра
вильность выбора таких инструментов должна быть продемонстрирована конкретным тестированием, обширной
предысторией удовлетворительного использования либо независимой верификацией результата их примене
ния для конкретной проектируемой СБЗС-системы.
Более подробно методы/средства автоматизированного проектирования описаны в [75. 76].
Б.3.6 Моделирование
П р и м е ч а н и е — На этот метод/средство дана ссылка в ГОСТ Р 53195.3 (таблицы Б.2. Б.5 и Б.6).
Цель: выполнение систематической и полной проверки электрических/электронных схем, их функциониро
вания. а также корректное задание размеров их компонентов.
Описание: функция схемы, реализующая СБЗС-сисгему, имитируется на компьютере с помощью
запрограммированной модели ее поведения. Поведение каждого отдельного компонента схемы моделируется
отдельно, и отклик схемы, в которую он входит, анализируется при задании предельных данных для каждого
компонента.
Этот метод/средство более подробно описан в [75. 76].
Б.3.7 Проверка (обзор и анализ)
П р и м е ч а н и е — На этот метод/средстводана ссылка в ГОСТ Р 53195.3 (таблицы Б.2 и Б.6).
Цель: выявление рассогласований между спецификацией и реализацией.
Описание: заданные функции СБЗС-системы проверяют и оценивают для гарантирования того, что
СБЗС-система соответствует требованиям, приведенным в спецификации. Все сомнительные вопросы относи
тельно реализации и использования системы документируются с целью их последующего разрешения. В отличие от
сквозного анализа во время процедуры проверки автор пассивен, а эксперт активен.
27