| Отобразите данные об управлении конфигурацией | mathworks.iec61508.MdlVersionInfo |
| Метрики модели дисплея и отчет сложности | mathworks.iec61508.MdlMetricsInfo |
| Проверяйте на несвязанные объекты | mathworks.iec61508.UnconnectedObjects |
| Проверяйте использование блоков интерполяционной таблицы (Simulink Check)
| mathworks.hism.hisl_0033 |
| Проверяйте на противоречивые векторные методы индексирования (Simulink Check) | mathworks.hism.hisl_0021 |
| Проверяйте использование различных блоков (Simulink Check) | mathworks.hism.hisl_0023 |
| Проверяйте на корневой Inports с недостающими свойствами (Simulink Check) | mathworks.hism.hisl_0024 |
| Проверяйте на блоки Оператора отношения, которые приравнивают типы с плавающей точкой (Simulink Check) | mathworks.hism.hisl_0016 |
| Проверяйте использование блоков Оператора отношения (Simulink Check) | mathworks.hism.hisl_0017 |
| Проверяйте использование блоков Логического оператора (Simulink Check) | mathworks.hism.hisl_0018 |
| Проверяйте использование того, В то время как Итератор блокируется (Simulink Check) | mathworks.hism.hisl_0006 |
| Проверяйте использование На и В то время как подсистемы Итератора (Simulink Check) | mathworks.hism.hisl_0007 |
| Проверяйте использование На блоки Итератора (Simulink Check) | mathworks.hism.hisl_0008 |
| Проверяйте использование Если блоки и Если блоки Subsystem Действия (Simulink Check) | mathworks.hism.hisl_0010 |
| Проверяйте использование блоков Случая Переключателя и блоков Subsystem Действия Случая Переключателя (Simulink Check) | mathworks.hism.hisl_0011 |
| Проверяйте на вычисления деления на нуль (Simulink Check) | mathworks.hism.hisl_0067 |
| Проверяйте связанные с безопасностью настройки оптимизации на логические сигналы (Simulink Check) | mathworks.hism.hisl_0045 |
| Проверяйте связанные с безопасностью настройки оптимизации сокращения блока (Simulink Check) | mathworks.hism.hisl_0046 |
| Проверяйте связанные с безопасностью настройки оптимизации на продолжительность жизни приложения (Simulink Check) | mathworks.hism.hisl_0048 |
| Проверяйте связанные с безопасностью настройки оптимизации на инициализацию данных (Simulink Check) | mathworks.hism.hisl_0052 |
| Проверяйте связанные с безопасностью настройки оптимизации на преобразования типа данных (Simulink Check) | mathworks.hism.hisl_0053 |
| Проверяйте связанные с безопасностью настройки оптимизации на арифметические исключения деления (Simulink Check) | mathworks.hism.hisl_0054 |
| Проверяйте связанные с безопасностью настройки генерации кода на комментарии (Simulink Check) | mathworks.hism.hisl_0038 |
| Проверяйте связанные с безопасностью настройки интерфейса генерации кода (Simulink Check) | mathworks.hism.hisl_0039 |
| Проверяйте связанные с безопасностью настройки генерации кода на стиль кода (Simulink Check) | mathworks.hism.hisl_0047 |
| Проверяйте связанные с безопасностью настройки идентификатора генерации кода (Simulink Check) | mathworks.hism.hisl_0049 |
| Проверяйте связанные с безопасностью настройки на аппаратную реализацию (Simulink Check) | mathworks.hism.hisl_0071 |
| Проверяйте использование блоков Abs (Simulink Check) | mathworks.hism.hisl_0001 |
| Проверяйте использование блоков Математической функции (rem и взаимные функции) (Simulink Check) | mathworks.sldv.hism.hisl_0002 |
| Проверяйте использование блоков Sqrt (Simulink Check) | mathworks.hism.hisl_0003 |
| Проверяйте использование Взаимных блоков Sqrt (Simulink Check) | mathworks.hism.hisl_0028 |
| Проверяйте использование блоков Математической функции (журнал и функции log10) (Simulink Check) | mathworks.sldv.hism.hisl_0004 |
| Проверяйте использование блоков Присвоения (Simulink Check) | mathworks.hism.hisl_0029 |
| Проверяйте использование блоков Маршрутизации Сигнала (Simulink Check) | mathworks.hism.hisl_0034 |
| Проверяйте на корневой Inports с недостающими определениями области значений (Simulink Check) | mathworks.hism.hisl_0025 |
| Проверяйте на корневые Выходные порты с недостающими определениями области значений (Simulink Check) | mathworks.hism.hisl_0026 |
| Проверяйте тип конечного автомата диаграмм Stateflow (Simulink Check) | mathworks.hism.hisf_0001 |
| Проверяйте диаграммы Stateflow на пути к переходу, которые пересекают параллельные государственные границы (Simulink Check) | mathworks.hism.hisf_0013 |
| Проверяйте диаграммы Stateflow на упорядоченное расположение состояний и переходов (Simulink Check) | mathworks.hism.hisf_0002 |
| Проверяйте параметры отладки Stateflow (Simulink Check) | mathworks.hism.hisf_0011 |
| Проверяйте диаграммы Stateflow на исключительно заданные объекты данных (Simulink Check) | mathworks.hism.hisl_0061 |
| Проверяйте диаграммы Stateflow на сильный ввод данных (Simulink Check) | mathworks.hism.hisf_0015 |
| Проверяйте использование операций сдвига для данных Stateflow (Simulink Check) | mathworks.hism.hisf_0064 |
| Проверяйте операции присвоения в диаграммы Stateflow (Simulink Check) | mathworks.hism.hisf_0065 |
| Проверяйте диаграммы Stateflow на унарные операторы (Simulink Check) | mathworks.hism.hisf_0211 |
| Проверяйте на Сильный Ввод Данных с вводом-выводом Simulink (Simulink Check) | mathworks.hism.hisf_0009 |
| Проверяйте на интерфейсы функции MATLAB с унаследованными свойствами (Simulink Check) | mathworks.hism.himl_0002 |
| Проверяйте метрики функции MATLAB (Simulink Check) | mathworks.hism.himl_0003 |
| Проверяйте код MATLAB сообщения Анализатора (Simulink Check) | mathworks.hism.himl_0004 |
| Проверяйте связанные с безопасностью настройки ссылки модели (Simulink Check) | mathworks.hism.hisl_0037 |
| Проверяйте связанные с безопасностью диагностические настройки на решатели (Simulink Check) | mathworks.hism.hisl_0043 |
| Проверяйте связанные с безопасностью настройки решателя на время симуляции (Simulink Check) | mathworks.hism.hisl_0040 |
| Проверяйте связанные с безопасностью настройки решателя на опции решателя (Simulink Check) | mathworks.hism.hisl_0041 |
| Проверяйте связанные с безопасностью настройки решателя на управление задачами и шаг расчета (Simulink Check) | mathworks.hism.hisl_0042 |
| Проверяйте связанные с безопасностью диагностические настройки на шаг расчета (Simulink Check) | mathworks.hism.hisl_0044 |
| Проверяйте связанные с безопасностью диагностические настройки на параметры (Simulink Check) | mathworks.hism.hisl_0302 |
| Проверяйте связанные с безопасностью диагностические настройки на данные, используемые для отладки (Simulink Check) | mathworks.hism.hisl_0305 |
| Проверяйте связанные с безопасностью диагностические настройки на память хранилища данных (Simulink Check) | mathworks.hism.hisl_0013 |
| Проверяйте связанные с безопасностью диагностические настройки на преобразования типов (Simulink Check) | mathworks.hism.hisl_0309 |
| Проверяйте связанные с безопасностью диагностические настройки на возможность соединения сигнала (Simulink Check) | mathworks.hism.hisl_0306 |
| Проверяйте связанные с безопасностью диагностические настройки на возможность соединения шины (Simulink Check) | mathworks.hism.hisl_0307 |
| Проверяйте связанные с безопасностью диагностические настройки, которые применяются к возможности соединения вызова функции (Simulink Check) | mathworks.hism.hisl_0308 |
| Проверяйте связанные с безопасностью диагностические настройки на совместимость (Simulink Check) | mathworks.hism.hisl_0301 |
| Проверяйте связанные с безопасностью диагностические настройки на инициализацию модели (Simulink Check) | mathworks.hism.hisl_0304 |
| Проверяйте связанные с безопасностью диагностические настройки на модель, ссылающуюся (на Simulink Check) | mathworks.hism.hisl_0310 |
| Проверяйте связанные с безопасностью диагностические настройки на сохранение (Simulink Check) | mathworks.hism.hisl_0036 |
| Проверяйте связанные с безопасностью диагностические настройки на блоки Слияния (Simulink Check) | mathworks.hism.hisl_0303 |
| Проверяйте связанные с безопасностью диагностические настройки на Stateflow (Simulink Check) | mathworks.hism.hisl_0311 |
| Проверяйте, что объект модели называет (Simulink Check) | mathworks.hism.hisl_0032 |
| Проверяйте на элементы модели, которые не соединяются с требованиями (Simulink Check) | mathworks.hism.hisl_0070 |
| Проверяйте на несоответствующее использование путей к переходу (Simulink Check) | mathworks.hism.hisf_0014 |
| Проверяйте использование блоков битовой операции (Simulink Check) | mathworks.hism.hisl_0019 |
| Проверяйте типы данных на блоки с сигналами индекса (Simulink Check) | mathworks.hism.hisl_0022 |
| Проверяйте имя файла модели (Simulink Check) | mathworks.hism.hisl_0031 |
| Проверяйте if/elseif/else шаблоны в блоки MATLAB function (Simulink Check) | mathworks.hism.himl_0006 |
| Проверяйте операторы switch в блоки MATLAB function (Simulink Check) | mathworks.hism.himl_0007 |
| Проверяйте глобальные переменные в графические функции (Simulink Check) | mathworks.hism.hisl_0062 |
| Проверяйте на длину пользовательских имен объектов (Simulink Check) | mathworks.hism.hisl_0063 |
| Проверяйте использование блоков Слияния (Simulink Check) | mathworks.hism.hisl_0015 |
| Проверяйте использование условно выполняемых подсистем (Simulink Check) | mathworks.hism.hisl_0012 |
| Проверяйте использование стандартизированных заголовков функции MATLAB (Simulink Check) | mathworks.hism.himl_0001 |
| Проверяйте использование операторов отношения в блоках MATLAB function (Simulink Check) | mathworks.hism.himl_0008 |
| Проверяйте использование операторов равенства в блоках MATLAB function (Simulink Check) | mathworks.hism.himl_0009 |
| Проверяйте использование логических операторов и функций в блоках MATLAB function (Simulink Check) | mathworks.hism.himl_0010 |
| Проверяйте тип и размер выражений условия (Simulink Check) | mathworks.hism.himl_0011 |
| Проверяйте именование портов в диаграммах Stateflow (Simulink Check) | mathworks.hism.hisf_0016 |
| Проверяйте определение объема объектов данных Stateflow (Simulink Check) | mathworks.hism.hisf_0017 |
| Проверяйте использование блоков Усиления (Simulink Check) | mathworks.hism.hisl_0066 |
| Проверяйте использование битовых операций в диаграммах Stateflow (Simulink Check) | mathworks.hism.hisf_0003 |
| Проверяйте тип данных контрольных переменных цикла (Simulink Check) | mathworks.hism.hisl_0102 |
| Проверяйте связанные с безопасностью настройки оптимизации на заданные минимальные и максимальные значения (Simulink Check) | mathworks.hism.hisl_0056 |
| Проверяйте использование рекурсий (Simulink Check) | mathworks.hism.hisf_0004 |
| Проверяйте связанные с безопасностью настройки на аппаратную реализацию (Simulink Check) | mathworks.hism.hisl_0071 |
| Проверяйте параметры конфигурации на 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 |
Проверяйте связанный с безопасностью порог разворачивающего цикла for настроек оптимизации | mathworks.hism.hisl_0051 |
| Проверяйте использование ограниченных имен переменных (Simulink Check) | mathworks.maab.na_0019 |
| Проверяйте использование выражений с плавающей точкой в диаграммах Stateflow (Simulink Check) | mathworks.maab.jc_0481 |
| Проверяйте использование числовых литералов в Stateflow (Simulink Check) | mathworks.jmaab.jc_0702 |
| Проверяйте случай по умолчанию/еще в блоки Случая Переключателя и Если блоки (Simulink Check) | mathworks.jmaab.jc_0656 |
| Сравнение плавающей точки вводит в Simulink (Simulink Check) | mathworks.jmaab.jc_0800 |
| Проверяйте на каскадные блоки Unit Delay (Simulink Check) | mathworks.jmaab.jc_0624 |
