Можно использовать эти проверки Model Advisor, чтобы упростить разработку и поиск и устранение неисправностей моделей, подсистем и соответствующего сгенерированного кода для проектов, включающих DO - 178C (и связанные стандарты) и стандарты MISRA C:2012:
Model Advisor выполняет контроль лицензии Simulink® Check™, когда вы осуществляете эти проверки.
Для получения информации о выполнении анализа модели с помощью Model Advisor смотрите Осуществленные Проверки Model Advisor и Результаты Анализа (Simulink Check)
Эта таблица идентифицирует квалифицированные проверки, которые расположены в папке Model Advisor By Task> Modeling Standards for DO-178C/DO-331.
| Проверка Model Advisor | Проверяйте ID | Подпапка Model Advisor |
|---|---|---|
| Информация о версии модели дисплея (Simulink Check) | mathworks.do178.MdlChecksum | Нет данных |
| Проверяйте использование блоков интерполяционной таблицы (Simulink Check) | mathworks.hism.hisl_0033 | High-Integrity Systems> Simulink |
| Проверяйте на противоречивые векторные методы индексирования (Simulink Check) | mathworks.hism.hisl_0021 | High-Integrity Systems> Simulink |
| Проверяйте использование различных блоков (Simulink Check) | mathworks.hism.hisl_0023 | High-Integrity Systems> Simulink |
| Проверяйте на корневой Inports с недостающими свойствами (Simulink Check) | mathworks.hism.hisl_0024 | High-Integrity Systems> Simulink |
| Проверяйте на блоки Оператора отношения, которые приравнивают типы с плавающей точкой (Simulink Check) | mathworks.hism.hisl_0016 | High-Integrity Systems> Simulink |
| Проверяйте использование блоков Оператора отношения (Simulink Check) | mathworks.hism.hisl_0017 | High-Integrity Systems> Simulink |
| Проверяйте использование блоков Логического оператора (Simulink Check) | mathworks.hism.hisl_0018 | High-Integrity Systems> Simulink |
| Проверяйте использование того, В то время как Итератор блокируется (Simulink Check) | mathworks.hism.hisl_0006 | High-Integrity Systems> Simulink |
| Проверяйте использование На и В то время как подсистемы Итератора (Simulink Check) | mathworks.hism.hisl_0007 | High-Integrity Systems> Simulink |
| Проверяйте использование На блоки Итератора (Simulink Check) | mathworks.hism.hisl_0008 | High-Integrity Systems> Simulink |
| Проверяйте использование Если блоки и Если блоки Subsystem Действия (Simulink Check) | mathworks.hism.hisl_0010 | High-Integrity Systems> Simulink |
| Проверяйте использование блоков Случая Переключателя и блоков Subsystem Действия Случая Переключателя (Simulink Check) | mathworks.hism.hisl_0011 | High-Integrity Systems> Simulink |
| Проверяйте связанные с безопасностью настройки оптимизации на логические сигналы (Simulink Check) | mathworks.hism.hisl_0045 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью настройки оптимизации сокращения блока (Simulink Check) | mathworks.hism.hisl_0046 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью настройки оптимизации на продолжительность жизни приложения (Simulink Check) | mathworks.hism.hisl_0048 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью настройки оптимизации на инициализацию данных (Simulink Check) | mathworks.hism.hisl_0052 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью настройки оптимизации на преобразования типа данных (Simulink Check) | mathworks.hism.hisl_0053 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью настройки оптимизации на арифметические исключения деления (Simulink Check) | mathworks.hism.hisl_0054 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью настройки генерации кода на комментарии (Simulink Check) | mathworks.hism.hisl_0038 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью настройки интерфейса генерации кода (Simulink Check) | mathworks.hism.hisl_0039 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью настройки генерации кода на стиль кода (Simulink Check) | mathworks.hism.hisl_0047 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью настройки идентификатора генерации кода (Simulink Check) | mathworks.hism.hisl_0049 | High-Integrity Systems> Configuration |
| Проверяйте использование блоков Abs (Simulink Check) | mathworks.hism.hisl_0001 | High-Integrity Systems> Simulink |
| Проверяйте использование блоков Математической функции (rem и взаимные функции) (Simulink Check) | mathworks.sldv.hism.hisl_0002 | High-Integrity Systems> Simulink |
| Проверяйте использование блоков Sqrt (Simulink Check) | mathworks.hism.hisl_0003 | High-Integrity Systems> Simulink |
| Проверяйте использование Взаимных блоков Sqrt (Simulink Check) | mathworks.hism.hisl_0028 | High-Integrity Systems> Simulink |
| Проверяйте использование блоков Математической функции (журнал и функции log10) (Simulink Check) | mathworks.sldv.hism.hisl_0004 | High-Integrity Systems> Simulink |
| Проверяйте использование блоков Присвоения (Simulink Check) | mathworks.hism.hisl_0029 | High-Integrity Systems> Simulink |
| Проверяйте использование блоков Маршрутизации Сигнала (Simulink Check) | mathworks.hism.hisl_0034 | High-Integrity Systems> Simulink |
| Проверяйте на корневой Inports с недостающими определениями области значений (Simulink Check) | mathworks.hism.hisl_0025 | High-Integrity Systems> Simulink |
| Проверяйте на корневые Выходные порты с недостающими определениями области значений (Simulink Check) | mathworks.hism.hisl_0026 | High-Integrity Systems> Simulink |
| Проверяйте тип конечного автомата диаграмм Stateflow (Simulink Check) | mathworks.hism.hisf_0001 | High-Integrity Systems> Stateflow |
| Проверяйте диаграммы Stateflow на пути к переходу, которые пересекают параллельные государственные границы (Simulink Check) | mathworks.hism.hisf_0013 | High-Integrity Systems> Stateflow |
| Проверяйте диаграммы Stateflow на упорядоченное расположение состояний и переходов (Simulink Check) | mathworks.hism.hisf_0002 | High-Integrity Systems> Stateflow |
| Проверяйте параметры отладки Stateflow (Simulink Check) | mathworks.hism.hisf_0011 | High-Integrity Systems> Stateflow |
| Проверяйте диаграммы Stateflow на исключительно заданные объекты данных (Simulink Check) | mathworks.hism.hisl_0061 | High-Integrity Systems> Stateflow |
| Проверяйте диаграммы Stateflow на сильный ввод данных (Simulink Check) | mathworks.hism.hisf_0015 | High-Integrity Systems> Stateflow |
| Проверяйте использование операций сдвига для данных Stateflow (Simulink Check) | mathworks.hism.hisf_0064 | High-Integrity Systems> Stateflow |
| Проверяйте операции присвоения в диаграммы Stateflow (Simulink Check) | mathworks.hism.hisf_0065 | High-Integrity Systems> Stateflow |
| Проверяйте диаграммы Stateflow на унарные операторы (Simulink Check) | mathworks.hism.hisf_0211 | High-Integrity Systems> Stateflow |
| Проверяйте на Сильный Ввод Данных с вводом-выводом Simulink (Simulink Check) | mathworks.hism.hisf_0009 | High-Integrity Systems> Stateflow |
| Проверяйте на интерфейсы функции MATLAB с унаследованными свойствами (Simulink Check) | mathworks.hism.himl_0002 | High-Integrity Systems> MATLAB |
| Проверяйте метрики функции MATLAB (Simulink Check) | mathworks.hism.himl_0003 | High-Integrity Systems> MATLAB |
| Проверяйте код MATLAB сообщения Анализатора (Simulink Check) | mathworks.hism.himl_0004 | High-Integrity Systems> MATLAB |
| Проверяйте связанные с безопасностью настройки ссылки модели (Simulink Check) | mathworks.hism.hisl_0037 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на решатели (Simulink Check) | mathworks.hism.hisl_0043 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью настройки решателя на время симуляции (Simulink Check) | mathworks.hism.hisl_0040 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью настройки решателя на опции решателя (Simulink Check) | mathworks.hism.hisl_0041 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью настройки решателя на управление задачами и шаг расчета (Simulink Check) | mathworks.hism.hisl_0042 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на шаг расчета (Simulink Check) | mathworks.hism.hisl_0044 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на параметры (Simulink Check) | mathworks.hism.hisl_0302 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на данные, используемые для отладки (Simulink Check) | mathworks.hism.hisl_0305 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на память хранилища данных (Simulink Check) | mathworks.hism.hisl_0013 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на преобразования типов (Simulink Check) | mathworks.hism.hisl_0309 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на возможность соединения сигнала (Simulink Check) | mathworks.hism.hisl_0306 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на возможность соединения шины (Simulink Check) | mathworks.hism.hisl_0307 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки, которые применяются к возможности соединения вызова функции (Simulink Check) | mathworks.hism.hisl_0308 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на совместимость (Simulink Check) | mathworks.hism.hisl_0301 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на инициализацию модели (Simulink Check) | mathworks.hism.hisl_0304 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на модель, ссылающуюся (на Simulink Check) | mathworks.hism.hisl_0310 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на сохранение (Simulink Check) | mathworks.hism.hisl_0036 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на блоки Слияния (Simulink Check) | mathworks.hism.hisl_0303 | High-Integrity Systems> Configuration |
| Проверяйте связанные с безопасностью диагностические настройки на Stateflow (Simulink Check) | mathworks.hism.hisl_0311 | High-Integrity Systems> Configuration |
| Проверяйте связанный с безопасностью цикл for настроек оптимизации, разворачивающий порог (Simulink Check) | mathworks.hism.hisl_0051 | High-Integrity Systems> Configuration |
| Проверяйте, что объект модели называет (Simulink Check) | mathworks.hism.hisl_0032 | High-Integrity Systems> Naming |
| Проверяйте на элементы модели, которые не соединяются с требованиями (Simulink Check) | mathworks.hism.hisl_0070 | High-Integrity Systems> Requirements |
| Проверяйте на несоответствующее использование путей к переходу (Simulink Check) | mathworks.hism.hisf_0014 | High-Integrity Systems> Stateflow |
| Проверяйте использование блоков битовой операции (Simulink Check) | mathworks.hism.hisl_0019 | High-Integrity Systems> Simulink |
| Проверяйте типы данных на блоки с сигналами индекса (Simulink Check) | mathworks.hism.hisl_0022 | High-Integrity Systems> Simulink |
| Проверяйте имя файла модели (Simulink Check) | mathworks.hism.hisl_0031 | High-Integrity Systems> Naming |
| Проверяйте if/elseif/else шаблоны в блоки MATLAB function (Simulink Check) | mathworks.hism.himl_0006 | High-Integrity Systems> MATLAB |
| Проверяйте операторы switch в блоки MATLAB function (Simulink Check) | mathworks.hism.himl_0007 | High-Integrity Systems> MATLAB |
| Проверяйте глобальные переменные в графические функции (Simulink Check) | mathworks.hism.hisl_0062 | High-Integrity Systems> Simulink |
| Проверяйте на длину пользовательских имен объектов (Simulink Check) | mathworks.hism.hisl_0063 | High-Integrity Systems> Simulink |
| Проверяйте использование блоков Слияния (Simulink Check) | mathworks.hism.hisl_0015 | High-Integrity Systems> Simulink |
| Проверяйте использование условно выполняемых подсистем (Simulink Check) | mathworks.hism.hisl_0012 | High-Integrity Systems> Simulink |
| Проверяйте использование стандартизированных заголовков функции MATLAB (Simulink Check) | mathworks.hism.himl_0001 | High-Integrity Systems> MATLAB |
| Проверяйте использование операторов отношения в блоках MATLAB function (Simulink Check) | mathworks.hism.himl_0008 | High-Integrity Systems> MATLAB |
| Проверяйте использование операторов равенства в блоках MATLAB function (Simulink Check) | mathworks.hism.himl_0009 | High-Integrity Systems> MATLAB |
| Проверяйте использование логических операторов и функций в блоках MATLAB function (Simulink Check) | mathworks.hism.himl_0010 | High-Integrity Systems> MATLAB |
| Проверяйте тип и размер выражений условия (Simulink Check) | mathworks.hism.himl_0011 | High-Integrity Systems> MATLAB |
| Проверяйте именование портов в диаграммах Stateflow (Simulink Check) | mathworks.hism.hisf_0016 | High-Integrity Systems> Stateflow |
| Проверяйте определение объема объектов данных Stateflow (Simulink Check) | mathworks.hism.hisf_0017 | High-Integrity Systems> Stateflow |
| Проверяйте использование блоков Усиления (Simulink Check) | mathworks.hism.hisl_0066 | High-Integrity Systems |
| Проверяйте использование битовых операций в диаграммах Stateflow (Simulink Check) | mathworks.hism.hisf_0003 | High-Integrity Systems> Stateflow |
| Проверяйте тип данных контрольных переменных цикла (Simulink Check) | mathworks.hism.hisl_0102 | High-Integrity Systems> Simulink |
| Проверяйте связанные с безопасностью настройки оптимизации на заданные минимальные и максимальные значения (Simulink Check) | mathworks.hism.hisl_0056 | High-Integrity Systems> Configuration |
| Проверяйте на блоки Интегратора Дискретного времени с начальной неопределенностью условия (Simulink) | mathworks.design.DiscreteTimeIntegratorInitCondition | Simulink |
| Проверяйте корневые технические требования блока модели Inport (Simulink) | mathworks.design.RootInportSpec | Simulink |
| Идентифицируйте несвязанные линии, входные порты и выходные порты (Simulink) | mathworks.design.UnconnectedLinesPorts | Simulink |
| Проверяйте использование настраиваемых параметров в блоках (Simulink Check) | mathworks.maab.db_0110 | Simulink |
| Проверяйте на блоки, которые имеют ограничения на настраиваемые параметры (Simulink Coder) | mathworks.codegen.ConstraintsTunableParam | Simulink |
| Идентифицируйте сомнительные блоки в заданной системе (Simulink Coder) | mathworks.codegen.QuestionableSubsysSetting | Simulink |
| Сигналы контрольной шины, обработанные как векторы (Simulink) | mathworks.design.BusTreatedAsVector | Simulink |
| Проверяйте на потенциально задержанные возвращаемые значения подсистемы вызова функций (Simulink) | mathworks.design.DelayedFcnCallSubsys | Simulink |
| Проверяйте использование блоков Слияния (Simulink) | mathworks.design.MergeBlkUsage | Simulink |
| Проверяйте на Сильный Ввод Данных с вводом-выводом Simulink (Simulink Check) | mathworks.jmaab.db_0122 | Stateflow |
| Проверяйте определение данных Stateflow (Simulink Check) | mathworks.jmaab.db_0125 | Stateflow |
| Проверяйте на состояние в машине состояний (Simulink Check) | mathworks.maab.db_0137 | Stateflow |
| Идентифицируйте отключенные ссылки библиотеки (Simulink) | mathworks.design.DisabledLibLinks | Library Links |
| Идентифицируйте параметрированные ссылки библиотеки (Simulink) | mathworks.design.ParameterizedLibLinks | Library Links |
| Идентифицируйте неразрешенные ссылки библиотеки (Simulink) | mathworks.design.UnresolvedLibLinks | Library Links |
| Проверяйте на несоответствие настройки модели - ссылки (Simulink Coder) | mathworks.codegen.MdlrefConfigMismatch | Model Referencing |
| Проверяйте на информацию о приспособляемости параметра, проигнорированную для моделей, на которые ссылаются (Simulink) | mathworks.design.ParamTunabilityIgnored | Model Referencing |
| Идентифицируйте ссылки требования, которые задают недопустимые местоположения в рамках документов (Simulink Requirements) | mathworks.req.Identifiers | Requirements Consistency |
| Идентифицируйте ссылки требования с недостающими документами (Simulink Requirements) | mathworks.req.Documents | Requirements Consistency |
| Идентифицируйте ссылки требования с типом пути, противоречивым с настройками (Simulink Requirements) | mathworks.req.Paths | Requirements Consistency |
| Идентифицируйте основанные на выборе ссылки, имеющие поля описания, которые не совпадают с их текстом документа требований (Simulink Requirements) | mathworks.req.Labels | Requirements Consistency |
| Времена контрольного образца и режим управления задачами (Simulink Coder) | mathworks.codegen.SampleTimesTaskingMode | Simulink Coder |
| Проверяйте решатель на генерацию кода (Simulink Coder) | mathworks.codegen.SolverCodeGen | Simulink Coder |
| Проверяйте аппаратную реализацию (Embedded Coder) | mathworks.codegen.HWImplementation | Simulink Coder |
Эта таблица идентифицирует квалифицированные проверки, которые расположены в папке Model Advisor By Task> Modeling Standards for MISRA C:2012.
| Проверка Model Advisor | Проверяйте ID | Подпапка Model Advisor |
|---|---|---|
| Проверяйте параметры конфигурации на MISRA C:2012 (Simulink Check) | mathworks.misra.CodeGenSettings | Нет данных |
| Проверяйте на блоки, не рекомендуемые для производственного развертывания C/C++ кода (Simulink Check) | mathworks.codegen.PCGSupport | Нет данных |
| Проверяйте на блоки, не рекомендуемые для MISRA C:2012 (Simulink Check) | mathworks.misra.BlkSupport | Нет данных |
| Проверяйте на неподдерживаемые имена блока (Simulink Check) | mathworks.misra.BlockNames | Нет данных |
| Проверяйте использование блоков Присвоения (Simulink Check) | mathworks.misra.AssignmentBlocks | Нет данных |
| Проверяйте на выражения случая переключателя без случая по умолчанию (Simulink Check) | mathworks.misra.SwitchDefault | Нет данных |
| Проверяйте на недостающие ошибочные порты для интерфейсов приемника AUTOSAR (Simulink Check) | mathworks.misra.AutosarReceiverInterface | Нет данных |
| Проверяйте на битовые операции на целых числах со знаком (Simulink Check) | mathworks.misra.CompliantCGIRConstructions | Нет данных |
| Проверяйте на (Simulink Check) вызовов рекурсивной функции | mathworks.misra.RecursionCompliance | Нет данных |
| Проверяйте на операции равенства и неравенства на значениях с плавающей точкой (Simulink Check) | mathworks.misra.CompareFloatEquality | Нет данных |
| Проверяйте на недостающие спецификаторы const в функциях модели (Simulink Check) | mathworks.misra.ModelFunctionInterface | Нет данных |
| Проверяйте целочисленный размер слова (Simulink Check) | mathworks.misra.IntegerWordLengths | Нет данных |
| Имена объектов контрольной шины, которые используются в качестве имен элементов шины (Simulink Check) | mathworks.misra.BusElementNames | Нет данных |
