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