Следующая таблица содержит сводные данные верификации целей процесса проектирования от DO - 178C, DO-331 и DO-333, включая объективные, применимые ссылочные разделы и программные уровни, применимые к цели. Таблица также описывает доступные инструменты Model-Based Design для удовлетворения целей.
Таблица a-4: верификация процесса проектирования
| Цель | Касательно разделов | Действие касательно разделов | Программные уровни | Доступные продукты для модельно-ориентированного проектирования | |
|---|---|---|---|---|---|
| 1 | Низкоуровневые требования выполняют требования высокого уровня. | MB.6.3.2.a | Мбит 6.3.2 Мбит 6.8.1 | A, B, C | Simulink® Coverage™, Simulink Design Verifier™, Simulink Test™, Simulink Report Generator™, DO Qualification Kit |
| 2 | Низкоуровневые требования точны и сопоставимы. | MB.6.3.2.b Из 6.3.b Из 6.3.c Из 6.3.2.b | Мбит 6.3.2 Мбит 6.8.1 ИЗ 6.3.2 | A, B, C | Simulink Check™, Simulink Test, Simulink Report Generator, Simulink Design Verifier, DO Qualification Kit |
| 3 | Низкоуровневые требования совместимы с целевым компьютером. | MB.6.3.2.c | Мбит 6.3.2 | A, B | Simulink Check, Simulink Report Generator, DO Qualification Kit |
| 4 | Низкоуровневые требования поддаются проверке. | MB.6.3.2.d Из 6.3.e Из 6.3.2.d | Мбит 6.3.2 Мбит 6.8.1 ИЗ 6.3.2 | A, B | Simulink Check, Simulink Coverage, Simulink Design Verifier, Simulink Test, Simulink Report Generator, Simulink Design Verifier, DO Qualification Kit |
| 5 | Низкоуровневые требования соответствуют стандартам. | MB.6.3.2.e | Мбит 6.3.2 | A, B, C | Simulink Check, Simulink Coverage, Simulink Report Generator, DO Qualification Kit |
| 6 | Низкоуровневые требования прослеживаемы к требованиям высокого уровня. | MB.6.3.2.f | Мбит 6.3.2 | A, B, C | Simulink Check, Simulink Report Generator, DO Qualification Kit |
| 7 | Алгоритмы точны. | MB.6.3.2.g Из 6.3.h Из 6.3.2.g | Мбит 6.3.2 Мбит 6.8.1 ИЗ 6.3.2 | A, B, C | Simulink Check, Simulink Design Verifier, Simulink Test, Simulink Report Generator, Simulink Design Verifier, DO Qualification Kit |
| 8 | Программная архитектура совместима с требованиями высокого уровня. | MB.6.3.3.a | Мбит 6.3.3 Мбит 6.8.1 | A, B, C | Simulink Test, Simulink Report Generator |
| 9 | Программная архитектура сопоставима. | MB.6.3.3.b Из 6.3.c Из 6.3.3.b | Мбит 6.3.3 Мбит 6.8.1 ИЗ 6.3.3 | A, B, C | Simulink Check, Simulink Design Verifier, Simulink Test, Simulink Report Generator, DO Qualification Kit |
| 10 | Программная архитектура совместима с целевым компьютером. | MB.6.3.3.c | Мбит 6.3.3 | A, B | Simulink Report Generator, DO Qualification Kit |
| 11 | Программная архитектура поддается проверке. | MB.6.3.3.d Из 6.3.e Из 6.3.3.d | Мбит 6.3.3 Мбит 6.8.1 ИЗ 6.3.3 | A, B | Simulink Coverage, Simulink Test, Simulink Report Generator, Simulink Design Verifier, DO Qualification Kit |
| 12 | Программная архитектура соответствует стандартам. | MB.6.3.3.e | Мбит 6.3.3 | A, B, C | Simulink Check, Simulink Coverage, Simulink Report Generator, DO Qualification Kit |
| 13 | Программное обеспечение, делящее целостность, подтверждено. | MB.6.3.3.f | Мбит 6.3.3 | A, B, C, D | Не применяется |
| МБАЙТ 14 | Случаи симуляции правильны | MB.6.8.3.2.a | Мбит 6.8.1 Мбит 6.8.3.2 | A, B, C | Simulink Test, Simulink Report Generator |
| МБАЙТ 15 | Процедуры симуляции правильны | MB.6.8.3.2.b | Мбит 6.8.1 Мбит 6.8.3.2 | A, B, C | Simulink Test, Simulink Report Generator |
| МБАЙТ 16 | Случаи симуляции правильны и объясненные несоответствия | MB.6.8.3.2.c | Мбит 6.8.1 Мбит 6.8.3.2 | A, B, C | Simulink Test, Simulink Report Generator, DO Qualification Kit |
| FM 14 | Формальные аналитические случаи и процедуры правильны. | Из 6.3.6.a Из 6.3.6.b | ИЗ 6.3.6 | A, B, C | Simulink Design Verifier, DO Qualification Kit |
| FM 15 | Формальные результаты анализа правильны и объясненные несоответствия. | Из 6.3.6.c | ИЗ 6.3.6 | A, B, C | Simulink Design Verifier, DO Qualification Kit |
| FM 16 | Формализация требований правильна. | Из 6.3.i | Из 6.3.i | A, B, C | Simulink Design Verifier, DO Qualification Kit |
| FM 17 | Формальный метод правильно задан, выровнен по ширине и соответствующий. | ИЗ 6.2.1 | Из 6.2.1.a Из 6.2.1.b Из 6.2.1.c | A, B, C, D | Simulink Design Verifier, DO Qualification Kit |
Следующие разделы описывают более подробно потенциальное влияние для каждой верификации целей процесса проектирования при использовании Модельно-ориентированного проектирования, если применимо, по сравнению с традиционной разработкой.
Если модели заданы как Модели проекта, как описано в Разделе DO-331 MB.1.6.2, соответствие с высокоуровневыми требованиями к программному обеспечению может быть выполнено с помощью комбинации образцовых отзывов, анализа модели и симуляции. Simulink может использоваться, чтобы сгенерировать Образцовый отчет Сравнения. Simulink Report Generator может использоваться, чтобы сгенерировать отчет Описания Разработки системы, который включает отчет трассировки в требования высокого уровня. Simulink Test и Simulink Coverage могут использоваться, чтобы разработать тесты из требований высокого уровня и выполнить те тесты на модели, чтобы помочь в проверке, что требования высокого уровня удовлетворены. Отчет покрытия модели от Simulink Coverage может использоваться, чтобы помочь в идентификации непредусмотренной функциональности в Модели проекта и также оценить полноту случаев симуляции. Simulink Design Verifier может использоваться, чтобы доказать свойства модели в порядке помочь в проверке, что определенные требования высокого уровня удовлетворены. Если Модель Спецификации также используется на проекте с Моделью проекта, выведенной от него, то Simulink Design Verifier может использоваться, чтобы сгенерировать тесты из Модели Спецификации. Тесты могут затем использоваться, чтобы проверить Модель проекта.
Следующие возможности могут быть квалифицированы как инструмент верификации с помощью DO Qualification Kit:
Когда используется для передачи и определения сбоя, менеджера по Тесту в Simulink Test.
Описание Разработки системы сообщает в Simulink Report Generator.
Образцовый отчет Сравнения в Simulink.
Покрытие модели в Simulink Coverage.
Если модели заданы как Модели проекта, как описано в Разделе DO-331 MB.1.6.2, точность и непротиворечивость могут быть проверены с помощью комбинации образцовых отзывов, статического анализа и симуляции. Simulink может использоваться, чтобы сгенерировать Образцовый отчет Сравнения. Simulink Report Generator может использоваться, чтобы сгенерировать отчет Описания Разработки системы, который включает отчет трассировки в требования высокого уровня. Simulink Test и Simulink Requirements™ могут использоваться, чтобы разработать тесты из требований высокого уровня и выполнить те тесты на модели, чтобы помочь в проверке точности и непротиворечивости. Model Advisor может использоваться, чтобы помочь в проверке диагностических настроек, используемых во время симуляций Simulink, и также проверять использование определенных блоков Simulink. Simulink Design Verifier может использоваться, чтобы обнаружить определенные ошибки проектирования в моделях.
Следующие возможности могут быть квалифицированы как инструмент верификации с помощью DO Qualification Kit:
Когда используется для передачи и определения сбоя, менеджера по Тесту в Simulink Test.
DO-178C/DO-331 регистрации Simulink Check.
Описание Разработки системы сообщает в Simulink Report Generator.
Образцовый отчет Сравнения в Simulink.
Поиск ошибок проектирования в Simulink Design Verifier.
Если модели заданы как Модели проекта, как описано в Разделе DO-331 MB.1.6.2, совместимость с целевым компьютером может быть выполнена с помощью комбинации образцовых отзывов и проверок Model Advisor. Simulink может использоваться, чтобы сгенерировать Образцовый отчет Сравнения. Simulink Report Generator может использоваться, чтобы сгенерировать отчет Описания Разработки системы, который включает отчет трассировки в требования высокого уровня. Model Advisor может использоваться, чтобы помочь в проверке, что настройки аппаратного интерфейса, используемые Embedded Coder®, совместимы с целевым процессором.
Следующие возможности могут быть квалифицированы как инструмент верификации с помощью DO Qualification Kit:
DO-178C/DO-331 регистрации Simulink Check.
Описание Разработки системы сообщает в Simulink Report Generator.
Образцовый отчет Сравнения в Simulink.
Если модели заданы, когда Модели проекта, как описано в Разделе DO-331 MB.1.6.2, verifiability может быть выполнен с помощью комбинации образцовых отзывов и симуляции. Simulink может использоваться, чтобы сгенерировать Образцовый отчет Сравнения. Simulink Report Generator может использоваться, чтобы сгенерировать отчет Описания Разработки системы, который включает отчет трассировки в требования высокого уровня. Simulink Test и Simulink Requirements могут использоваться, чтобы разработать тесты из требований высокого уровня и выполнить те тесты на модели. Во время выполнения этих тестов отчет покрытия модели Simulink Coverage может быть сгенерирован, чтобы помочь в проверке, что все требования полностью проверяются. Отчет покрытия может помочь в нахождении условий и решений в модели, которая не может быть достигнута, указав, что проект не может полностью поддаваться проверке. Simulink Design Verifier может использоваться, чтобы идентифицировать недостижимые образцовые условия и решения с помощью поиска ошибок проектирования, указывая, что низкоуровневые требования не могут полностью поддаваться проверке. Model Advisor может использоваться, чтобы помочь в проверке использования определенных блоков Simulink и типов данных.
Следующие возможности могут быть квалифицированы как инструмент верификации с помощью DO Qualification Kit:
Когда используется для передачи и определения сбоя, менеджера по Тесту в Simulink Test.
DO-178C/DO-331 регистрации Simulink Check.
Покрытие модели в Simulink Coverage.
Описание Разработки системы сообщает в Simulink Report Generator.
Образцовый отчет Сравнения в Simulink.
Поиск ошибок проектирования в Simulink Design Verifier.
Если модели заданы как Модели проекта, как описано в Разделе DO-331 MB.1.6.2, соответствие к стандартам может быть выполнено с помощью комбинации образцовых отзывов и проверок Model Advisor. Simulink может использоваться, чтобы сгенерировать Образцовый отчет Сравнения. Simulink Report Generator может использоваться, чтобы сгенерировать отчет Описания Разработки системы, который включает отчет трассировки в требования высокого уровня. Model Advisor может использоваться, чтобы проверить предопределенные образцовые стандарты и может также быть настроен, чтобы выполнить проверки, заданные пользователем, которые уникальны для их приложения. Отчет покрытия модели от Simulink Coverage может использоваться, чтобы определить Цикломатическую сложность модели. Образцовые критерии сложности обычно являются частью стандартов моделирования.
Следующие возможности могут быть квалифицированы как инструмент верификации с помощью DO Qualification Kit:
DO-178C/DO-331 регистрации Simulink Check.
Собственные проверки, добавленные пользователем, но пользователем, ответственны за определение Инструмента Операционные Требования, Тесты, Процедуры и Ожидаемые результаты для тех собственных проверок.
Описание Разработки системы сообщает в Simulink Report Generator.
Образцовый отчет Сравнения в Simulink.
Покрытие модели в Simulink Coverage.
Если модели заданы как Модели проекта, как описано в Разделе DO-331 MB.1.6.2, трассируемость к высокоуровневым требованиям к программному обеспечению может быть выполнена с помощью комбинации образцовых отзывов и Simulink Requirements. Simulink может использоваться, чтобы сгенерировать Образцовый отчет Сравнения. Simulink Report Generator может использоваться, чтобы сгенерировать отчет Описания Разработки системы, который включает отчет трассировки в требования высокого уровня. Model Advisor может использоваться, чтобы помочь в проверке, что ссылки требований сопоставимы.
Следующие возможности могут быть квалифицированы как инструмент верификации с помощью DO Qualification Kit:
DO-178C/DO-331 регистрации Simulink Check.
Описание Разработки системы сообщает в Simulink Report Generator.
Образцовый отчет Сравнения в Simulink.
Если модели заданы как Модели проекта, как описано в Разделе DO-331 MB.1.6.2, точность алгоритмов может быть проверена с помощью комбинации образцовых отзывов и симуляции. Simulink может использоваться, чтобы сгенерировать Образцовый отчет Сравнения. Simulink Report Generator может использоваться, чтобы сгенерировать отчет Описания Разработки системы, который включает отчет трассировки в требования высокого уровня. Simulink Test и Simulink Requirements могут использоваться, чтобы разработать тесты из требований высокого уровня и выполнить те тесты на модели, помогающей в проверке точности алгоритмов в модели. Model Advisor может использоваться, чтобы помочь в проверке использования определенных блоков Simulink и типов данных. Возможность поиска ошибок проектирования Simulink Design Verifier может использоваться, чтобы помочь в нахождении потенциального деления вычислениями нулевого или числового переполнения, которые могли привести к неправильному поведению.
Следующие возможности могут быть квалифицированы как инструмент верификации с помощью DO Qualification Kit:
DO-178C/DO-331 регистрации Simulink Check.
Когда используется для передачи и определения сбоя, менеджера по Тесту в Simulink Test.
Описание Разработки системы сообщает в Simulink Report Generator.
Образцовый отчет Сравнения в Simulink.
Поиск ошибок проектирования в Simulink Design Verifier.
Совместимость программной архитектуры в моделях может быть проверена с помощью образцовых отзывов. Simulink может использоваться, чтобы сгенерировать Образцовый отчет Сравнения. Simulink Report Generator может использоваться, чтобы сгенерировать отчет Описания Разработки системы, который включает отчет трассировки в требования высокого уровня. Simulink Test. Средство просмотра Зависимости моделей в Simulink может показать архитектуру блоков библиотеки и эталонных моделей.
Simulink Test и Simulink Report Generator могут использоваться, чтобы выполнить тесты, разработанные из требований высокого уровня для модели.
Описание Разработки системы и поддержка отчета Сравнения Модели в Simulink Report Generator и Simulink могут быть квалифицированы как инструменты верификации с помощью DO Qualification Kit.
Высокоуровневая программная архитектура, которая включает операционную систему реального времени (RTOS) и другой код, может быть проверена с помощью традиционных методов.
Непротиворечивость программной архитектуры в моделях может быть проверена с помощью образцовых отзывов. Simulink может использоваться, чтобы сгенерировать Образцовый отчет Сравнения. Simulink Report Generator может использоваться, чтобы сгенерировать отчет Описания Разработки системы. Средство просмотра Зависимости моделей в Simulink может показать архитектуру блоков библиотеки и эталонных моделей. Model Advisor может использоваться, чтобы помочь в проверке диагностических настроек, используемых во время симуляций Simulink, и также проверять использование определенных блоков Simulink.
Simulink Test и Simulink Report Generator могут использоваться, чтобы выполнить тесты, разработанные из требований высокого уровня для модели.
Simulink Design Verifier может использоваться, чтобы проверить непротиворечивость интерфейсов модели с помощью проверок диапазона проекта.
Следующие возможности могут быть квалифицированы как инструмент верификации с помощью DO Qualification Kit:
DO-178C/DO-331 регистрации Simulink Check.
Описание Разработки системы сообщает в Simulink Report Generator.
Образцовый отчет Сравнения в Simulink.
Высокоуровневая программная архитектура, которая включает RTOS и другой код, может быть проверена с помощью традиционных методов.
Целевая совместимость программной архитектуры в моделях может быть проверена с помощью образцовых отзывов. Simulink может использоваться, чтобы сгенерировать Образцовый отчет Сравнения. Simulink Report Generator может использоваться, чтобы сгенерировать отчет Описания Разработки системы. Model Advisor может использоваться, чтобы проверить, что настройки аппаратного интерфейса, используемые Embedded Coder, совместимы с целевым процессором.
Следующие возможности могут быть квалифицированы как инструмент верификации с помощью DO Qualification Kit:
DO-178C/DO-331 регистрации Simulink Check.
Описание Разработки системы сообщает в Simulink Report Generator.
Образцовый отчет Сравнения в Simulink.
Высокоуровневая программная архитектура, которая включает RTOS и другой код, может быть проверена с помощью традиционных методов.
Верификация программной архитектуры может быть выполнена с помощью комбинации образцовых отзывов и симуляции. Simulink может использоваться, чтобы сгенерировать Образцовый отчет Сравнения. Simulink Report Generator может использоваться, чтобы сгенерировать отчет Описания Разработки системы. Simulink Test и Simulink Requirements могут использоваться, чтобы разработать тесты из требований высокого уровня и выполнить те тесты на модели. Во время выполнения этих тестов отчет покрытия модели может быть сгенерирован, чтобы помочь в проверке, что все требования полностью проверяются. Отчет покрытия может помочь в нахождении условий и решений в архитектуре модели, которая не может быть достигнута, указав, что программная архитектура не может полностью поддаваться проверке. Simulink Design Verifier может использоваться, чтобы идентифицировать недостижимые образцовые условия и решения с помощью поиска ошибок проектирования, указывая, что программная архитектура не может полностью поддаваться проверке.
Следующие возможности могут быть квалифицированы как инструмент верификации с помощью DO Qualification Kit:
Когда используется для передачи и определения сбоя, менеджера по Тесту в Simulink Test.
Покрытие модели в Simulink Coverage.
Описание Разработки системы сообщает в Simulink Report Generator.
Образцовый отчет Сравнения в Simulink.
Поиск ошибок проектирования в Simulink Design Verifier.
Высокоуровневая программная архитектура, которая включает RTOS и другой код, может быть проверена с помощью традиционных методов.
Соответствие к стандартам может быть выполнено с помощью комбинации образцовых отзывов и проверок Model Advisor. Simulink может использоваться, чтобы сгенерировать Образцовый отчет Сравнения. Simulink Report Generator может использоваться, чтобы сгенерировать отчет Описания Разработки системы. Model Advisor может использоваться, чтобы проверить предопределенные образцовые стандарты и может также быть настроен, чтобы выполнить проверки, заданные пользователем, которые уникальны для их приложения.
Следующие возможности могут быть квалифицированы как инструмент верификации с помощью DO Qualification Kit:
DO-178C/DO-331 регистрации Simulink Check.
Собственные проверки, добавленные пользователем, но пользователем, ответственны за определение Инструмента Операционные Требования, Тесты, Процедуры и Ожидаемые результаты для тех собственных проверок.
Описание Разработки системы сообщает в Simulink Report Generator.
Образцовый отчет Сравнения в Simulink.
Высокоуровневая программная архитектура, которая включает RTOS и другой код, может быть проверена с помощью традиционных методов.
Поскольку разделение за пределами осциллографа Модельно-ориентированного проектирования, разделение может быть проверено с помощью традиционных методов.
Случаи симуляции могут быть разработаны с помощью Simulink Test или Simulink Report Generator. Эти тесты должны быть рассмотрены против требований высокого уровня.
Способы симуляции могут быть разработаны с помощью Simulink Test или Simulink Report Generator. Эти процедуры тестирования должны быть рассмотрены против требований высокого уровня и тестов.
Симуляции могут быть выполнены с помощью Simulink Test или Simulink Report Generator. В этих инструментах фактические результаты могут сравниться с ожидаемыми результатами в рамках протокола испытаний. В случае Simulink Test менеджер по Тесту может использоваться, чтобы сравнить ожидаемые результаты с фактическими результатами. Результаты симуляции должны быть рассмотрены, и отказы должны быть исправлены или объяснены.
Следующие возможности могут быть квалифицированы как инструмент верификации с помощью DO Qualification Kit:
Когда используется для передачи и определения сбоя, менеджера по Тесту в Simulink Test.
Это показывают через проверку Polyspace® Code Prover™ и выравнивание Абстрактной интерпретации.
Это выполняется через анализ отчета результатов ошибки периода выполнения Polyspace Code Prover. Любые несоответствия должны быть объяснены и выровнены по ширине.
Это показывают через проверку Polyspace Code Prover и выравнивание Абстрактной интерпретации.
Simulink Design Verifier использует Плагин Программы автоматического доказательства Prover® Technology, Polyspace Code Prover и Polyspace Code Prover Server™, чтобы идентифицировать ошибки проектирования в моделях Simulink.
DO Qualification Kit: План квалификации инструмента Simulink Design Verifier цитирует исследования, которые используются в качестве теоретического основания для модели Prover Plug-In, проверяющей методологию. DO Qualification Kit: Polyspace Code Prover Теоретическая Основа выравнивает по ширине разумность метода Абстрактной интерпретации, используемого Polyspace Code Prover и Polyspace Code Prover Server.
