| hisl_0001: Использование блока Abs | Проверяйте использование блоков Abs (Проверка Simulink) |
| hisl_0002: Использование блоков Math Function (rem и returcal) |
Проверяйте использование блоков Math Function (rem и обратные функции) (Simulink Check)
|
| hisl_0003: Использование блоков квадратного корня | Проверяйте использование блоков Sqrt (Проверка Simulink) |
| hisl_0004: Использование блоков Math Function (натуральный логарифм и основа 10 логарифм) | Проверяйте использование блоков Math Function (журнала и log10) (Проверка Simulink) |
| hisl_0005: Использование блоков продукта | Не проверяется |
| hisl_0006: Использование блоков Итератор | Проверяйте использование блоков Итератор (Проверка Simulink) |
| hisl_0007: Использование для итераторов или Итератор | Проверяйте использование подсистем For и While Iterator (Проверка Simulink) |
| hisl_0008: Использование для блоков Iterator | Проверяйте использование блоков For Iterator (Проверка Simulink) |
| hisl_0010: Использование блоков If и блоков Подсистемы Действий If | Проверяйте использование блоков If и блоков If Action Subsystem (Проверка Simulink) |
| hisl_0011: Использование блоков Switch Case и блоков Action Subsystem | Проверяйте использование блоков Switch Case и блоков Switch Case Action Subsystem (Проверка Simulink) |
| hisl_0012: Использование условно исполненных подсистем | Проверяйте использование условно выполненных подсистем (Проверка Simulink) |
| hisl_0013: Использование блоков хранилища данных | Проверьте параметры диагностики, связанные с безопасностью, для памяти хранилища данных (Проверка Simulink) |
| hisl_0015: Использование блоков слияния | Проверяйте использование блоков Merge (Проверка Simulink) |
| hisl_0016: Использование блоков, которые вычисляют реляционные операторы | Проверяйте блоки Relational Operator, которые приравнивают типы с плавающей точкой (Проверка Simulink) |
| hisl_0017: Использование блоков, которые вычисляют реляционные операторы (2) | Проверяйте использование блоков Relational Operator (Проверка Simulink) |
| hisl_0018: Использование блока Логического Оператора | Проверяйте использование блоков Логического Оператора (Проверка Simulink) |
| hisl_0019: Использование побитовых операций | Проверяйте использование блоков битовой операции (Проверка Simulink) |
| hisl_0020: Блоки, не рекомендуемые для податливости C:2012 MISRA |
Проверьте блоки, не рекомендуемые для развертывания производственного кода C/C + + (Simulink Check
)
Проверяйте блоки, не рекомендуемые для C:2012 MISRA (Simulink Check)
|
| hisl_0021: последовательный метод индексирования векторов | Проверяйте на несогласованность методов индексирования векторов (Проверка Simulink) |
| hisl_0022: Выбор типа данных для сигналов индекса | Проверяйте типы данных для блоков с сигналами индекса (Проверка Simulink) |
| hisl_0023: Верификация вариантов блоков | Проверяйте использование вариантов блоков (Проверка Simulink) |
| hisl_0024: Определение интерфейса Inport | Проверьте корневые входные порты с отсутствующими свойствами (Проверка Simulink) |
| hisl_0025: Проект min/max спецификация входа интерфейсов | Проверьте корневые входные порты с отсутствующими определениями области значений (Проверка Simulink) |
| hisl_0026: Проект min/max спецификация выхода интерфейсов | Проверьте корневые выходные порты с отсутствующими определениями областей значений (Проверка Simulink) |
| hisl_0028: Использование Возвратных Квадратных Корневых блоков | Проверяйте использование Возвратных блоков Sqrt (Проверка Simulink) |
| hisl_0029: Использование блоков назначения | Проверяйте использование блоков Assignment (Проверка Simulink) |
| hisl_0031: Имена файлов модели | Проверьте имя файла модели (Проверка Simulink) |
| hisl_0032: Имена объектов модели | Проверяйте имена объектов модели (Проверка Simulink) |
| hisl_0033: Использование блоков интерполяционной таблицы | Проверяйте использование блоков интерполяционной таблицы (Проверка Simulink) |
| hisl_0034: Использование блоков Signal Routing | Проверяйте использование блоков Signal Routing (Проверка 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: Параметры конфигурации > Типы математики и данных > Реализуйте логические сигналы как логические данные (против double) | Проверьте параметры оптимизации, связанные с безопасностью, для логических сигналов (Проверка 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: Параметры конфигурации, улучшающие податливость C:2012 MISRA | Проверьте параметры конфигурации для C:2012 MISRA (Проверка Simulink) |
| hisl_0061: Уникальные идентификаторы для ясности | Проверяйте диаграммы Stateflow на уникально определенные объекты данных (Проверка Simulink) |
| hisl_0062: Глобальные переменные в графических функциях | Проверяйте глобальные переменные в графических функциях (Проверка Simulink) |
| hisl_0063: Длина пользовательских имен объектов для улучшения податливости C:2012 MISRA | Проверяйте длину пользовательских имен объектов (Проверка Simulink) |
| hisl_0066: Использование блоков Gain | Проверяйте использование блоков Gain (Проверка Simulink) |
| hisl_0067: Защитите от вычислений деления на нули | Проверяйте на разделение на нули (Проверка Simulink) |
| hisl_0070: Размещение ссылок требования в модели | Проверьте элементы модели, которые не связаны с требованиями (Проверка Simulink) |
| hisl_0071: Параметры конфигурации > Аппаратная реализация > Несогласованные настройки аппаратной реализации | Проверьте параметры безопасности для аппаратной реализации (Проверка Simulink) |
| hisl_0101: Избегайте инвариантных операций сравнения, чтобы улучшить податливость C:2012 MISRA | Не проверяется |
| hisl_0102: Тип данных переменных управления цикла для улучшения MISRA C:2012 податливости | Проверяйте тип данных переменных управления цикла (Проверка Simulink) |
| hisl_0301: Параметры конфигурации > Диагностика > Совместимость | Проверьте параметры диагностики, связанные с безопасностью, на совместимость (Проверка Simulink) |
| hisl_0302: Параметры конфигурации > Диагностика > Валидность данных > Параметры | Проверьте параметры диагностики, связанной с безопасностью (Проверка Simulink) |
| hisl_0303: Параметры конфигурации > Диагностика > Валидность данных > Объединить блоки | Проверьте параметры диагностики, связанные с безопасностью для блоков Merge (Проверка Simulink) |
| hisl_0304: Параметры конфигурации > Диагностика > Валидность данных > Инициализация модели | Проверьте параметры диагностики, связанные с безопасностью, для инициализации модели (Проверка Simulink) |
| hisl_0305: Параметры конфигурации > Диагностика > Валидность данных > Отладка | Проверьте параметры диагностики, связанные с безопасностью, для данных, используемых для отладки (Проверка Simulink) |
| hisl_0306: Параметры конфигурации > Диагностика > Связь > Сигналы | Проверьте параметры диагностики, связанные с безопасностью, на предмет соединения сигналов (Проверка Simulink) |
| hisl_0307: Параметры конфигурации > Диагностика > Связь > Шины | Проверьте параметры диагностики безопасности для подключения к шине (Проверка Simulink) |
| hisl_0308: Параметры конфигурации > Диагностика > Связь > Вызовы функций | Проверьте параметры диагностики, связанные с безопасностью, которые применяются к соединению вызова функции (Проверка Simulink) |
| hisl_0309: Параметры конфигурации > Диагностика > Преобразование типов | Проверьте параметры диагностики, связанные с безопасностью, для преобразований типов (Проверка Simulink) |
| hisl_0310: Параметры конфигурации > Диагностика > Ссылка на модель | Проверьте параметры диагностики, связанные с безопасностью, для ссылки на модель (Проверка Simulink) |
| hisl_0311: Параметры конфигурации > Диагностика > Stateflow | Проверьте параметры диагностики, связанные с безопасностью для Stateflow (Проверка Simulink) |
| hisl_0314: Параметры конфигурации > Диагностика > Валидность данных > Сигналы | Проверьте параметры диагностики, связанные с безопасностью, для данных о сигнале (Проверка Simulink) |
| hisf_0001: тип конечного автомата | Проверяйте тип конечного автомата диаграмм Stateflow (Проверка Simulink) |
| hisf_0002: Заданное пользователем состояние/порядок выполнения перехода | Проверяйте диаграммы Stateflow на порядок состояний и переходов (Проверка Simulink) |
| hisf_0003: Использование побитовых операций | Проверяйте использование побитовых операций в диаграммах Stateflow (Проверка Simulink) |
| hisf_0004: Защита от рекурсивных вызовов функций для улучшения податливости кода | Проверяйте использование рекурсий (Проверка Simulink) |
| hisf_0007: Использование условий соединения (поддержание взаимного исключения) | Не проверяется |
| hisf_0009: Сильный набор данных (Simulink и Stateflow контура) | Проверяйте на сильное типирование данных с Simulink ввод-вывод (Проверка Simulink) |
| hisf_0011: параметры отладки Stateflow | Проверяйте опции отладки Stateflow (Проверка Simulink) |
| hisf_0013: Использование переходных путей (пересечение контуров параллельных состояний) | Проверяйте диаграммы Stateflow на пути перехода, которые пересекают контуры параллельных состояний (Проверка Simulink) |
| hisf_0014: Использование переходных путей (проходящих через состояния) | Проверяйте на неподходящее использование переходных путей (Проверка Simulink) |
| hisf_0015: Сильное типирование данных (переменные приведения и параметры в выражениях) | Проверяйте диаграммы Stateflow на наличие сильного набора данных (Проверка Simulink) |
| hisf_0016: имена портов Stateflow | Проверяйте именование портов в диаграммах Stateflow (Проверка Simulink) |
| hisf_0017: скопирование объектов данных Stateflow | Проверяйте просмотр объектов данных Stateflow (Проверка Simulink) |
| hisf_0064: Сдвиньте операции для данных 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 Analyzer для генерации кода | Проверяйте сообщения анализатора кода MATLAB (Проверка Simulink) |
| himl_0006: код MATLAB, если/elseif/else шаблоны | Проверьте, шаблоны ли/elseif/else в Блоки MATLAB function (Проверка Simulink) |
| himl_0007: Код MATLAB switch/case/other patterns | Проверяйте операторы switch в блоки MATLAB function (Проверка Simulink) |
| himl_0008: типы данных реляционных операторов кода MATLAB | Проверяйте использование реляционных операторов в Блоки MATLAB function (Проверка Simulink) |
| himl_0009: код MATLAB с равными/не равными реляционными операторами | Проверяйте использование операторов равенства в Блоках MATLAB function (Проверка Simulink) |
| himl_0010: код MATLAB с логическими операторами и функциями | Проверяйте использование логических операторов и функций в Блоки MATLAB function (Проверка Simulink) |
| himl_0011: Тип данных и размер выражений условий | Проверяйте тип и размер выражений условия (Проверка Simulink) |