| Идентификатор: Заголовок | hisl_0052: Параметры конфигурации > Генерация кода > Оптимизация > Инициализация данных | ||
|---|---|---|---|
| Описание | Чтобы поддержать полное определение данных и инициализировать внутренние и внешние данные до нуля, очистите эти параметры конфигурации: | ||
| A | Remove root level I/O zero initialization. | ||
| B | Remove internal data zero initialization. | ||
| Примечание | Явно инициализируйте все переменные. Если окружение выполнения целевой системы предоставляет механизмы для инициализации переменных ввода-вывода и состояния, рассмотрите использование инициализации целевой системы в качестве альтернативы предлагаемым настройкам. Параметры конфигурации применяются только, когда эти параметры конфигурации Code Generation установлены следующим образом:
| ||
| Объяснение | A, B | Поддержка полностью определенных данных в сгенерированном коде. | |
| Проверки Model Advisor | Проверьте параметры оптимизации, связанные с безопасностью, для инициализации данных (Simulink Check) | ||
| Ссылки |
| ||
| См. также | Информация о следующих параметрах в Simulink® документация:
| ||
| Последнее изменение | R2021a | ||
| Идентификатор: Заголовок | 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 | ||
| Идентификатор: Заголовок | hisl_0054: Параметры конфигурации > Генерация кода > Оптимизация > Удалить код, который защищает от арифметических исключений деления | ||
|---|---|---|---|
| Описание | Чтобы поддержать робастность операций, очистите параметр конфигурации <reservedrangesplaceholder0>. | ||
| Примечание | Избегайте исключений деления на нули. Если вы Remove code that protects against division arithmetic exceptions очистите, генератор кода производит код, который защищает от деления на нуль для данных с фиксированной точкой. Этот параметр конфигурации применим только, когда системный целевой файл является целевым объектом на основе ERT. | ||
| Объяснение | Защита от исключений из разделения на нули для кода с фиксированной точкой. | ||
| Проверки Model Advisor | Проверьте параметры оптимизации, связанные с безопасностью, для исключений из арифметики деления (Simulink Check) | ||
| Ссылки |
| ||
| См. также | Удалите код, который защищает от арифметических исключений деления (Embedded Coder) в документации Simulink | ||
| Последнее изменение | R2018b | ||
| Идентификатор: Заголовок | hisl_0056: Параметры конфигурации> Генерация кода> Оптимизация> Оптимизируют использование указанных минимальных и максимальных значений | ||
|---|---|---|---|
| Описание | Чтобы поддержать проверяемый код, очистите параметр конфигурации <reservedrangesplaceholder0>. | ||
| Примечания | Выбор Optimize using the specified minimum and maximum values может привести к возникновению требований без связанного кода и нарушает цели трассируемости. | ||
| Объяснение | Поддержка трассируемости между моделью и сгенерированным кодом. | ||
| Проверки Model Advisor | Проверьте параметры оптимизации, связанные с безопасностью, на заданные минимальное и максимальное значения (Simulink Check) | ||
| Ссылки |
| ||
| См. также |
| ||
| Последнее изменение | R2018b | ||
| Идентификатор: Заголовок | hisl_0038: Параметры конфигурации > Генерация кода > Комментарии | |
|---|---|---|
| Описание | В диалоговом окне Параметров конфигурации на панели 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) | |
| Ссылки |
| |
| См. также | Параметры конфигурации модели: Комментарии (Embedded Coder) | |
| Последнее изменение | R2021a | |
| Идентификатор: Заголовок | hisl_0039: Параметры конфигурации > Генерация кода > Интерфейс | |
|---|---|---|
| Описание | Для моделей, используемых для разработки систем высокой целостности, в диалоговом окне Параметров конфигурации, на панели 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. | |
| Я | Очистить MAT-file logging. | |
| Объяснение | A | Поддержка не конечных чисел не рекомендуется для систем, связанных с безопасностью в реальном времени. |
| B | Поддержка абсолютного времени не рекомендуется для систем, связанных с безопасностью в реальном времени. | |
| C | Поддержка непрерывного времени не рекомендуется для систем, связанных с безопасностью в реальном времени. | |
| D | Поддержка не встроенных S-функций требует поддержки не конечных чисел, что не рекомендуется для систем, связанных с безопасностью в реальном времени. | |
| E | Устранить вызовы функций модели, совместимые с основным программным модулем целевого устройства GRT до 2012 года, который не рекомендован для систем, связанных с безопасностью в реальном времени; вместо этого используйте конечный объект на основе ERT. | |
| F | Упростить интерфейс к операционной системе в реальном времени (RTOS) и упростить верификацию сгенерированного кода путем создания единого вызова как на выход, так и на обновление функций. | |
| G | Для устранения | |
| H | Чтобы исключить дополнительный код для логгирования и мониторинга состояния ошибки, который может быть недоступен для проверки. | |
| Я | Чтобы исключить дополнительный код для логгирования тестовых точек в файл MAT, который не поддерживается целевыми процессорами. | |
| Проверки Model Advisor | Проверьте настройки интерфейса генерации кода, связанного с безопасностью (Simulink Check) | |
| Ссылки |
| |
| См. также | Параметры конфигурации модели: интерфейс генерации кода (Embedded Coder) | |
| Последнее изменение | R2021a | |
| Идентификатор: Заголовок | hisl_0047: Параметры конфигурации > Генерация кода > Стиль кода | |
|---|---|---|
| Описание | В диалоговом окне Параметров конфигурации на панели Code Generation > Code Style установите следующие параметры: | |
| A | Установите уровень круглых скобок (Embedded Coder) равным | |
| B | Выберите Perve operand order in expression (Embedded Coder). | |
| Примечание | Эти параметры конфигурации доступны, когда параметру конфигурации System target file (Simulink Coder) задано значение ert.tlc. | |
| Объяснение | A | Чтобы предотвратить неожиданные результаты. |
| B | Для улучшения трассируемости сгенерированного кода. | |
| Проверки Model Advisor | Проверьте настройки генерации кода, связанного с безопасностью, для стиля кода (Simulink Check) | |
| Ссылки |
| |
| См. также | Параметры конфигурации модели: стиль кода (Embedded Coder) | |
| Последнее изменение | R2019b | |
| Идентификатор: Заголовок | hisl_0049: Параметры конфигурации > Генерация кода > Идентификаторы | |
|---|---|---|
| Описание | Чтобы минимизировать вероятность того, что имена параметров и сигналов изменятся во время генерации кода, когда модель изменится, установите Minimum mangle length параметра конфигурации на 4 или выше. | |
| Объяснение | Уменьшите усилия для выполнения рассмотрения кода. | |
| Проверки Model Advisor | Проверьте настройки идентификатора генерации кода, связанного с безопасностью (Simulink Check) | |
| Ссылки |
| |
| См. также | Параметры конфигурации модели: Идентификаторы генерации кода (Embedded Coder) | |
| Последнее изменение | R2021a | |