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