| hisl_0001: Использование блока Abs |
Проверьте использование блоков Abs |
| hisl_0002: Использование блоков Математической функции (rem и обратная величина) | Проверьте использование блоков Математической функции (rem и взаимные функции) |
| hisl_0003: Использование блоков Квадратного корня | Не применяется |
| hisl_0004: Использование блоков Математической функции (натуральный логарифм и основа 10 логарифмов) | Проверьте использование блоков Математической функции (журнал и функции log10) |
| hisl_0005: Использование блоков продукта | Не применяется |
| hisl_0006: Использование того, В то время как Итератор блокируется | Проверьте использование того, В то время как Итератор блокируется |
| hisl_0007: Использование Для Итератора или В то время как подсистемы Итератора | Контрольный образец зависящие от времени блоки |
| hisl_0008: Использование Для Блоков Итератора | Проверьте использование На блоки Итератора |
| hisl_0010: Использование Если блоки и Если Подсистема Действия блокируется | Проверьте использование того, Если блоки и Если Подсистема Действия блокируется |
| hisl_0011: Использование блоков Случая Переключателя и блоков Подсистемы Действия | Проверьте блоки Случая Переключателя использования и блоки Подсистемы Действия Случая Переключателя |
| hisl_0012: Использование условно выполняемых подсистем | Проверьте использование условно выполняемых подсистем |
| hisl_0013: Использование блоков хранилища данных | Проверьте связанные с безопасностью диагностические настройки на память хранилища данных |
| hisl_0015: Использование блоков Слияния | Проверьте использование блоков Слияния |
| hisl_0016: Использование блоков, которые вычисляют операторы отношения | Проверьте на блоки Оператора отношения, которые приравнивают типы с плавающей точкой |
| hisl_0017: Использование блоков, которые вычисляют операторы отношения (2) | Проверьте использование блоков Оператора отношения |
| hisl_0018: Использование блока Logical Operator | Проверьте использование блоков Логического оператора |
| hisl_0019: Использование блока Bitwise Operator | Проверьте использование блока Bitwise Operator |
| 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: Параметры конфигурации> Математика и Типы данных> логика Реализации сигнализируют как булевы данные (по сравнению с 'double' | Проверьте связанные с безопасностью настройки оптимизации на логические сигналы |
| 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) | Проверьте использование построений Stateflow |
| 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 |
