| ID: Заголовок | hisl_0051: Параметры конфигурации> Генерация кода> Оптимизация> порог Развертывания цикла | ||
|---|---|---|---|
| Описание | Чтобы поддержать однозначный код, установите минимальный сигнал или ширину параметра для генерации цикла | ||
| Примечания | Порог развертывания цикла задает размер массивов, в котором генератор кода начинает использовать цикл | ||
| Объяснение | Поддержите однозначный сгенерированный код. | ||
| Образцовые проверки советника |
Для получения дополнительной информации проверки смотрите Проверку связанный с безопасностью порог разворачивающего цикла for настроек оптимизации. | ||
| Ссылки |
| ||
| Смотрите также | Порог развертывания цикла (Simulink Coder) в документации Simulink® | ||
| В последний раз измененный | R2018a | ||
| ID: Заголовок | hisl_0052: Параметры конфигурации> Генерация кода> Оптимизация> инициализация Данных | ||
|---|---|---|---|
| Описание | Поддержать полное определение данных и инициализировать внутренние и внешние данные, чтобы обнулить, в диалоговом окне Configuration Parameters: | ||
| A | Ясный Удаляют корневую нулевую инициализацию ввода-вывода уровня. | ||
| B | Ясный Удаляют внутреннюю нулевую инициализацию данных. | ||
| Примечание | Явным образом инициализируйте все переменные. Если среда выполнения целевой системы обеспечивает механизмы, чтобы инициализировать весь ввод-вывод и переменные состояния, рассмотрите использование инициализации цели как альтернатива предложенным настройкам. | ||
| Объяснение | A, B | Поддержка полностью задала данные в сгенерированном коде. | |
| Образцовые проверки советника |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки оптимизации для инициализации данных. | ||
| Ссылки |
| ||
| Смотрите также | Информация о следующих параметрах в документации Simulink:
| ||
| В последний раз измененный | R2018b | ||
| ID: Заголовок | hisl_0053: Параметры конфигурации> Генерация кода> Оптимизация> Удаляет код от с плавающей точкой до целочисленных преобразований, который переносит значения из области значений | ||
|---|---|---|---|
| Описание | Чтобы поддержать верифицируемый код, в диалоговом окне Configuration Parameters, выбирают код Remove от с плавающей точкой до целочисленных преобразований, который переносит значения из области значений | ||
| Примечания | Избегайте переполнения в противоположность обработке их с кодом обертки. Для блоков, которые имеют параметр, Насыщают на целочисленном переполнении, очищенный, очищающийся параметр конфигурации Удаляет код от с плавающей точкой до целочисленных преобразований, который переносится значения, из области значений могут добавить код, который переносится из значений области значений, приводящих к недостижимому коду, который не может быть протестирован. | ||
| Объяснение | Поддержите генерацию кода, который может быть проверен. | ||
| Образцовые проверки советника |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки оптимизации для преобразований типа данных. | ||
| Ссылки |
| ||
| Смотрите также | Удалите код от с плавающей точкой до целочисленных преобразований, который переносит значения из области значений (Simulink Coder) в документацию Simulink | ||
| В последний раз измененный | R2018b | ||
| ID: Заголовок | hisl_0054: Параметры конфигурации> Генерация кода> Оптимизация> Удаляет код, который защищает от арифметических исключений деления | ||
|---|---|---|---|
| Описание | Чтобы поддержать робастность операций, в диалоговом окне Configuration Parameters, ясном, Удаляют код, который защищает от арифметических исключений деления. | ||
| Примечание | Избегайте исключений деления на нуль. Если вы очищаетесь, Удаляют код, который защищает от арифметических исключений деления, генератор кода производит код, который принимает меры против деления на нуль для данных фиксированной точки. | ||
| Объяснение | Защитите от исключений деления на нуль для фиксированной точки. | ||
| Образцовые проверки советника |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки оптимизации для арифметических исключений деления. | ||
| Ссылки |
| ||
| Смотрите также | Удалите код, который защищает от арифметических исключений деления (Simulink Coder) в документации Simulink | ||
| В последний раз измененный | R2018b | ||
| ID: Заголовок | hisl_0056: Параметры конфигурации> Генерация кода> Оптимизация> Оптимизируют использование заданных минимальных и максимальных значений | ||
|---|---|---|---|
| Описание | Чтобы поддержать верифицируемый код, очиститесь, Параметр конфигурации Оптимизируют использование заданных минимальных и максимальных значений. | ||
| Примечания | Выбор Optimize с помощью заданных минимальных и максимальных значений может привести к требованиям без связанного кода и нарушает цели трассируемости. | ||
| Объяснение | Поддержите трассируемость между образцовым и сгенерированным кодом. | ||
| Образцовые проверки советника |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки оптимизации | ||
| Ссылки |
| ||
| Смотрите также |
| ||
| В последний раз измененный | R2018b | ||
| ID: Заголовок | hisl_0038: Параметры конфигурации> Генерация кода> Комментарии | |
|---|---|---|
| Описание | Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Генерации кода> панель Комментариев, устанавливают Полное управление, Автоматические сгенерированные комментарии и Пользовательские параметры комментариев можно следующим образом: | |
| A | Выберите комментарии Include. | |
| B | Выберите комментарии блока Simulink. | |
| C | Выберите устраненные блоки Show. | |
| D | Выберите Verbose comments для 'Образцового' класса памяти по умолчанию. | |
| E | Выберите Requirements в блочных комментариях. | |
| Объяснение | A | Включая комментарии обеспечивает хорошую трассируемость между кодом и моделью. |
| B | Включая комментарии, которые описывают код для блоков, обеспечивает хорошую трассируемость между кодом и моделью. | |
| C | Включая комментарии, которые описывают код для блоков, устраненных из модели, обеспечивает хорошую трассируемость между кодом и моделью. | |
| D | Включая имена переменных параметра и исходных блоков как комментарии в описании структуры параметра модели в | |
| E | Включая описания требования, присвоенные блокам Simulink как комментарии, обеспечивает хорошую трассируемость между кодом и моделью. | |
| Образцовые проверки советника |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки генерации кода для комментариев. | |
| Ссылки |
| |
| В последний раз измененный | R2017b | |
| ID: Заголовок | hisl_0039: Параметры конфигурации> Генерация кода> Интерфейс | |
|---|---|---|
| Описание | Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Генерации кода> Интерфейсная панель, устанавливают Программную среду, интерфейс Code и параметры интерфейса Обмена данными можно следующим образом: | |
| A | Очистите Поддержку: неличные числа. | |
| B | Очистите Поддержку: абсолютное время. | |
| C | Очистите Поддержку: непрерывное время. | |
| D | Очистите Поддержку: невстроенные S-функции. | |
| E | Очистите Классический интерфейс вызова. | |
| F | Выберите Single вывод / функция обновления. | |
| G | Очистите Оконечную требуемую функцию. | |
| H | Выберите ошибочное поле состояния Remove в режиме реального времени структура данных модели. | |
| I | Очистите журналирование MAT-файла. | |
| Объяснение | A | Поддержка неличных чисел не рекомендуется для связанных с безопасностью систем в реальном времени. |
| B | Поддержка в течение абсолютного времени не рекомендуется для связанных с безопасностью систем в реальном времени. | |
| C | Поддержка в течение непрерывного времени не рекомендуется для связанных с безопасностью систем в реальном времени. | |
| D | Поддержка невстроенных S-функций требует поддержки неличных чисел, которая не рекомендуется для связанных с безопасностью систем в реальном времени. | |
| E | Устранить образцовые вызовы функции, совместимые с основным программным модулем pre-2012a цели GRT, которая не рекомендуется для связанных с безопасностью систем в реальном времени; используйте ERT базирующаяся цель вместо этого. | |
| F | Упростить интерфейс до операционной системы реального времени (RTOS) и упростить верификацию сгенерированного кода путем создания единственного вызова обоих функции вывода и обновления. | |
| G | Устранить | |
| H | Устранить дополнительный код для журналирования и контроля ошибочного состояния, которое не может быть достижимо для тестирования. | |
| I | Устранить дополнительный код для журналирования тестовых точек к файлу MAT, который не поддержан целевыми процессорами. | |
| Образцовые проверки советника |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки интерфейса генерации кода. | |
| Ссылки |
| |
| В последний раз измененный | R2018b | |
| ID: Заголовок | hisl_0047: Параметры конфигурации> Генерация кода> Код | |
|---|---|---|
| Описание | Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Генерации кода> панель Стиля кода, устанавливают параметры Стиля кода можно следующим образом: | |
| A | Установите уровень Круглой скобки на | |
| B | Выберите порядок операнда Preserve в выражении. | |
| C | Выберите выражение условия Preserve в операторе if. | |
| Объяснение | A | Предотвратить неожиданные результаты. |
| B, C | Улучшить трассируемость сгенерированного кода. | |
| Образцовые проверки советника |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки генерации кода для стиля кода. | |
| Ссылки |
| |
| В последний раз измененный | R2018b | |
| ID: Заголовок | hisl_0049: Параметры конфигурации> Генерация кода> Символы | |
|---|---|---|
| Описание | Для моделей, используемых, чтобы разработать системы высокой целостности, в диалоговом окне Configuration Parameters, на Генерации кода> панель Символов, устанавливают Автоматически сгенерированный идентификатор, называющий параметры правил можно следующим образом: | |
| A | Установите Минимальную длину искажения на | |
| Объяснение | A | Минимизировать вероятность, что параметр и имена сигнала изменятся во время генерации кода, когда модель изменится. Таким образом опция может уменьшить усилие выполнить рассмотрение кода. |
| Образцовые проверки советника |
Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки символов генерации кода. | |
| Ссылки |
| |
| В последний раз измененный | R2018b | |
