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