Проверка модели для моделирования систем с высокой целостностью
Для проверки соответствия модели или подсистемы выбранным аспектам стандарта безопасности High Integrity System Model запустите Model Advisor.
Чтобы проверить соответствие стандартам High Integrity System Model, выполните проверки высокой целостности из следующих папок Model Advisor:
Для получения информации о требованиях к модели системы высокой целостности при сертификации систем и оборудования воздушного транспорта и соответствующих стандартах см. Радиотехническую комиссию по аэронавтике (RTCA).
В таблице перечислены проверки модели системы высокой целостности и соответствующие рекомендации по моделированию. Дополнительные сведения о Руководстве по моделированию с высокой целостностью см. в разделе Моделирование системы с высокой целостностью.
Проверки моделирования систем с высокой целостностью
| Проверка модели системы с высокой целостностью | Применимые рекомендации по моделированию систем с высокой целостностью |
|---|
| Проверка использования блоков таблицы подстановки
| hisl_0033: Использование блоков таблицы подстановки |
| Проверка несогласованности методов векторной индексации | hisl_0021: Согласованный метод векторной индексации |
| Проверка использования блоков вариантов | hisl_0023: Проверка блоков вариантов |
| Проверка корневых входов с отсутствующими свойствами | hisl_0024: Определение интерфейса ввода |
| Проверка использования блоков реляционного оператора | hisl_0017: Использование блоков, вычисляющих реляционные операторы (2) |
| Проверка использования блоков реляционного оператора | hisl_0016: Использование блоков, вычисляющих реляционные операторы |
| Проверка использования блоков логических операторов | hisl_0018: Использование блока логического оператора |
| Проверка использования блоков итератора | hisl_0006: Использование блоков итератора |
| Проверка использования подсистем итератора For и While | hisl_0007: Использование подсистем итератора или итератора |
| Проверка использования блоков итератора | hisl_0008: Использование блоков итератора |
| Проверка использования блоков If и блоков подсистемы действий | hisl_0010: Использование блоков If и блоков подсистемы действия If |
| Проверка использования блоков вариантов переключения и блоков подсистемы действий вариантов переключения | hisl_0011: Использование блоков вариантов переключения и блоков подсистемы действий |
| Проверьте настройки оптимизации, связанные с безопасностью, для логических сигналов | 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 и revacal) |
| Проверка использования блоков математических функций (функции log и log10) | hisl_0004: Использование блоков математических функций (натуральный логарифм и базовый 10 логарифм) |
| Проверка использования блоков назначения | hisl_0029: Использование блоков назначения |
| Проверка использования блоков маршрутизации сигналов | hisl_0034: Использование блоков маршрутизации сигналов |
| Проверка корневых входов с отсутствующими определениями диапазонов | hisl_0025: Расчетная минимальная/максимальная спецификация входных интерфейсов |
| Проверка корневых выходов с отсутствующими определениями диапазонов | hisl_0026: Расчетная минимальная/максимальная спецификация выходных интерфейсов |
| Проверка типа конечного автомата диаграмм Stateflow | hisf_0001: Тип конечного автомата |
| Проверьте диаграммы потока состояний на наличие путей перехода, пересекающих параллельные границы состояний | hisf_0013: Использование переходных путей (пересекающих параллельные границы состояний) |
| Проверка диаграмм потока состояний для упорядочения состояний и переходов | hisf_0002: Заданное пользователем состояние/порядок выполнения перехода |
| Проверка параметров отладки Stateflow | hisf_0011: Параметры отладки Stateflow |
| Проверка диаграмм Stateflow для однозначно определенных объектов данных | hisl_0061: Уникальные идентификаторы для ясности |
| Проверка строгой типизации данных в диаграммах Stateflow | hisf_0015: Сильная типизация данных (заливка переменных и параметров в выражения) |
| Проверка использования операций смены для данных Stateflow | hisf_0064: Операции Shift для данных Stateflow для улучшения соответствия кода |
| Проверка операций назначения в диаграммах Stateflow | hisf_0065: Типовые операции в Stateflow для улучшения соответствия кода |
| Проверка диаграмм Stateflow для унарных операторов | hisf_0211: Защита от использования унарных операторов в картах Stateflow для улучшения соответствия кода |
| Проверка строгой типизации данных с помощью Simulink I/O | 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: Параметры конфигурации > Диагностика > Валидность данных > Объединить блоки |
| Проверка параметров диагностики, связанных с безопасностью, для потока состояний | hisl_0311: Параметры конфигурации > Диагностика > Поток состояния |
| Проверка имен объектов модели | hisl_0032: Имена объектов модели |
| Проверка элементов модели, не связанных с требованиями | hisl_0070: Размещение связей требований в модели |
| Проверка неподходящего использования путей перехода | hisf_0014: Использование переходных путей (проходящих через состояния) |
| Проверка использования блока Bitwise Operator | hisl_0019: Использование побитовых операций |
| Проверка типов данных для блоков с индексными сигналами | hisl_0022: Выбор типа данных для индексных сигналов |
| Проверка имени файла модели | hisl_0031: Имена файлов модели |
| Проверка шаблонов/elseif/else в функциональных блоках MATLAB | himl_0006: MATLAB код, если/elseif/else шаблоны |
| Проверка операторов переключения в функциональных блоках MATLAB | himl_0007: кодовое переключение MATLAB/регистр/другие шаблоны |
| Проверка глобальных переменных в графических функциях | hisl_0062: Глобальные переменные в графических функциях |
| Проверка длины пользовательских имен объектов | hisl_0063: Длина пользовательских имен объектов для улучшения соответствия MISRA C:2012 |
| Проверка использования блоков объединения | hisl_0015: Использование блоков объединения |
| Проверка использования условно выполненных подсистем | hisl_0012: Использование условно выполненных подсистем |
| Проверка использования стандартных заголовков функций MATLAB | himl_0001: Использование стандартных заголовков функций MATLAB |
| Проверка использования реляционных операторов в функциональных блоках MATLAB | himl_0008: типы данных реляционного оператора кода MATLAB |
| Проверка использования операторов равенства в функциональных блоках MATLAB | himl_0009: код MATLAB с равными/не равными реляционными операторами |
| Проверка использования логических операторов и функций в функциональных блоках MATLAB | 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 и revacal) |
| Проверка использования блоков Sqrt | hisl_0003: Использование блоков квадратного корня |
| Проверка использования блоков математических функций (функции log и log10) | hisl_0004: Использование блоков математических функций (натуральный логарифм и базовый 10 логарифм) |
| Проверка использования взаимных блоков Sqrt | hisl_0028: Использование блоков обратного квадратного корня |
| Проверка параметров, связанных с безопасностью, для реализации аппаратных средств | hisl_0071: Параметры конфигурации > Реализация аппаратного обеспечения > Несогласованные параметры реализации аппаратного обеспечения |
| Проверка использования рекурсий | hisf_0004: Защита от рекурсивных вызовов функций для улучшения соответствия кода |
