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