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