Образцовые проверки на высокие системы целостности, моделируя проверки
Можно проверять, что модель или подсистема выполняют выбранные аспекты Высокого стандарта безопасности Системной модели Целостности путем выполнения Model Advisor.
Чтобы проверить соответствие Высоким стандартам Системной модели Целостности, откройте Model Advisor и запустите регистрации > .
Для получения информации о Факторах High Integrity System Model Software в Бортовых Системах и Сертификации оборудования и связанных стандартах, смотрите Радио-Техническую Комиссию для Аэронавтики (RTCA).
Таблица приводит Высокие проверки Системной модели Целостности и их соответствующие руководства по моделированию. Для получения дополнительной информации о Руководствах по моделированию Высокой Целостности, смотрите Моделирование систем повышенной надежности (Simulink).
Высокие системы целостности, моделируя проверки
| Высокая проверка системной модели целостности | Применимые инструкции по моделированию систем повышенной надежности |
|---|
| Проверяйте использование блоков интерполяционной таблицы
| 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: блок Configuration Parameters> Diagnostics> Merge |
| Проверяйте связанные с безопасностью диагностические настройки на Stateflow | hisl_0311: Параметры конфигурации> Диагностика> Stateflow |
| Проверяйте связанный с безопасностью порог разворачивающего цикла for настроек оптимизации | hisl_0051: Параметры конфигурации> Оптимизация> порог Развертывания цикла |
| Проверяйте имена объекта модели | 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 с логическими операторами и функциями |
| Проверяйте именование портов в диаграммах Stateflow | hisf_0016: имена порта Stateflow |
| Проверяйте определение объема объектов данных Stateflow | hisf_0017: определение объема объекта данных Stateflow |
| Проверяйте использование блоков Усиления | hisl_0066: Использование блоков Усиления |
| Проверяйте использование битовых операций в диаграммах 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 |