| hisl_0001: Использование блока Abs | Проверяйте использование блоков Abs (Simulink Check) |
| hisl_0002: Использование остатка и взаимные операции |
Проверяйте использование остатка и взаимные операции (Simulink Check)
|
| hisl_0003: Использование операций квадратного корня | Проверяйте использование операций квадратного корня (Simulink Check) |
| hisl_0004: Использование натурального логарифма и основы 10 операций логарифма | Проверяйте использование журнала и log10 операций (Simulink Check) |
| hisl_0005: Использование блоков продукта | Не поддающийся проверке |
| hisl_0006: Использование того, В то время как Итератор блокируется | Проверяйте использование того, В то время как Итератор блокируется (Simulink Check) |
| hisl_0007: Использование Для Итератора или В то время как подсистемы Итератора | Проверяйте использование На и В то время как подсистемы Итератора (Simulink Check) |
| hisl_0008: Использование Для Блоков Итератора | Проверяйте использование На блоки Итератора (Simulink Check) |
| hisl_0010: Использование Если блоки и Если блоки Subsystem Действия | Проверяйте использование Если блоки и Если блоки Subsystem Действия (Simulink Check) |
| hisl_0011: Использование блоков Случая Переключателя и блоков Subsystem Действия | Проверяйте использование блоков Случая Переключателя и блоков Subsystem Действия Случая Переключателя (Simulink Check) |
| hisl_0012: Использование условно выполняемых подсистем | Проверяйте использование условно выполняемых подсистем (Simulink Check) |
| hisl_0013: Использование блоков хранилища данных | Проверяйте связанные с безопасностью диагностические настройки на память хранилища данных (Simulink Check) |
| hisl_0015: Использование блоков Слияния | Проверяйте использование блоков Слияния (Simulink Check) |
| hisl_0016: Использование блоков, которые вычисляют операторы отношения | Проверяйте реляционные сравнения на сигналах с плавающей точкой (Simulink Check) |
| hisl_0017: Использование блоков, которые вычисляют операторы отношения (2) | Проверяйте использование блоков Оператора отношения (Simulink Check) |
| hisl_0018: Использование блока Logical Operator | Проверяйте использование блоков Логического оператора (Simulink Check) |
| hisl_0019: Использование битовых операций | Проверяйте использование блоков битовой операции (Simulink Check) |
| hisl_0020: Блоки, не рекомендуемые для податливости MISRA C:2012 |
Проверяйте на блоки, не рекомендуемые для производственного развертывания C/C++ кода (Simulink Check)
Проверяйте на блоки, не рекомендуемые для MISRA C:2012 (Simulink Check)
|
| hisl_0021: Сопоставимый векторный метод индексирования | Проверяйте на противоречивые векторные методы индексирования (Simulink Check) |
| hisl_0022: выбор Типа данных для сигналов индекса | Проверяйте типы данных на блоки с сигналами индекса (Simulink Check) |
| hisl_0023: Верификация различных блоков | Проверяйте использование различных блоков (Simulink Check) |
| hisl_0024: определение интерфейса Inport | Проверяйте на корневой Inports с недостающими свойствами (Simulink Check) |
| hisl_0025: Спроектируйте спецификацию min / макс. спецификацию входных интерфейсов | Проверяйте на корневой Inports с недостающими определениями области значений (Simulink Check) |
| hisl_0026: Спроектируйте спецификацию min / макс. спецификацию выходных интерфейсов | Проверяйте на корневые Выходные порты с недостающими определениями области значений (Simulink Check) |
| hisl_0028: Использование Взаимных блоков Квадратного корня | Проверяйте использование Взаимных блоков Sqrt (Simulink Check) |
| hisl_0029: Использование блоков Присвоения | Проверяйте использование блоков Присвоения (Simulink Check) |
| hisl_0031: имена файлов Модели | Проверяйте имя файла модели (Simulink Check) |
| hisl_0032: имена Объекта модели | Проверяйте имена объекта модели (Simulink Check) |
| hisl_0033: Использование блоков Интерполяционной таблицы | Проверяйте использование блоков интерполяционной таблицы (Simulink Check) |
| hisl_0034: Использование блоков Маршрутизации Сигнала | Проверяйте использование блоков Маршрутизации Сигнала (Simulink Check) |
| hisl_0036: Параметры конфигурации> Диагностика> Сохранение | Проверяйте связанные с безопасностью диагностические настройки на сохранение (Simulink Check) |
| hisl_0037: Параметры конфигурации> Ссылка Модели | Проверяйте связанные с безопасностью настройки ссылки модели (Simulink Check) |
| hisl_0038: Параметры конфигурации> Генерация кода> Комментарии | Проверяйте связанные с безопасностью настройки генерации кода на комментарии (Simulink Check) |
| hisl_0039: Параметры конфигурации> Генерация кода> Интерфейс | Проверяйте связанные с безопасностью настройки интерфейса генерации кода (Simulink Check) |
| hisl_0040: Параметры конфигурации> Решатель> Время симуляции | Проверяйте связанные с безопасностью настройки решателя на время симуляции (Simulink Check) |
| hisl_0041: Параметры конфигурации> Решатель> опции Решателя | Проверяйте связанные с безопасностью настройки решателя на опции решателя (Simulink Check) |
| hisl_0042: Параметры конфигурации> Решатель> Управление задачами и опции шага расчета | Проверяйте связанные с безопасностью настройки решателя на управление задачами и шаг расчета (Simulink Check) |
| hisl_0043: Параметры конфигурации> Диагностика> Решатель | Проверяйте связанные с безопасностью диагностические настройки на решатели (Simulink Check) |
| hisl_0044: Параметры конфигурации> Диагностика> Шаг расчета | Проверяйте связанные с безопасностью диагностические настройки на шаг расчета (Simulink Check) |
| hisl_0045: Параметры конфигурации> Математика и Типы данных> логика Реализации сигнализируют как булевы данные (по сравнению с двойным) | Проверяйте связанные с безопасностью настройки оптимизации на логические сигналы (Simulink Check) |
| hisl_0046: Параметры конфигурации> Цель Симуляции> сокращение Блока | Проверяйте связанные с безопасностью настройки оптимизации сокращения блока (Simulink Check) |
| hisl_0047: Параметры конфигурации> Генерация кода> Стиль кода | Проверяйте связанные с безопасностью настройки генерации кода на стиль кода (Simulink Check) |
| hisl_0048: Параметры конфигурации> Математика и Типы данных> продолжительность жизни Приложения (дни) | Проверяйте связанные с безопасностью настройки оптимизации на продолжительность жизни приложения (Simulink Check) |
| hisl_0049: Параметры конфигурации> Генерация кода> Идентификаторы | Проверяйте связанные с безопасностью настройки идентификатора генерации кода (Simulink Check) |
| hisl_0052: Параметры конфигурации> Генерация кода> Оптимизация> инициализация Данных | Проверяйте связанные с безопасностью настройки оптимизации на инициализацию данных (Simulink Check) |
| hisl_0053: Параметры конфигурации> Генерация кода> Оптимизация> Удаляет код от с плавающей точкой до целочисленных преобразований, который переносит значения из области значений | Проверяйте связанные с безопасностью настройки оптимизации на преобразования типа данных (Simulink Check) |
| hisl_0054: Параметры конфигурации> Генерация кода> Оптимизация> Удаляет код, который защищает от арифметических исключений деления | Проверяйте связанные с безопасностью настройки оптимизации на арифметические исключения деления (Simulink Check) |
| hisl_0056: Параметры конфигурации> Генерация кода> Оптимизация> Оптимизируют использование заданных минимальных и максимальных значений | Проверяйте связанные с безопасностью настройки оптимизации на заданные минимальные и максимальные значения (Simulink Check) |
| hisl_0060: Параметры конфигурации, которые улучшают податливость MISRA C:2012 | Проверяйте параметры конфигурации на MISRA C:2012 (Simulink Check) |
| hisl_0061: Уникальные идентификаторы для ясности | Проверяйте диаграммы Stateflow на исключительно заданные объекты данных (Simulink Check) |
| hisl_0062: Глобальные переменные в графических функциях | Проверяйте глобальные переменные в графические функции (Simulink Check) |
| hisl_0063: Длина пользовательских имен объектов, чтобы улучшить податливость MISRA C:2012 | Проверяйте на длину пользовательских имен объектов (Simulink Check) |
| hisl_0066: Использование блоков Усиления | Проверяйте использование блоков Усиления (Simulink Check) |
| hisl_0067: Защитите от вычислений деления на нуль | Проверяйте на вычисления деления на нуль (Simulink Check) |
| hisl_0070: Размещение требования соединяется в модели | Проверяйте на элементы модели, которые не соединяются с требованиями (Simulink Check) |
| hisl_0071: Параметры конфигурации> Аппаратная реализация> Противоречивые настройки аппаратной реализации | Проверяйте связанные с безопасностью настройки на аппаратную реализацию (Simulink Check) |
| hisl_0072: Использование настраиваемых параметров для моделей, на которые ссылаются, | Проверяйте на приспособляемость параметра, проигнорированную для моделей, на которые ссылаются, (Simulink Check) |
| hisl_0073: Использование операций сдвига разряда | Проверяйте использование операций сдвига разряда (Simulink Check) |
| hisl_0074: Параметры конфигурации> Диагностика> Моделирующие проблемы, связанные с вариантами | Проверяйте связанные с безопасностью диагностические настройки на варианты (Simulink Check) |
| hisl_0101: Избегайте инвариантных операций сравнения, чтобы улучшить податливость MISRA C:2012 | Не поддающийся проверке |
| hisl_0102: Тип данных контрольных переменных цикла, чтобы улучшить податливость MISRA C:2012 | Проверяйте тип данных контрольных переменных цикла (Simulink Check) |
| hisl_0301: Параметры конфигурации> Диагностика> Совместимость | Проверяйте связанные с безопасностью диагностические настройки на совместимость (Simulink Check) |
| hisl_0302: Параметры конфигурации> Диагностика> Валидность Данных> Параметры | Проверяйте связанные с безопасностью диагностические настройки на параметры (Simulink Check) |
| hisl_0303: Параметры конфигурации> Диагностика> Валидность Данных> блоки Слияния | Проверяйте связанные с безопасностью диагностические настройки на блоки Слияния (Simulink Check) |
| hisl_0304: Параметры конфигурации> Диагностика> Валидность Данных> инициализация Модели | Проверяйте связанные с безопасностью диагностические настройки на инициализацию модели (Simulink Check) |
| hisl_0305: Параметры конфигурации> Диагностика> Валидность Данных> Отладка | Проверяйте связанные с безопасностью диагностические настройки на данные, используемые для отладки (Simulink Check) |
| hisl_0306: Параметры конфигурации> Диагностика> Возможность соединения> Сигналы | Проверяйте связанные с безопасностью диагностические настройки на возможность соединения сигнала (Simulink Check) |
| hisl_0307: Параметры конфигурации> Диагностика> Возможность соединения> Шины | Проверяйте связанные с безопасностью диагностические настройки на возможность соединения шины (Simulink Check) |
| hisl_0308: Параметры конфигурации> Диагностика> Возможность соединения> Вызовы функции | Проверяйте связанные с безопасностью диагностические настройки, которые применяются к возможности соединения вызова функции (Simulink Check) |
| hisl_0309: Параметры конфигурации> Диагностика> Преобразование типов | Проверяйте связанные с безопасностью диагностические настройки на преобразования типов (Simulink Check) |
| hisl_0310: Параметры конфигурации> Диагностика> Ссылка Модели | Проверяйте связанные с безопасностью диагностические настройки на ссылку модели (Simulink Check) |
| hisl_0311: Параметры конфигурации> Диагностика> Stateflow | Проверяйте связанные с безопасностью диагностические настройки на Stateflow (Simulink Check) |
| hisl_0314: Параметры конфигурации> Диагностика> Валидность Данных> Сигналы | Проверяйте связанные с безопасностью диагностические настройки на данные сигнала (Simulink Check) |
| hisf_0001: Тип Конечного автомата | Проверяйте тип конечного автомата диаграмм Stateflow (Simulink Check) |
| hisf_0002: заданный пользователями порядок выполнения состояния/перехода | Проверяйте диаграммы Stateflow на упорядоченное расположение состояний и переходов (Simulink Check) |
| hisf_0003: Использование битовых операций | Проверяйте использование битовых операций в диаграммах Stateflow (Simulink Check) |
| hisf_0004: Защитите от вызовов рекурсивной функции, чтобы улучшить податливость кода | Проверяйте использование рекурсий (Simulink Check) |
| hisf_0007: Использование условий соединения (обеспечивающий взаимное исключение) | Не поддающийся проверке |
| hisf_0009: Сильный ввод данных (Simulink и контур Stateflow) | Проверяйте на сильный ввод данных с вводом-выводом Simulink (Simulink Check) |
| hisf_0011: настройки отладки Stateflow | Проверяйте параметры отладки Stateflow (Simulink Check) |
| hisf_0013: Использование путей к переходу (пересекающий параллельные государственные границы) | Проверяйте диаграммы Stateflow на пути к переходу тот перекрестные параллельные государственные границы (Simulink Check) |
| hisf_0014: Использование путей к переходу (проходящий через состояния) | Проверяйте на несоответствующее использование путей к переходу (Simulink Check) |
| hisf_0015: Сильный ввод данных (бросающий переменные и параметры в выражениях) | Проверяйте диаграммы Stateflow на сильный ввод данных (Simulink Check) |
| hisf_0016: имена порта Stateflow | Проверяйте именование портов в диаграммах Stateflow (Simulink Check) |
| hisf_0017: определение объема объекта данных Stateflow | Проверяйте определение объема объектов данных Stateflow (Simulink Check) |
| hisf_0065: Введите операции броска в Stateflow, чтобы улучшить податливость кода | Проверяйте операции присвоения в диаграммы Stateflow (Simulink Check) |
| hisf_0211: Защитите от использования унарных операторов в диаграммах Stateflow, чтобы улучшить податливость кода | Проверяйте диаграммы Stateflow на унарные операторы (Simulink Check) |
| himl_0001: Использование стандартизированных заголовков функции MATLAB | Проверяйте использование стандартизированных заголовков функции MATLAB (Simulink Check) |
| himl_0002: Сильный ввод данных на контурах функции MATLAB | Проверяйте на интерфейсы функции MATLAB с унаследованными свойствами (Simulink Check) |
| himl_0003: Сложность пользовательских функций MATLAB | Проверяйте метрики функции MATLAB (Simulink Check) |
| himl_0004: код MATLAB рекомендации Анализатора для генерации кода | Проверяйте код MATLAB сообщения Анализатора (Simulink Check) |
| himl_0006: код MATLAB, если / elseif / еще шаблоны | Проверяйте if/elseif/else шаблоны в блоки MATLAB function (Simulink Check) |
| himl_0007: переключатель кода MATLAB / случай / в противном случае шаблоны | Проверяйте операторы switch в блоки MATLAB function (Simulink Check) |
| himl_0008: типы данных оператора отношения кода MATLAB | Проверяйте использование операторов отношения в блоках MATLAB function (Simulink Check) |
| himl_0010: код MATLAB с логическими операторами и функциями | Проверяйте использование логических операторов и функций в блоках MATLAB function (Simulink Check) |
| himl_0011: Тип данных и размер выражений условия | Проверяйте тип и размер выражений условия (Simulink Check) |
| himl_0012: Использование функций MATLAB для генерации кода | Проверяйте функции MATLAB, не поддержанные для генерации кода (Simulink Check) |
| himl_0013: Ограничение встроенной сложности функции MATLAB | Метрики для сложности сгенерированного кода (Simulink Check) |