ЖУРНАЛ СТА 2/2015

или QNX Momentics (при разработке систем на базе ОС QNX Neutrino). У этого подхода, правда, тоже есть одна тонкость: чтобы оценщик признал результаты V&V, полученные с исполь- зованием инструментального пакета, этот инструментальный пакет должен предварительно пройти так называе- мую квалификацию (qualification), что- бы подтвердить, что генерируемые им результаты корректны. Квалификация может производиться третьей сторо- ной, поэтому важно, чтобы оценщик, работающий с сертификационной до- кументацией, созданной с помощью инструментального пакета, признал его квалификацию. В общем случае оцен- щик может потребовать повторной не- зависимой квалификации инструмен- тального пакета (например, квалифи- кация инструментальных средств, вы- полненная зарубежными оценщиками, в России может не признаваться), и чтобы сделать это возможным, про- изводители инструментальных пакетов V&V предоставляют для своих продук- тов пакеты квалификационной докумен- тации . Пример комбинации коммерческих сертифицируемых ОС с коммерческим инструментарием V&V для снижения стоимости сертификации приведён на рис. 6. Р АЗДЕЛЯЙ И ВЛАСТВУЙ : IMA, MILS И ВИРТУАЛИЗАЦИЯ Вычислительная мощность и функ- циональные возможности современных процессоров позволяют им выполнять несколько приложений одновременно, и если с точки зрения сокращения мас- согабаритных характеристик и потреб- ляемой мощности это однозначно плюс, то с точки зрения стоимости сер- тификации, на первый взгляд, всё со- всем наоборот. Дело в том, что, как уже упоминалось, объём работ по подтвер- ждению соответствия сильно зависит от уровня безопасности (как функцио- нальной, так и информационной), по которому производится сертификация, а критичного кода в системе часто значительно меньше, чем некритично- го. Объединение на одном процессоре нескольких приложений разной степе- ни критичности требует сертификации всех этих приложений по максимально- му среди них уровню безопасности, а значит, суммарные трудозатраты резко возрастают. Или нет? Хорошим выходом из положения бы- ло бы разделить приложения по соот- ветствующим уровням безопасности и сертифицировать их по отдельности, каждое по своему уровню, но для этого необходимо продемонстрировать, что ОБ ЗОР / П РОГ РАММНОЕ ОБ Е СП Е Ч Е НИЕ 67 СТА 2/2015 www.cta.ru Прикладное ПО Связующее ПО ОС BSP Оборудование Инструментарий V&V в 10–15 раз «Ручной» подход (с элементами автоматизации) Коммерческие сертифицируемые/ сертифицированные компоненты на единицы человеко-лет Рис. 6. Сокращение трудозатрат на подготовку к сертификации за счёт применения коммерческих компонентов и инструментария ОФИЦИАЛЬНЫЙ ДИСТРИБЬЮТОР ПРОДУКЦИИ WEINTEK