Программное обеспечение, входящее в состав авиационных систем, должно быть сертифицировано в соответствии с целями DO-178C стандарта. Программное обеспечение, включенное в системы наземного или космического базирования, должно утверждаться в соответствии с целями DO-278A стандарта. Оба эти стандарта ссылаются на DO-330 как на средство проверки программных средств. Чтобы получить кредит на использование инструмента при сертификации авиационной системы или одобрении наземной или космической системы, вы должны квалифицировать этот инструмент, если выход инструмента не проверен. Продукт DO Qualification Kit предоставляет ресурсы для проверки MathWorks® Инструменты верификации программного обеспечения. Ответственность за проверку несет пользователь инструмента (не производитель инструмента).
Инструкции по использованию продукта DO Qualification Kit для проверки инструментов верификации программного обеспечения MathWorks см. в разделе «Процесс проверки».
Для получения информации о критериях, используемых для определения необходимости проверки инструмента, и об определении уровня квалификации инструмента, смотрите раздел «Требование к проверке» Плана квалификации инструмента для соответствующего инструмента верификации MathWorks.
Для получения списка областей DO-178C стандарта, для которых некоторые сертификационные кредиты (удовлетворяющие или заменяющие DO-178C цели) могут быть достигнуты путем проверки инструментов верификации MathWorks, смотрите раздел «Сертификационный кредит» Плана квалификации инструмента для соответствующего инструмента. Размер кредита, который может быть получен, зависит от используемых процессов разработки и от того, как инструменты верификации применяются в процессах.
В стандарте DO-330 Software Квалификация Инструмента Consignations раздел 11.3.1 определяет сущности, которые обычно выполняют действия по квалификации инструмента, как:
Разработчик инструментов: сущность, которая разработала инструмент.
Пользователь инструмента: сущность, которая использует инструмент в области данного программного проекта.
Раздел 11.3.2 стандарта DO-330 Software Квалификации инструмента Факторов предоставляет высокоуровневый обзор деятельности разработчика инструмента. В таблице 11-1 из DO-330 стандарта представлены типичные виды деятельности разработчиков инструментов, так как они соответствуют целям в таблицах приложения А.
Таблица 11-1: Типичные цели разработчиков инструментов
Приложение A Таблица | Цели, применимые к разработчику инструментов | Примечания |
---|---|---|
T-0 | Цели 2, 4 и 5: Применимо Другие: Не применимо | Цель 2: Разработчик инструментов предоставляет разработчику TOR. Цели 4 и 5 выполняются с использованием TOR разработчика. Другие цели: Эти цели являются обязанностью пользователя инструмента. |
T-1 | Все: Применимо | Цели 3 и 5: Полностью применимо для разработчика инструмента. Другие цели: Возможности этих целей ограничиваются конкретными действиями, выполняемыми разработчиком инструмента. |
T-2 | Все: Применимо | Разработчик инструментов использует developer-TOR для выполнения действий процесса разработки инструмента. |
T-3 | Все: Применимо | Цели 1 и 8 выполняются с использованием TOR разработчика. |
T-4 с T-7 | Все: Применимо | Разработчик инструментов выполняет все действия. |
T-8 | Все: Применимо | Возможности работ ограничиваются данными, полученными во время работ, выполняемых разработчиком инструмента. |
T-9 | Все: Применимо | Возможности работ ограничиваются действиями, выполняемыми разработчиком инструмента. |
T-10 | Все: Не применимо | Пользователь инструмента выполняет эти действия. |
В разделе 11.3.3 стандарта DO-330 Software Tool Qualification Consignations представлен обзор действий по квалификации инструмента для пользователя инструмента. В таблице 11-2 определяются типичные действия пользователей инструментов, так как они соответствуют целям, указанным в таблицах в приложении А.
Таблица 11-2: Типичные цели пользователя инструмента
Приложение A Таблица | Цели, применимые к пользователю инструмента | Примечания |
---|---|---|
T-0 | Цели 4 и 5: Не применимо Другие: Применимые | Цель 2: Пользователь инструмента должен предоставить TOR, который дополняет TOR разработчика, предоставляемый разработчиком инструмента. Цели 4 и 5: Пользователь инструмента должен оценить TOR разработчика для входа в TOR. Цель 6: Пользователь инструмента должен проверить TOR, чтобы оценить, что он удовлетворяет потребностям пользователя инструмента. Цель 7: Эта деятельность выполняется при помощи TOR. |
T-1 | Цели 3 и 5: Не применимо Другие: Применимые | Цели 3 и 5: деятельность разработчиков инструментов. Другие цели: Пользователь инструмента дополняет данные, полученные разработчиком инструмента, для решения задач пользователя инструмента. Следует также планировать координацию между разработчиками инструментов и пользователями инструментов. |
T-2 с T-7 | Все: Не применимо | Все эти цели являются деятельностью разработчика инструментов. |
T-8 | Все: Применимо | Возможности относятся к данным, полученным во время операций, выполняемых пользователем инструмента. |
T-9 | Все: Применимо | Цели 1 и 2: Возможности ограничены действиями, выполняемыми пользователем инструмента. Цель 3: Соответствие инструмента выполняется в рамках проекта заявителем или пользователем инструмента. |
T-10 | Все: Применимо | Пользователь инструмента выполняет эти действия. |
Стандарт DO-330 определяет действия разработчиков инструментов и пользователей инструментов, которые необходимы для достижения целей квалификации инструмента. Как указано в столбце «Применимость TQL» в таблицах приложения, эти цели могут различаться в зависимости от того, является ли инструмент TQL-4 инструментом или TQL-5 инструментом. Как разработчик инструментов, MathWorks достигает этих целей следующим образом.
Примечание
Раздел 11.3.1 DO-330 Software Квалификации инструмента Факторов состояния Следует отметить, что для TQL-5 проверки цели могут быть достигнуты без каких-либо квалификаций инструмента данных от разработчика инструмента.
Приложение A Таблица | Применимые цели разработчика инструментов | TQL-4 | TQL-5 |
---|---|---|---|
T-0 | Цели 2, 4 и 5 | В DO Qualification Kit MathWorks предоставляет следующие типы программных продуктов:
MathWorks внутренне архивирует обзорные записи. | MathWorks предоставляет эти типы программных продуктов в DO Qualification Kit:
Цель 4 не применяется к TQL-5 инструментам. |
T-1 с T-7 | Все применимые | Следующие цели удовлетворены для инструментов TQL-4 MathWorks.
MathWorks поддерживает записи для внутренних операций разработки, которые происходят для таблиц T-1- T-7. | Нет целей, связанных с TQL-5 инструментами, которые применяются к деятельности разработчика. |
T-8 | Все применимые | MathWorks поддерживает внутренние записи для всех данных инструмента. | Операции по управлению строения для целей 1 и 4 предназначены для хранения конечного инструмента, установленного для их проекта. |
T-9 | Все применимые | MathWorks поддерживает записи для внутренних операций разработки, включая цели 2 и 5, которые происходят для таблиц с T-1 по T-8. | Для целей 2 и 5 записи обеспечения качества инструмента могут быть частью записей проверки качества программного обеспечения. Цель 2 применима к мероприятиям по таблице T-0. Проверка соответствия выполняется на этих программных продуктах и на установке инструмента. Пользователь инструмента может выполнить управление строением и проверку соответствия (цель 5) документов, представленных в DO Qualification Kit. |
T-10 | Ничего | Пользователь инструмента выполняет эти действия. | Пользователь инструмента выполняет эти действия. |