| Отображение данных управления строением | 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 |
| Проверьте корневые входные порты с отсутствующими свойствами (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 |
| Проверяйте использование подсистем For и While Iterator (Simulink Check) | mathworks.hism.hisl_0007 |
| Проверяйте использование блоков For Iterator (Simulink Check) | mathworks.hism.hisl_0008 |
| Проверяйте использование блоков If и блоков Подсистемы Действий (Simulink Check) | mathworks.hism.hisl_0010 |
| Проверяйте использование блоков Switch Case и блоков Switch Case Action 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 |
| Проверяйте использование блоков Math Function (rem и обратные функции) (Simulink Check) | mathworks.sldv.hism.hisl_0002 |
| Проверяйте использование блоков Sqrt (Simulink Check) | mathworks.hism.hisl_0003 |
| Проверяйте использование обратных блоков Sqrt (Simulink Check) | mathworks.hism.hisl_0028 |
| Проверяйте использование блоков Math Function (журнала и log10) (Simulink Check) | mathworks.sldv.hism.hisl_0004 |
| Проверяйте использование блоков Assignment (Simulink Check) | mathworks.hism.hisl_0029 |
| Проверяйте использование блоков Signal Routing (Simulink Check) | mathworks.hism.hisl_0034 |
| Проверьте корневые входные порты с отсутствующими определениями области значений (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 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 |
| Проверьте параметры диагностики, связанные с безопасностью для блоков Merge (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 |
| Проверьте, есть ли шаблоны в блоках 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 |
| Проверяйте использование блоков Gain (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 |
| Проверьте параметры конфигурации для C:2012 MISRA (Simulink Check) | mathworks.misra.CodeGenSettings |
| Проверьте блоки, не рекомендуемые для развертывания производственного кода C/C + + (Simulink Check) | mathworks.codegen.PCGSupport |
| Проверяйте блоки, не рекомендуемые для C:2012 MISRA (Simulink Check) | mathworks.misra.BlkSupport |
| Проверяйте на неподдерживаемые имена блоков (Simulink Check) | mathworks.misra.BlockNames |
| Проверяйте использование блоков Assignment (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 |
Проверьте параметры оптимизации, связанные с безопасностью, для цикла размотки порога | mathworks.hism.hisl_0051 |
| Проверяйте использование ограниченных имен переменных (Simulink Check) | mathworks.maab.na_0019 |
| Проверяйте использование выражений с плавающей точкой в диаграммах Stateflow (Simulink Check) | mathworks.maab.jc_0481 |
| Проверяйте использование числовых литералов в Stateflow (Simulink Check) | mathworks.jmaab.jc_0702 |
| Проверяйте случай по умолчанию/else в блоках Switch Case и блоках If (Simulink Check) | mathworks.jmaab.jc_0656 |
| Сравнение типов с плавающей точкой в Simulink (Simulink Check) | mathworks.jmaab.jc_0800 |
| Проверяйте на каскадные блоки Unit Delay (Simulink Check) | mathworks.jmaab.jc_0624 |
