Следующая таблица предоставляет информацию относительно потенциального пользователя и ошибок инструмента, эффектов тех ошибок и как ошибки обнаруживаются.
| Ошибочный источник | Ошибочный эффект | Обнаруженный | Смягчение факторов |
|---|---|---|---|
| Ввод данных пользователем (модель, MATLAB® или данные о файле MAT) | Отказ выполнить требования | Случаи симуляции и анализ Описания Разработки системы | Simulink® Test™ и проверка генератора отчетов |
| Отказ соответствовать стандартам | Model Advisor и анализ Описания Разработки системы | Model Advisor и проверка генератора отчетов | |
| Непреднамеренная функция | Анализ описания разработки системы, случаев симуляции и покрытия | Simulink Test и проверка покрытия | |
| Engine Simulink | Отказ выполнить требования | Случаи симуляции и анализ Описания Разработки системы | Simulink Test и проверка генератора отчетов |
| Отказ соответствовать стандартам | Model Advisor и анализ Описания Разработки системы | Model Advisor и проверка генератора отчетов | |
| Непреднамеренная функция | Анализ описания разработки системы, случаев симуляции и покрытия | Simulink Test и проверка покрытия | |
| Механизм выполнения Simulink | Отказ выполнить требования | Случаи симуляции | Проверка Simulink Test |
| Непреднамеренная функция | Случаи симуляции и покрытие | Simulink Test и проверка покрытия | |
| Simulink API | Неправильный вход к Model Advisor, приводящему к отказу, о котором сообщают, | Анализ Отчета Model Advisor и действия разрешения | Проверка Model Advisor |
| Неправильный вход к Описанию Разработки системы | Анализ Описания Разработки системы и действия разрешения | Проверка генератора отчетов | |
| Неправильный вход к Образцовому Сравнению | Анализ Образцового Сравнения и действия разрешения | Проверка сравнения модели Simulink | |
| Неправильный вход к Simulink Code Inspector™, приводящему к отказу, о котором сообщают, | Анализ Отчета Simulink Code Inspector и действия разрешения | Проверка Simulink Code Inspector | |
| Simulink Test | Неправильная оценка ожидаемых результатов, приводящая к отказу, о котором сообщают, | Анализ отчета результатов симуляции и действия разрешения | Проверка Simulink Test |
| Покрытие модели | Неправильное создание отчетов покрытия модели | Анализ покрытия сообщает и дополнительное требование для оценки покрытия модели | Проверка покрытия модели Simulink Coverage™ |
| Покрытие кода | Неправильное создание отчетов покрытия кода | Анализ покрытия сообщает и дополнительное требование для оценки покрытия кода | Проверка покрытия кода Simulink Coverage |
| Model Advisor | Неправильное образцовое создание отчетов стандартов | Образцовое нарушение стандартов, приводящее к соответствующему нарушению стандартов кода, обнаруживаемо Polyspace® Bug Finder™ и Polyspace Bug Finder Server™ | Model Advisor, Polyspace Bug Finder и проверка Polyspace Bug Finder Server |
| Simulink Design Verifier™ | Неправильные образцовые ошибки проектирования при создании отчетов | Ошибки проектирования обнаруживаемы симуляцией и проверкой сгенерированного исходного кода с помощью Polyspace Code Prover™, Polyspace Code Prover Server, Polyspace Bug Finder и Polyspace Bug Finder Server | Проверка Simulink Design Verifier |
| Генератор отчетов | Неправильное описание разработки системы | Анализ Описания Разработки системы и действия разрешения | Проверка генератора отчетов |
| Simulink | Неправильное образцовое сравнение | Анализ Образцового Сравнения и действия разрешения | Проверка сравнения модели Simulink |
| Embedded Coder® | Неправильный исходный код | Анализ отчета Simulink Code Inspector | Проверка Simulink Code Inspector |
| Simulink Code Inspector | Неправильный отказ, о котором сообщают, исходного кода | Анализ Отчета Simulink Code Inspector и действия разрешения | Проверка Simulink Code Inspector |
| Polyspace Code Prover и Polyspace Code Prover Server | Неправильный отказ, о котором сообщают, исходного кода | Анализ Polyspace Code Prover и Отчета Polyspace Code Prover Server и действия разрешения | Polyspace Code Prover и проверка Polyspace Code Prover Server |
| Polyspace Bug Finder и Polyspace Bug Finder Server | Неправильный отказ, о котором сообщают, исходного кода | Анализ Polyspace Bug Finder и Отчета Polyspace Bug Finder Server и действия разрешения | Polyspace Bug Finder и проверка Polyspace Bug Finder Server |
Единственные ошибки, которые могут непосредственно влиять и на модель и на исходный код, являются ошибками ввода данных пользователем или ошибками Engine Simulink. В любом из этих случаев результатом являются неправильные низкоуровневые требования к программному обеспечению. Неправильные низкоуровневые требования к программному обеспечению обнаруживаемы на образцовом уровне через комбинацию анализа проекта, симуляции, оценки покрытия и соответствия к проверке стандартов. Поскольку эти действия делаются на скомпилированном в модели памяти, обнаружение является эффективным, основана ли ошибка на вводе данных пользователем или Engine Simulink. Кроме того, если программный уровень является A или B, случаи симуляции, используемые, чтобы проверить поведение, должен быть разработан человеком кроме образцового разработчика в порядке достигнуть требований независимости.
Если модель была проверена, исходный код может быть сгенерирован Embedded Coder и проверен Simulink Code Inspector, Polyspace Bug Finder, Polyspace Bug Finder Server, Polyspace Code Prover и Polyspace Code Prover Server. Инструменты Simulink Code Inspector и Polyspace разрабатываются двумя независимыми группами в MathWorks® и имеют независимые требования и код. Одно исключение - то, что Simulink Code Inspector, Polyspace Bug Finder, Polyspace Bug Finder Server, Polyspace Code Prover и Polyspace Code Prover Server действительно совместно используют общую функцию синтаксического анализатора для кода С, но Embedded Coder не содержит эту функциональность. Simulink Code Inspector использует Simulink API в качестве входного источника для получения информации модели. Это - тот же API, используемый Model Advisor и Simulink Report Generator™. Этот API проверяется во время процесса тестирования квалификации инструмента для каждого из этих инструментов. Вход Simulink Code Inspector из модели основан на скомпилированном для симуляции в представлении памяти и не имеет доступа к скомпилированному для получения дополнительной информации генерации кода. Simulink Code Inspector, Polyspace Bug Finder, Polyspace Bug Finder Server, Polyspace Code Prover и Polyspace Code Prover Server читают файлы кода и заголовочные файлы, которые выводятся от Embedded Coder непосредственно как текстовые ASCII-файлы.
Следующие образцовые инструменты верификации могут быть квалифицированы, на DO - 178C инструкции, с помощью DO Qualification Kit:
Simulink Report Generator – отчет Описания разработки системы (SDD)
Simulink – Образцовый отчет Сравнения
Simulink Check™ – Model Advisor DO-178C/DO-331 проверяет
Simulink Coverage – покрытие
Simulink Test – Протестируйте менеджера
Кроме того, следующие инструменты верификации кода могут быть квалифицированы, на DO - 178C инструкции, с помощью DO Qualification Kit:
Simulink Code Inspector – отчет Инспекции кода
Polyspace Bug Finder
Polyspace Bug Finder Server
Polyspace Code Prover
Polyspace Code Prover Server
Подводя итоги, все ошибки инструмента в рабочем процессе обнаруживаемы одним или несколькими действиями верификации. Кроме того, процесс квалификации инструмента для инструментов верификации обеспечивает уровень уверенности в инструментах, которая эквивалентна ручным действиям верификации, которые автоматизированы инструментами.
