| Отображение информации о версии модели (Simulink Check) | mathworks.do178.MdlChecksum |
| Проверка использования блоков таблицы подстановки (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 (Simulink Check) | mathworks.hism.hisl_0007 |
| Проверка использования блоков итератора (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 |
| Проверка использования математических функциональных блоков (rem и обратных функций) (Simulink Check) | mathworks.sldv.hism.hisl_0002 |
| Проверка использования блоков Sqrt (Simulink Check) | mathworks.hism.hisl_0003 |
| Проверка использования взаимных блоков Sqrt (Simulink Check) | mathworks.hism.hisl_0028 |
| Проверка использования математических функциональных блоков (функции log и log10) (Simulink Check) | mathworks.sldv.hism.hisl_0004 |
| Проверка использования блоков назначения (Simulink Check) | mathworks.hism.hisl_0029 |
| Проверка использования блоков маршрутизации сигналов (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 |
| Проверьте диаграммы потока состояний на наличие путей перехода, пересекающих параллельные границы состояний (Simulink Check) | mathworks.hism.hisf_0013 |
| Проверка диаграмм потока состояний для упорядочения состояний и переходов (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 I/O (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 |
| Проверка шаблонов/elseif/else в функциональных блоках MATLAB (Simulink Check) | mathworks.hism.himl_0006 |
| Проверка операторов переключения в функциональных блоках MATLAB (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 (Simulink Check) | mathworks.hism.himl_0008 |
| Проверка использования операторов равенства в функциональных блоках MATLAB (Simulink Check) | mathworks.hism.himl_0009 |
| Проверка использования логических операторов и функций в функциональных блоках MATLAB (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 |
| Проверка использования выражений с плавающей запятой в диаграммах Stateflow (Simulink Check) | mathworks.maab.jc_0481 |
| Проверка использования рекурсий (Simulink Check) | mathworks.hism.hisf_0004 |
| Проверка блоков интегратора дискретного времени с неопределенностью исходного состояния (Simulink) | mathworks.design.DiscreteTimeIntegratorInitCondition |
| Проверка спецификации блока ввода корневой модели (Simulink) | mathworks.design.RootInportSpec |
| Идентификация несвязанных линий, портов ввода и портов вывода (Simulink) | mathworks.design.UnconnectedLinesPorts |
| Проверка использования настраиваемых параметров в блоках (Simulink Check) | mathworks.maab.db_0110 |
| Проверка блоков с ограничениями на настраиваемые параметры (Simulink Coder) | mathworks.codegen.ConstraintsTunableParam |
| Определение сомнительных блоков в указанной системе (Simulink Coder) | mathworks.codegen.QuestionableSubsysSetting |
| Проверка использования блоков объединения (Simulink) | mathworks.design.MergeBlkUsage |
| Проверка строгой типизации данных с помощью Simulink I/O (Simulink Check) | mathworks.jmaab.db_0122 |
| Проверка определения данных потока состояний (Simulink Check) | mathworks.jmaab.db_0125 |
| Проверка состояния в конечных автоматах (Simulink Check) | mathworks.maab.db_0137 |
| Идентификация отключенных библиотечных ссылок (Simulink) | mathworks.design.DisabledLibLinks |
| Определение параметризованных библиотечных связей (Simulink) | mathworks.design.ParameterizedLibLinks |
| Определение неразрешенных библиотечных связей (Simulink) | mathworks.design.UnresolvedLibLinks |
| Проверка информации о настройке параметров, игнорируемой для ссылочных моделей (Simulink) | mathworks.design.ParamTunabilityIgnored |
| Определение ссылок на требования, указывающих недопустимые расположения в документах (требования Simulink) | mathworks.req.Identifiers |
| Определение связей требований с отсутствующими документами (требования Simulink) | mathworks.req.Documents |
| Определение связей требований с типом пути, несовместимым с настройками (требования Simulink) | mathworks.req.Paths |
| Определение ссылок на основе выбора с полями описания, не соответствующими тексту документа требований (требования Simulink) | mathworks.req.Labels |
| Проверка времени выборки и режима задания (Simulink Coder) | mathworks.codegen.SampleTimesTaskingMode |
| Проверить решатель для генерации кода (Simulink Coder) | mathworks.codegen.SolverCodeGen |
| Проверка реализации аппаратных средств (встроенный кодер) | mathworks.codegen.HWImplementation |
| Проверка параметров конфигурации для 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 |
Проверка параметров оптимизации, связанных с безопасностью, для порогового значения разгрузки шлейфа | mathworks.hism.hisl_0051 |
| Проверка использования ограниченных имен переменных (Simulink Check) | mathworks.maab.na_0019 |
| Проверка использования выражений с плавающей запятой в диаграммах Stateflow (Simulink Check) | mathworks.maab.jc_0481 |
| Проверка использования числовых литералов в Stateflow (Simulink Check) | mathworks.jmaab.jc_0702 |
| Проверка варианта по умолчанию/иначе в блоках вариантов переключения и блоках If (Simulink Check) | mathworks.jmaab.jc_0656 |
| Сравнение типов с плавающей запятой в Simulink (Simulink Check) | mathworks.jmaab.jc_0800 |
| Проверка каскадных блоков задержки установки (Simulink Check) | mathworks.jmaab.jc_0624 |
