| ID: Заголовок | hisl_0051: Параметры конфигурации> Генерация кода> Оптимизация> порог Развертывания цикла | ||
|---|---|---|---|
| Описание | Установить минимальный сигнал или ширину параметра для генерации | ||
| Примечания | Loop unrolling threshold задает размер массивов, в котором генератор кода начинает использовать | ||
| Объяснение | Поддержите однозначный сгенерированный код. | ||
| Проверки Model Advisor |
Для получения дополнительной информации проверки смотрите Проверку связанный с безопасностью цикл for настроек оптимизации, разворачивающий порог (Simulink Check). | ||
| Ссылки |
| ||
| Смотрите также | Порог развертывания цикла (Simulink Coder) в документации Simulink® | ||
| В последний раз измененный | R2018a | ||
| ID: Заголовок | hisl_0052: Параметры конфигурации> Генерация кода> Оптимизация> инициализация Данных | ||
|---|---|---|---|
| Описание | Чтобы поддержать полное определение данных и инициализировать внутренние и внешние данные, чтобы обнулить, очистите эти параметры конфигурации: | ||
| A | Remove root level I/O zero initialization. | ||
| B | Remove internal data zero initialization. | ||
| Примечание | Явным образом инициализируйте все переменные. Если среда выполнения целевой системы обеспечивает механизмы, чтобы инициализировать весь ввод-вывод и переменные состояния, рассмотрите использование инициализации цели как альтернатива предложенным настройкам. Эти параметры конфигурации применимы только, когда Системный конечный файл является основанной на ERT целью. | ||
| Объяснение | A, B | Поддержка полностью задала данные в сгенерированном коде. | |
| Проверки Model Advisor |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки оптимизации для инициализации данных (Simulink Check). | ||
| Ссылки |
| ||
| Смотрите также | Информация о следующих параметрах в документации Simulink:
| ||
| В последний раз измененный | R2018b | ||
| ID: Заголовок | hisl_0053: Параметры конфигурации> Генерация кода> Оптимизация> Удаляет код от с плавающей точкой до целочисленных преобразований, который переносит значения из области значений | ||
|---|---|---|---|
| Описание | Чтобы поддержать верифицируемый код, выберите параметр конфигурации Remove code from floating-point to integer conversions that wraps out-of-range values | ||
| Примечания | Избегайте переполнения в противоположность обработке их с кодом обертки. Для блоков, параметр конфигурации Saturate on integer overflow которых очищен, отменив выбор Remove code from floating-point to integer conversions that wraps out-of-range values, может добавить код, который переносится из значений области значений, приводящих к недостижимому коду, который не может быть протестирован. | ||
| Объяснение | Поддержите генерацию кода, который может быть проверен. | ||
| Проверки Model Advisor |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки оптимизации для преобразований типа данных (Simulink Check). | ||
| Ссылки |
| ||
| Смотрите также | Удалите код от с плавающей точкой до целочисленных преобразований, который переносит значения из области значений (Simulink Coder) в документацию Simulink | ||
| В последний раз измененный | R2018b | ||
| ID: Заголовок | hisl_0054: Параметры конфигурации> Генерация кода> Оптимизация> Удаляет код, который защищает от арифметических исключений деления | ||
|---|---|---|---|
| Описание | Чтобы поддержать робастность операций, очистите параметр конфигурации Remove code that protects against division arithmetic exceptions. | ||
| Примечание | Избегайте исключений деления на нуль. Если вы очищаете Remove code that protects against division arithmetic exceptions, генератор кода производит код, который принимает меры против деления на нуль для данных фиксированной точки. Этот параметр конфигурации применим только, когда Системный конечный файл является основанной на ERT целью. | ||
| Объяснение | Защитите от исключений деления на нуль для фиксированной точки. | ||
| Проверки Model Advisor |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки оптимизации для арифметических исключений деления (Simulink Check). | ||
| Ссылки |
| ||
| Смотрите также | Удалите код, который защищает от арифметических исключений деления (Embedded Coder) в документации Simulink | ||
| В последний раз измененный | R2018b | ||
| ID: Заголовок | hisl_0056: Параметры конфигурации> Генерация кода> Оптимизация> Оптимизируют использование заданных минимальных и максимальных значений | ||
|---|---|---|---|
| Описание | Чтобы поддержать верифицируемый код, очистите параметр конфигурации Optimize using the specified minimum and maximum values. | ||
| Примечания | Выбор Optimize using the specified minimum and maximum values может привести к требованиям без связанного кода и нарушает цели трассируемости. | ||
| Объяснение | Поддержите трассируемость между типовым кодексом и сгенерированным кодом. | ||
| Проверки Model Advisor |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки оптимизации для заданных минимальных и максимальных значений (Simulink Check) | ||
| Ссылки |
| ||
| Смотрите также |
| ||
| В последний раз измененный | R2018b | ||
| ID: Заголовок | hisl_0038: Параметры конфигурации> Генерация кода> Комментарии | |
|---|---|---|
| Описание | В диалоговом окне Configuration Parameters, на панели Code Generation > Comments, выбирают эти параметры: | |
| A | Include comments. | |
| B | Simulink block comments. | |
| C | Show eliminated blocks. | |
| D | Verbose comments for 'Model default' storage class. | |
| E | Requirements in block comments. | |
| Объяснение | A | Включая комментарии обеспечивает хорошую трассируемость между кодом и моделью. |
| B | Включая комментарии, которые описывают код для блоков, обеспечивает хорошую трассируемость между кодом и моделью. | |
| C | Включая комментарии, которые описывают код для блоков, устраненных из модели, обеспечивает хорошую трассируемость между кодом и моделью. | |
| D | Включая имена переменных параметра и исходных блоков как комментарии в описании структуры параметра модели в | |
| E | Включая описания требования, присвоенные блокам Simulink как комментарии, обеспечивает хорошую трассируемость между кодом и моделью. | |
| Проверки Model Advisor |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки генерации кода для комментариев (Simulink Check). | |
| Ссылки |
| |
| В последний раз измененный | R2017b | |
| ID: Заголовок | hisl_0039: Параметры конфигурации> Генерация кода> Интерфейс | |
|---|---|---|
| Описание | Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на панели Code Generation > Interface, устанавливают Software environment, Code interface и параметры Data exchange interface можно следующим образом: | |
| A | Очистите Support: non-finite numbers. | |
| B | Очистите Support: absolute time. | |
| C | Очистите Support: continuous time. | |
| D | Очистите Support: non-inlined S-functions. | |
| E | Очистите Classic call interface. | |
| F | Выберите Single output / update function. | |
| G | Очистите Terminate function required. | |
| H | Выберите Remove error status field in real-time model data structure. | |
| I | Очистите MAT-file logging. | |
| Объяснение | A | Поддержка неличных чисел не рекомендуется для связанных с безопасностью систем в реальном времени. |
| B | Поддержка в течение абсолютного времени не рекомендуется для связанных с безопасностью систем в реальном времени. | |
| C | Поддержка в течение непрерывного времени не рекомендуется для связанных с безопасностью систем в реальном времени. | |
| D | Поддержка невстроенных S-функций требует поддержки неличных чисел, которая не рекомендуется для связанных с безопасностью систем в реальном времени. | |
| E | Устранить вызовы функции модели, совместимые с основным программным модулем pre-2012a цели GRT, которая не рекомендуется для связанных с безопасностью систем в реальном времени; используйте ERT базирующаяся цель вместо этого. | |
| F | Упростить интерфейс до операционной системы реального времени (RTOS) и упростить верификацию сгенерированного кода путем создания одного вызова обоих функции выхода и обновления. | |
| G | Устранить | |
| H | Устранить дополнительный код для логгирования и контроля ошибочного состояния, которое не может быть достижимо для тестирования. | |
| I | Устранить дополнительный код для логгирования тестовых точек к файлу MAT, который не поддержан целевыми процессорами. | |
| Проверки Model Advisor |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки интерфейса генерации кода (Simulink Check). | |
| Ссылки |
| |
| В последний раз измененный | R2018b | |
| ID: Заголовок | hisl_0047: Параметры конфигурации> Генерация кода> Стиль кода | |
|---|---|---|
| Описание | В диалоговом окне Configuration Parameters, на панели Code Generation > Code Style, устанавливает эти параметры: | |
| A | Установите Parenthesis level на | |
| B | Выберите Preserve operand order in expression. | |
| Объяснение | A | Предотвратить неожиданные результаты. |
| B | Улучшить трассируемость сгенерированного кода. | |
| Проверки Model Advisor |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки генерации кода для стиля кода (Simulink Check). | |
| Ссылки |
| |
| В последний раз измененный | R2019b | |
| ID: Заголовок | hisl_0049: Параметры конфигурации> Генерация кода> Идентификаторы | |
|---|---|---|
| Описание | Минимизировать вероятность, что параметр и имена сигнала изменятся во время генерации кода, когда модель изменится, параметр конфигурации набора Minimum mangle length к 4 или больше. | |
| Объяснение | Уменьшите усилие выполнить рассмотрение кода. | |
| Проверки Model Advisor |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки идентификатора генерации кода (Simulink Check). | |
| Ссылки |
| |
| В последний раз измененный | R2019a | |
