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

из них решает только свою часть зада- чи, поэтому основная цель – поддержа- ние целостности сертификационной документации – в случае использова- ния разрозненных инструментов не до- стигается. К тому же разрозненные ин- струменты зачастую не привязаны к конкретным стандартам, а значит, сле- дить за тем, чтобы созданные сертифи- кационные документы содержали под- тверждение выполнения всех норма- тивных требований, в этом случае тоже нужно вручную. Гораздо более привлекательным ва- риантом, с точки зрения снижения стоимости разработки и сопровожде- ния сертификационной документации, являются интегрированные программ- ные пакеты, изначально ориентирован- ные на решение задач подтверждения соответствия. Хороший пример такого пакета – LDRA Tool Suite компании LDRA, содержащий готовые решения по подготовке сертификационной до- кументации согласно DO-178B/C, МЭК 61508, EN 50128, МЭК 26262 и МЭК 62304 (а в ближайшей перспекти- ве ещё и МЭК 60880). В состав пакета входят: ● шаблоны и примеры проектов подтвер- ждения соответствия по всем поддер- живаемым стандартам. Иными слова- ми, любой проект в LDRA Tool Suite всегда начинается с выбора целевого стандарта, соответствие которому нужно продемонстрировать, из этого сразу следует актуальный список кон- кретных задач; ● средства интеграции с системами управления требованиями и трасси- ровки требований (рис. 3). Задача управления требованиями выходит за рамки компетенции LDRA Tool Suite, для этого существует отдель- ный класс программных продуктов (например, популярная в авиации система IBM Rational DOORS). Од- нако, поскольку для подтверждения соответствия нужно демонстриро- вать привязку кода и тестов к требо- ваниям, степень покрытия требова- 64 СТА 2/2015 ОБ ЗОР / П РОГ РАММНОЕ ОБ Е СП Е Ч Е НИЕ www.cta.ru Рис. 3. Трассировка требований в LDRA Tool Suite Устройства ввода для экстремальных условий ОФИЦИАЛЬНЫЙ ДИСТРИБЬЮТОР ПРОДУКЦИИ INDUKEY, IKEY, NSI