| Идентификатор: Заголовок | hisl_0052: Параметры конфигурации > Создание кода > Оптимизация > Инициализация данных | ||
|---|---|---|---|
| Описание | Для поддержки полного определения данных и инициализации внутренних и внешних данных до нуля очистите следующие параметры конфигурации: | ||
| A | Удаление инициализации нулевого ввода-вывода на корневом уровне. | ||
| B | Удаление инициализации внутреннего нуля данных. | ||
| Примечание | Явная инициализация всех переменных. Если среда выполнения целевой системы обеспечивает механизмы инициализации переменных ввода-вывода и состояния, рассмотрите возможность использования инициализации целевой системы в качестве альтернативы предложенным настройкам. Параметры конфигурации применимы только в том случае, если эти параметры конфигурации генерации кода установлены следующим образом:
| ||
| Объяснение | A, B | Поддержка полностью определенных данных в сгенерированном коде. | |
| Проверки помощника по модели | Проверка параметров оптимизации, связанных с безопасностью, для инициализации данных (Simulink Check) | ||
| Ссылки |
| ||
| См. также | Информация о следующих параметрах в документации Simulink ®:
| ||
| Последнее изменение | R2021a | ||
| Идентификатор: Заголовок | hisl_0053: Параметры конфигурации > Создание кода > Оптимизация > Удаление кода из преобразования с плавающей запятой в целое число, которое переносит значения за пределы диапазона | ||
|---|---|---|---|
| Описание | Для поддержки проверяемого кода выберите параметр конфигурации Remove code from floating-point to integer conversions, который переносит значения за пределы диапазона | ||
| Примечания | Избегайте переполнения, а не обработки кода обертки. Для блоков, для которых параметр конфигурации Saturate on integer overflow снят, отмена выбора параметра Remove code from floating-point to integer conversions, который переносит значения за пределы диапазона, может добавить код, который переносится за пределы диапазона, что приведет к недоступности кода, который невозможно проверить. | ||
| Объяснение | Поддержка создания кода, который может быть проверен. | ||
| Проверки помощника по модели | Проверка параметров оптимизации, связанных с безопасностью, для преобразований типов данных (Simulink Check) | ||
| Ссылки |
| ||
| См. также | Удаление кода из преобразования с плавающей запятой в целое число, которое переносит значения вне диапазона (Simulink Coder) в документации Simulink | ||
| Последнее изменение | R2018b | ||
| Идентификатор: Заголовок | hisl_0054: Параметры конфигурации > Создание кода > Оптимизация > Удалить код, защищающий от арифметических исключений разделения | ||
|---|---|---|---|
| Описание | Чтобы обеспечить надежность операций, очистите параметр конфигурации Удалить код, защищающий от арифметических исключений разделения. | ||
| Примечание | Избегайте исключений разделения на ноль. При снятии флажка Удалить код, защищающий от арифметических исключений деления, генератор кода создает код, защищающий от деления на ноль для данных с фиксированной точкой. Этот параметр конфигурации применим только в том случае, если целевой файл системы является целевым файлом на основе ERT. | ||
| Объяснение | Защита от исключений «деление на ноль» для кода с фиксированной точкой. | ||
| Проверки помощника по модели | Проверка параметров оптимизации, связанных с безопасностью, для арифметических исключений разделения (Simulink Check) | ||
| Ссылки |
| ||
| См. также | Удаление кода, защищающего от арифметических исключений разделения (Embedded Coder) в документации Simulink | ||
| Последнее изменение | R2018b | ||
| Идентификатор: Заголовок | hisl_0056: Параметры Конфигурации> Генерация объектного кода> Оптимизация> Оптимизируют использование указанных минимальных и максимальных значений | ||
|---|---|---|---|
| Описание | Для поддержки проверяемого кода очистите параметр конфигурации Optimize, используя указанные минимальное и максимальное значения. | ||
| Примечания | Выбор опции Оптимизировать (Optimize) с использованием указанных минимального и максимального значений может привести к возникновению требований без связанного кода и нарушению целей отслеживания. | ||
| Объяснение | Поддержка отслеживания между моделью и сгенерированным кодом. | ||
| Проверки помощника по модели | Проверка параметров оптимизации, связанных с безопасностью, для указанных минимальных и максимальных значений (Simulink Check) | ||
| Ссылки |
| ||
| См. также |
| ||
| Последнее изменение | R2018b | ||
| Идентификатор: Заголовок | hisl_0038: Параметры конфигурации > Создание кода > Комментарии | |
|---|---|---|
| Описание | В диалоговом окне «Параметры конфигурации» на панели «Создание кода» > «Комментарии» выберите следующие параметры: | |
| A | Включить комментарии. | |
| B | Комментарии блока Simulink. | |
| C | Показать устраненные блоки. | |
| D | Подробные комментарии для класса хранения «» Model default «». | |
| E | Требования в блоковых комментариях. | |
| Объяснение | A | Включение комментариев обеспечивает хорошую прослеживаемость между кодом и моделью. |
| B | Включение комментариев, описывающих код для блоков, обеспечивает хорошую прослеживаемость между кодом и моделью. | |
| C | Включение комментариев, описывающих код для блоков, исключенных из модели, обеспечивает хорошую прослеживаемость между кодом и моделью. | |
| D | Включение имен переменных параметров и исходных блоков в качестве комментариев в объявление структуры параметров модели в | |
| E | Включение описаний требований, назначенных блокам Simulink в качестве комментариев, обеспечивает хорошую прослеживаемость между кодом и моделью. | |
| Проверки помощника по модели | Проверка параметров создания кода, связанных с безопасностью, для комментариев (Simulink Check) | |
| Ссылки |
| |
| См. также | Параметры конфигурации модели: комментарии (встроенный кодер) | |
| Последнее изменение | R2021a | |
| Идентификатор: Заголовок | hisl_0039: Параметры конфигурации > Создание кода > Интерфейс | |
|---|---|---|
| Описание | Для моделей, используемых для разработки систем с высокой целостностью, в диалоговом окне Параметры конфигурации (Configuration Parameters) на панели Создание кода (Code Generation) > Интерфейс (Interface) задайте параметры Среда программного обеспечения (Software environment), Интерфейс кода (Code interface) и Интерфейс обмена данными (Data exchange interface) следующим образом: | |
| A | Очистить опору: неграничные числа. | |
| B | Clear Support: абсолютное время. | |
| C | Clear Support: непрерывное время. | |
| D | Clear Support: неинлинированные S-функции. | |
| E | Очистить классический интерфейс вызова. | |
| F | Выберите функцию Single output/update. | |
| G | Очистить требуемую функцию завершения. | |
| H | Выберите Удалить поле состояния ошибки в структуре данных модели в реальном времени. | |
| Я | Очистить журнал MAT-файлов. | |
| Объяснение | A | Поддержка неграничных чисел не рекомендуется для систем, связанных с безопасностью в реальном времени. |
| B | Поддержка абсолютного времени не рекомендуется для систем, связанных с безопасностью в реальном времени. | |
| C | Поддержка непрерывного времени не рекомендуется для систем, связанных с безопасностью в режиме реального времени. | |
| D | Поддержка неинлинированных S-функций требует поддержки неграничных чисел, что не рекомендуется для систем, связанных с безопасностью в реальном времени. | |
| E | Исключить модельные вызовы функций, совместимые с основным программным модулем цели GRT до 2012a, которая не рекомендуется для систем, связанных с безопасностью в реальном времени; вместо этого используйте целевой объект на основе ERT. | |
| F | Упрощение интерфейса с операционной системой реального времени (RTOS) и упрощение проверки генерируемого кода путем создания единого вызова функций вывода и обновления. | |
| G | Устранить | |
| H | Чтобы исключить дополнительный код для регистрации и мониторинга состояния ошибок, которые могут быть недоступны для тестирования. | |
| Я | Чтобы исключить дополнительный код для регистрации контрольных точек в MAT-файле, который не поддерживается встроенными целями. | |
| Проверки помощника по модели | Проверка параметров интерфейса генерации кода, связанного с безопасностью (Simulink Check) | |
| Ссылки |
| |
| См. также | Параметры конфигурации модели: интерфейс генерации кода (встроенный кодер) | |
| Последнее изменение | R2021a | |
| Идентификатор: Заголовок | hisl_0047: Параметры конфигурации > Создание кода > Стиль кода | |
|---|---|---|
| Описание | В диалоговом окне «Параметры конфигурации» на панели «Создание кода» > «Стиль кода» задайте следующие параметры: | |
| A | Установить уровень круглых скобок (встроенный кодер) в | |
| B | Выберите Сохранить порядок операндов в выражении (Embedded Coder). | |
| Примечание | Эти параметры конфигурации доступны, если для параметра конфигурации System target file (Simulink Coder) установлено значение ert.tlc. | |
| Объяснение | A | Предотвращение непредвиденных результатов. |
| B | Для улучшения прослеживаемости созданного кода. | |
| Проверки помощника по модели | Проверка параметров создания кода, связанных с безопасностью, для стиля кода (Simulink Check) | |
| Ссылки |
| |
| См. также | Параметры конфигурации модели: стиль кода (встроенный кодер) | |
| Последнее изменение | R2019b | |
| Идентификатор: Заголовок | hisl_0049: Параметры конфигурации > Создание кода > Идентификаторы | |
|---|---|---|
| Описание | Чтобы свести к минимуму вероятность того, что имена параметров и сигналов изменятся во время генерации кода при изменении модели, установите параметр конфигурации Minimum mangle length на 4 или больше. | |
| Объяснение | Уменьшите усилия по проверке кода. | |
| Проверки помощника по модели | Проверка параметров генерации кодов, связанных с безопасностью (Simulink Check) | |
| Ссылки |
| |
| См. также | Параметры конфигурации модели: идентификаторы генерации кода (встроенный кодер) | |
| Последнее изменение | R2021a | |