Проверки Model Advisor на руководства по моделированию Высокой Целостности

Simulink® Check™ Model Advisor обеспечивает Системные проверки Моделирования Высокой Целостности, которые можно использовать, чтобы проверить податливость со стандартами безопасности, включая:

Инструкции высокой целостности и их соответствующие проверки получены в итоге в таблице. Для инструкций, которые не имеют проверок Model Advisor, не возможно автоматизировать проверку инструкции. Инструкции без соответствующей проверки отмечены как не применимый.

Чтобы проверить соответствие Высоким стандартам Системной модели Целостности, запустите высокие проверки целостности от этих папок Model Advisor:

  • By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems

  • By Task> Modeling Standards for IEC 61508> High-Integrity Systems

  • By Task> Modeling Standards for IEC 62304> High-Integrity Systems

  • By Task> Modeling Standards for EN 50128/EN 50657> High-Integrity Systems

  • By Task> Modeling Standards for ISO 26262> High-Integrity Systems

  • By Task> Modeling Standards for ISO 25119> High-Integrity Systems

Для получения информации об использовании Model Advisor смотрите Осуществленные Проверки Model Advisor.

Руководство по моделированию высокой целостности Проверки Model Advisor
hisl_0001: Использование блока AbsПроверяйте использование блоков Abs (Simulink Check)
hisl_0002: Использование блоков Математической функции (rem и обратная величина)

Проверяйте использование блоков Математической функции (rem и взаимные функции) (Simulink Check)

hisl_0003: Использование блоков Квадратного корняПроверяйте использование блоков Sqrt (Simulink Check)
hisl_0004: Использование блоков Математической функции (натуральный логарифм и основа 10 логарифмов)Проверяйте использование блоков Математической функции (журнал и функции log10) (Simulink Check)
hisl_0005: Использование блоков продуктаНе поддающийся проверке
hisl_0006: Использование того, В то время как Итератор блокируетсяПроверяйте использование того, В то время как Итератор блокируется (Simulink Check)
hisl_0007: Использование Для Итератора или В то время как подсистемы ИтератораПроверяйте использование На и В то время как подсистемы Итератора (Simulink Check)
hisl_0008: Использование Для Блоков ИтератораПроверяйте использование На блоки Итератора (Simulink Check)
hisl_0010: Использование Если блоки и Если блоки Subsystem ДействияПроверяйте использование Если блоки и Если блоки Subsystem Действия (Simulink Check)
hisl_0011: Использование блоков Случая Переключателя и блоков Subsystem ДействияПроверяйте использование блоков Случая Переключателя и блоков Subsystem Действия Случая Переключателя (Simulink Check)
hisl_0012: Использование условно выполняемых подсистемПроверяйте использование условно выполняемых подсистем (Simulink Check)
hisl_0013: Использование блоков хранилища данныхПроверяйте связанные с безопасностью диагностические настройки на память хранилища данных (Simulink Check)
hisl_0015: Использование блоков СлиянияПроверяйте использование блоков Слияния (Simulink Check)
hisl_0016: Использование блоков, которые вычисляют операторы отношенияПроверяйте на блоки Оператора отношения, которые приравнивают типы с плавающей точкой (Simulink Check)
hisl_0017: Использование блоков, которые вычисляют операторы отношения (2)Проверяйте использование блоков Оператора отношения (Simulink Check)
hisl_0018: Использование блока Logical OperatorПроверяйте использование блоков Логического оператора (Simulink Check)
hisl_0019: Использование битовых операцийПроверяйте использование блоков битовой операции (Simulink Check)
hisl_0020: Блоки, не рекомендуемые для податливости MISRA C:2012

Проверяйте на блоки, не рекомендуемые для производственного развертывания C/C++ кода (Simulink Check)

Проверяйте на блоки, не рекомендуемые для MISRA C:2012 (Simulink Check)

hisl_0021: Сопоставимый векторный метод индексированияПроверяйте на противоречивые векторные методы индексирования (Simulink Check)
hisl_0022: выбор Типа данных для сигналов индексаПроверяйте типы данных на блоки с сигналами индекса (Simulink Check)
hisl_0023: Верификация различных блоковПроверяйте использование различных блоков (Simulink Check)
hisl_0024: определение интерфейса InportПроверяйте на корневой Inports с недостающими свойствами (Simulink Check)
hisl_0025: Спроектируйте спецификацию min / макс. спецификацию входных интерфейсовПроверяйте на корневой Inports с недостающими определениями области значений (Simulink Check)
hisl_0026: Спроектируйте спецификацию min / макс. спецификацию выходных интерфейсовПроверяйте на корневые Выходные порты с недостающими определениями области значений (Simulink Check)
hisl_0028: Использование Взаимных блоков Квадратного корняПроверяйте использование Взаимных блоков Sqrt (Simulink Check)
hisl_0029: Использование блоков ПрисвоенияПроверяйте использование блоков Присвоения (Simulink Check)
hisl_0031: имена файлов МоделиПроверяйте имя файла модели (Simulink Check)
hisl_0032: имена Объекта моделиПроверяйте имена объекта модели (Simulink Check)
hisl_0033: Использование блоков Интерполяционной таблицыПроверяйте использование блоков интерполяционной таблицы (Simulink Check)
hisl_0034: Использование блоков Маршрутизации СигналаПроверяйте использование блоков Маршрутизации Сигнала (Simulink Check)
hisl_0036: Параметры конфигурации> Диагностика> СохранениеПроверяйте связанные с безопасностью диагностические настройки на сохранение (Simulink Check)
hisl_0037: Параметры конфигурации> Ссылка МоделиПроверяйте связанные с безопасностью настройки ссылки модели (Simulink Check)
hisl_0038: Параметры конфигурации> Генерация кода> КомментарииПроверяйте связанные с безопасностью настройки генерации кода на комментарии (Simulink Check)
hisl_0039: Параметры конфигурации> Генерация кода> ИнтерфейсПроверяйте связанные с безопасностью настройки интерфейса генерации кода (Simulink Check)
hisl_0040: Параметры конфигурации> Решатель> Время симуляцииПроверяйте связанные с безопасностью настройки решателя на время симуляции (Simulink Check)
hisl_0041: Параметры конфигурации> Решатель> опции РешателяПроверяйте связанные с безопасностью настройки решателя на опции решателя (Simulink Check)
hisl_0042: Параметры конфигурации> Решатель> Управление задачами и опции шага расчетаПроверяйте связанные с безопасностью настройки решателя на управление задачами и шаг расчета (Simulink Check)
hisl_0043: Параметры конфигурации> Диагностика> РешательПроверяйте связанные с безопасностью диагностические настройки на решатели (Simulink Check)
hisl_0044: Параметры конфигурации> Диагностика> Шаг расчетаПроверяйте связанные с безопасностью диагностические настройки на шаг расчета (Simulink Check)
hisl_0045: Параметры конфигурации> Математика и Типы данных> логика Реализации сигнализируют как булевы данные (по сравнению с двойным)Проверяйте связанные с безопасностью настройки оптимизации на логические сигналы (Simulink Check)
hisl_0046: Параметры конфигурации> Цель Симуляции> сокращение БлокаПроверяйте связанные с безопасностью настройки оптимизации сокращения блока (Simulink Check)
hisl_0047: Параметры конфигурации> Генерация кода> Стиль кодаПроверяйте связанные с безопасностью настройки генерации кода на стиль кода (Simulink Check)
hisl_0048: Параметры конфигурации> Математика и Типы данных> продолжительность жизни Приложения (дни)Проверяйте связанные с безопасностью настройки оптимизации на продолжительность жизни приложения (Simulink Check)
hisl_0049: Параметры конфигурации> Генерация кода> ИдентификаторыПроверяйте связанные с безопасностью настройки идентификатора генерации кода (Simulink Check)
hisl_0051: Параметры конфигурации> Генерация кода> Оптимизация> порог Развертывания циклаПроверяйте связанный с безопасностью порог разворачивающего цикла for настроек оптимизации (Simulink Check)
hisl_0052: Параметры конфигурации> Генерация кода> Оптимизация> инициализация ДанныхПроверяйте связанные с безопасностью настройки оптимизации на инициализацию данных (Simulink Check)
hisl_0053: Параметры конфигурации> Генерация кода> Оптимизация> Удаляет код от с плавающей точкой до целочисленных преобразований, который переносит значения из области значенийПроверяйте связанные с безопасностью настройки оптимизации на преобразования типа данных (Simulink Check)
hisl_0054: Параметры конфигурации> Генерация кода> Оптимизация> Удаляет код, который защищает от арифметических исключений деленияПроверяйте связанные с безопасностью настройки оптимизации на арифметические исключения деления (Simulink Check)
hisl_0056: Параметры конфигурации> Генерация кода> Оптимизация> Оптимизируют использование заданных минимальных и максимальных значенийПроверяйте связанные с безопасностью настройки оптимизации на заданные минимальные и максимальные значения (Simulink Check)
hisl_0060: Параметры конфигурации, которые улучшают податливость MISRA C:2012Проверяйте параметры конфигурации на MISRA C:2012 (Simulink Check)
hisl_0061: Уникальные идентификаторы для ясностиПроверяйте диаграммы Stateflow на исключительно заданные объекты данных (Simulink Check)
hisl_0062: Глобальные переменные в графических функцияхПроверяйте глобальные переменные в графические функции (Simulink Check)
hisl_0063: Длина пользовательских имен объектов, чтобы улучшить податливость MISRA C:2012Проверяйте на длину пользовательских имен объектов (Simulink Check)
hisl_0066: Использование блоков УсиленияПроверяйте использование блоков Усиления (Simulink Check)
hisl_0070: Размещение требования соединяется в моделиПроверяйте на элементы модели, которые не соединяются с требованиями (Simulink Check)
hisl_0101: Избегайте инвариантных операций сравнения, чтобы улучшить податливость MISRA C:2012Не поддающийся проверке
hisl_0102: Тип данных контрольных переменных цикла, чтобы улучшить податливость MISRA C:2012Проверяйте тип данных контрольных переменных цикла (Simulink Check)
hisl_0301: Параметры конфигурации> Диагностика> СовместимостьПроверяйте связанные с безопасностью диагностические настройки на совместимость (Simulink Check)
hisl_0302: Параметры конфигурации> Диагностика> Валидность Данных> ПараметрыПроверяйте связанные с безопасностью диагностические настройки на параметры (Simulink Check)
hisl_0303: Параметры конфигурации> Диагностика> Валидность Данных> блоки СлиянияПроверяйте связанные с безопасностью диагностические настройки на блоки Слияния (Simulink Check)
hisl_0304: Параметры конфигурации> Диагностика> Валидность Данных> инициализация МоделиПроверяйте связанные с безопасностью диагностические настройки на инициализацию модели (Simulink Check)
hisl_0305: Параметры конфигурации> Диагностика> Валидность Данных> ОтладкаПроверяйте связанные с безопасностью диагностические настройки на данные, используемые для отладки (Simulink Check)
hisl_0306: Параметры конфигурации> Диагностика> Возможность соединения> СигналыПроверяйте связанные с безопасностью диагностические настройки на возможность соединения сигнала (Simulink Check)
hisl_0307: Параметры конфигурации> Диагностика> Возможность соединения> ШиныПроверяйте связанные с безопасностью диагностические настройки на возможность соединения шины (Simulink Check)
hisl_0308: Параметры конфигурации> Диагностика> Возможность соединения> Вызовы функцииПроверяйте связанные с безопасностью диагностические настройки, которые применяются к возможности соединения вызова функции (Simulink Check)
hisl_0309: Параметры конфигурации> Диагностика> Преобразование типовПроверяйте связанные с безопасностью диагностические настройки на преобразования типов (Simulink Check)
hisl_0310: Параметры конфигурации> Диагностика> Ссылка МоделиПроверяйте связанные с безопасностью диагностические настройки на ссылку модели (Simulink Check)
hisl_0311: Параметры конфигурации> Диагностика> StateflowПроверяйте связанные с безопасностью диагностические настройки на Stateflow (Simulink Check)
hisl_0314: Параметры конфигурации> Диагностика> Валидность Данных> СигналыПроверяйте связанные с безопасностью диагностические настройки на данные сигнала (Simulink Check)
hisf_0001: Тип Конечного автоматаПроверяйте тип конечного автомата диаграмм Stateflow (Simulink Check)
hisf_0002: заданный пользователями порядок выполнения состояния/переходаПроверяйте диаграммы Stateflow на упорядоченное расположение состояний и переходов (Simulink Check)
hisf_0003: Использование битовых операцийПроверяйте использование битовых операций в диаграммах Stateflow (Simulink Check)
hisf_0004: Использование рекурсивного поведенияНе поддающийся проверке
hisf_0007: Использование условий соединения (обеспечивающий взаимное исключение)Не поддающийся проверке
hisf_0009: Сильный ввод данных (Simulink и контур Stateflow)Проверяйте на сильный ввод данных с вводом-выводом Simulink (Simulink Check)
hisf_0011: настройки отладки StateflowПроверяйте параметры отладки Stateflow (Simulink Check)
hisf_0013: Использование путей к переходу (пересекающий параллельные государственные границы)Проверяйте диаграммы Stateflow на пути к переходу тот перекрестные параллельные государственные границы (Simulink Check)
hisf_0014: Использование путей к переходу (проходящий через состояния)Проверяйте на несоответствующее использование путей к переходу (Simulink Check)
hisf_0015: Сильный ввод данных (бросающий переменные и параметры в выражениях)Проверяйте диаграммы Stateflow на сильный ввод данных (Simulink Check)
hisf_0016: имена порта StateflowПроверяйте именование портов в диаграммах Stateflow (Simulink Check)
hisf_0017: определение объема объекта данных StateflowПроверяйте определение объема объектов данных Stateflow (Simulink Check)
hisf_0064: Операции сдвига для данных Stateflow, чтобы улучшить податливость кодаПроверяйте использование операций сдвига для данных Stateflow (Simulink Check)
hisf_0065: Введите операции броска в Stateflow, чтобы улучшить податливость кодаПроверяйте операции присвоения в диаграммы Stateflow (Simulink Check)
hisf_0211: Защитите от использования унарных операторов в диаграммах Stateflow, чтобы улучшить податливость кодаПроверяйте диаграммы Stateflow на унарные операторы (Simulink Check)
hisf_0213: Защитите от вычислений деления на нуль в диаграммах Stateflow, чтобы улучшить податливость MISRA C:2012Не поддающийся проверке
himl_0001: Использование стандартизированных заголовков функции MATLABПроверяйте использование стандартизированных заголовков функции MATLAB (Simulink Check)
himl_0002: Сильный ввод данных на контурах функции MATLABПроверяйте на интерфейсы функции MATLAB с унаследованными свойствами (Simulink Check)
himl_0003: Ограничение сложности функции MATLABПроверяйте метрики функции MATLAB (Simulink Check)
himl_0004: код MATLAB рекомендации Анализатора для генерации кодаПроверяйте код MATLAB сообщения Анализатора (Simulink Check)
himl_0006: код MATLAB, если / elseif / еще шаблоныПроверяйте if/elseif/else шаблоны в блоки MATLAB function (Simulink Check)
himl_0007: переключатель кода MATLAB / случай / в противном случае шаблоныПроверяйте операторы switch в блоки MATLAB function (Simulink Check)
himl_0008: типы данных оператора отношения кода MATLABПроверяйте использование операторов отношения в блоках MATLAB function (Simulink Check)
himl_0009: код MATLAB с равным / не равняется операторам отношенияПроверяйте использование операторов равенства в блоках MATLAB function (Simulink Check)
himl_0010: код MATLAB с логическими операторами и функциямиПроверяйте использование логических операторов и функций в блоках MATLAB function (Simulink Check)
himl_0011: Тип данных и размер выражений условияПроверяйте тип и размер выражений условия (Simulink Check)
Для просмотра документации необходимо авторизоваться на сайте