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

тивной точки зрения обязательным не является – формально достаточно ис- ходных текстов, документации, ЗБ (за- даний по безопасности) и применимых ПЗ (профилей защиты), всё остальное оценщик делает сам. Поэтому вопрос использования инструментария вери- фикации и валидации (V&V) более ак- туален для разработчиков функцио- нально безопасных систем – там у раз- работчика есть больше возможностей для самостоятельного управления стоимостью сертификации. Впрочем, разработчики информационно без- опасных систем тоже могут почерпнуть из использования инструментария V&V много полезного, особенно если используемый разработчиком и оцен- щиком инструментарий совпадает или хотя бы совместим. Формирование пакета сертифика- ционной документации выделено в от- дельный пункт не случайно, так как здесь тоже есть нюансы. Основная про- блема в том, что в стандартах хоть и приводится состав и структура соответ- ствующих сертификационных пакетов, но зачастую содержится недостаточно подробностей о том, что конкретно каждый документ должен содержать и в каком виде. Поэтому даже при полном соблюдении «буквы» стандарта разное оформление сертификационных доку- ментов может дать разное (читай – очень разное) время прохождения про- цедуры подтверждения соответствия. Чтобы сократить потери времени в про- цессе оценки, ряд компаний (напри- мер, упомянутая LDRA) предоставляет не только инструментарий V&V, но и, во-первых, шаблоны сертификационной документации , а во-вторых, системы управления взаимодействием с оценщи- ком (Certification Liaison Management System, или просто Certification Mana- gement System; соответствующий про- дукт от LDRA так и называется – LDRA Certification Management System, сокра- щённо LCMS). Это позволяет, во-пер- вых, сразу оформить документы «пра- вильно» (а значит, сократить количе- ство итераций аудита), а во-вторых, де- монстрировать их оценщику и получать обратную связь по чётко формализо- ванному процессу. Таким образом, идеальная картина может выглядеть примерно так, как по- казано на рис. 2. (Предполагается, что на предприятии-разработчике развёр- нуты и используются система управле- ния требованиями, системы управле- ния версиями для кода и документов, квалифицированный по требуемому стандарту инструментарий V&V и си- стема управления взаимодействием с оценщиком.) 1. Требования стандарта и их производ- ные требования (например, связан- ные стандарты) импортируются в ин- струментарий V&V (зачастую этот шаг сводится к простому выбору шаб- лона проекта). Это даёт перечень кон- кретных действий, которые нужно будет выполнить. 2. Требования проекта импортируются в инструментарий V&V либо из си- стемы управления требованиями, ли- бо (если требования хранятся в виде документов) из хранилища системы контроля версий. Это даёт отправную точку для трассировки требований. 3. Исходные тексты из хранилища си- стемы контроля версий импорти- руются в инструментарий V&V и при- вязываются к требованиям. 4. В инструментарии V&V различным программным модулям в соответ- ствии с требуемым уровнем безопас- ности назначаются соответствующие процедуры контроля качества (стати- ческий анализ, ревью, анализ покры- тия, тестирование и т.п.) и назна- чаются исполнители. ОБ ЗОР / П РОГ РАММНОЕ ОБ Е СП Е Ч Е НИЕ 39 СТА 3/2015 www.cta.ru • Настраиваемые домены защиты памяти • «Жесткое» реальное время: переключение контекста/ реакция на прерывание – единицы микросекунд • Поддержка POSIX API • Ресурсоемкость: ОЗУ/ПЗУ – сотни килобайт • Поддержка многопроцессорности (SMP/AMP) и многоядерных процессоров • Расширенная поддержка сетей TCP/IP (IPv4, IPv6) • Функции управления энергопотреблением • Мощный графический пакет Tilcon Graphics Suite • Мощная интегрированная среда разработки на базе Eclipse • Поддерживаемые процессоры: х86, ARM, MIPS, PowerPC, ColdFire • Сертификация МЭК 15408 («Общие критерии») EAL 4/4+/6+, DO-178B уровень A, МЭК 61508 SIL 3, CENELEC EN 50128 и FDA 510(k) • Открытый исходный текст, возможность построения ОС из исходных текстов Реклама Особенности и преимущества VxWorks: ОФИЦИАЛЬНЫЙ ДИСТРИБЬЮТОР WIND RIVER VxWorks: 20 лет в космосе — полет нормальный! Москва Тел.: (495) 234-0636 • Факс: (495) 234-0640 • info@prosoft.ru • www.prosoft.ru C.-Петербург Тел.: (812) 448-0444 • Факс: (812) 448-0339 • info@spb.prosoft.ru • www.prosoft.ru