exponenta event banner

Создание кода

hisl_0052: Параметры конфигурации > Создание кода > Оптимизация > Инициализация данных

Идентификатор: Заголовокhisl_0052: Параметры конфигурации > Создание кода > Оптимизация > Инициализация данных
Описание

Для поддержки полного определения данных и инициализации внутренних и внешних данных до нуля очистите следующие параметры конфигурации:

AУдаление инициализации нулевого ввода-вывода на корневом уровне.
BУдаление инициализации внутреннего нуля данных.
Примечание

Явная инициализация всех переменных. Если среда выполнения целевой системы обеспечивает механизмы инициализации переменных ввода-вывода и состояния, рассмотрите возможность использования инициализации целевой системы в качестве альтернативы предложенным настройкам.

Параметры конфигурации применимы только в том случае, если эти параметры конфигурации генерации кода установлены следующим образом:

  • Системный целевой файл является только целевым файлом на основе ERT. (Неприменимо для autosar.tlc целевой тип.)

  • Для упаковки интерфейса InteriveCode установлено значение Nonreusable function или Reusable function

ОбъяснениеA, BПоддержка полностью определенных данных в сгенерированном коде.
Проверки помощника по моделиПроверка параметров оптимизации, связанных с безопасностью, для инициализации данных (Simulink Check)
Ссылки
  • DO-331, раздел MB.6.3.3.b «Архитектура программного обеспечения согласована »

  • IEC 61508-3, таблица A.4 (3) «Оборонительное программирование»

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 (1d) «Использование защитных технологий реализации»

  • EN 50128, таблица A.3 (1) «Оборонительное программирование»

См. также

Информация о следующих параметрах в документации Simulink ®:

Последнее изменениеR2021a

hisl_0053: Параметры конфигурации > Создание кода > Оптимизация > Удаление кода из преобразования с плавающей запятой в целое число, которое переносит значения за пределы диапазона

Идентификатор: Заголовокhisl_0053: Параметры конфигурации > Создание кода > Оптимизация > Удаление кода из преобразования с плавающей запятой в целое число, которое переносит значения за пределы диапазона
Описание

Для поддержки проверяемого кода выберите параметр конфигурации Remove code from floating-point to integer conversions, который переносит значения за пределы диапазона

Примечания

Избегайте переполнения, а не обработки кода обертки.

Для блоков, для которых параметр конфигурации Saturate on integer overflow снят, отмена выбора параметра Remove code from floating-point to integer conversions, который переносит значения за пределы диапазона, может добавить код, который переносится за пределы диапазона, что приведет к недоступности кода, который невозможно проверить.

ОбъяснениеПоддержка создания кода, который может быть проверен.
Проверки помощника по моделиПроверка параметров оптимизации, связанных с безопасностью, для преобразований типов данных (Simulink Check)
Ссылки
  • DO-331, Раздел MB.6.3.1.g «Алгоритмы точны »
    DO-331, Раздел MB.6.3.2.g «Алгоритмы точны »

  • IEC 61508-3, таблица A.4 (3) «Оборонительное программирование»

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 (1d) «Использование защитных технологий реализации»

  • EN 50128, таблица A.3 (1) «Оборонительное программирование»

  • MISRA C:2012, правило 2.1

См. такжеУдаление кода из преобразования с плавающей запятой в целое число, которое переносит значения вне диапазона (Simulink Coder) в документации Simulink
Последнее изменениеR2018b

hisl_0054: Параметры конфигурации > Создание кода > Оптимизация > Удалить код, защищающий от арифметических исключений разделения

Идентификатор: Заголовокhisl_0054: Параметры конфигурации > Создание кода > Оптимизация > Удалить код, защищающий от арифметических исключений разделения
Описание

Чтобы обеспечить надежность операций, очистите параметр конфигурации Удалить код, защищающий от арифметических исключений разделения.

Примечание

Избегайте исключений разделения на ноль. При снятии флажка Удалить код, защищающий от арифметических исключений деления, генератор кода создает код, защищающий от деления на ноль для данных с фиксированной точкой.

Этот параметр конфигурации применим только в том случае, если целевой файл системы является целевым файлом на основе ERT.

ОбъяснениеЗащита от исключений «деление на ноль» для кода с фиксированной точкой.
Проверки помощника по моделиПроверка параметров оптимизации, связанных с безопасностью, для арифметических исключений разделения (Simulink Check)
Ссылки
  • DO-331, Раздел MB.6.3.1.g «Алгоритмы точны »
    DO-331, Раздел MB.6.3.2.g «Алгоритмы точны »

  • IEC 61508-3, таблица A.3 (3) «Поднабор языка »
    IEC 61508-3 Таблица A.4 (3) «Оборонительное программирование»

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 b) «Использование языковых поднаборов »
    ISO 26262-6, Таблица 1 d) «Использование защитных технологий реализации»

  • EN 50128, Таблица A.4 (11) «Поднабор языка»
    EN 50128, таблица A.3 (1) «Оборонительное программирование»

  • MISRA C:2012, Dir 4.1

См. такжеУдаление кода, защищающего от арифметических исключений разделения (Embedded Coder) в документации Simulink
Последнее изменениеR2018b

hisl_0056: Параметры Конфигурации> Генерация объектного кода> Оптимизация> Оптимизируют использование указанных минимальных и максимальных значений

Идентификатор: Заголовокhisl_0056: Параметры Конфигурации> Генерация объектного кода> Оптимизация> Оптимизируют использование указанных минимальных и максимальных значений
ОписаниеДля поддержки проверяемого кода очистите параметр конфигурации Optimize, используя указанные минимальное и максимальное значения.
ПримечанияВыбор опции Оптимизировать (Optimize) с использованием указанных минимального и максимального значений может привести к возникновению требований без связанного кода и нарушению целей отслеживания.
ОбъяснениеПоддержка отслеживания между моделью и сгенерированным кодом.
Проверки помощника по моделиПроверка параметров оптимизации, связанных с безопасностью, для указанных минимальных и максимальных значений (Simulink Check)
Ссылки
  • DO-331 Раздел MB.MB.6.3.4.e "Исходный код отслеживается в соответствии с требованиями низкого уровня" "

  • IEC 61508-3, таблица A.4 (3) «Оборонительное программирование»

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, таблица 1 (1d) "Использование защитных методов реализации

  • EN 50128, таблица A.3 (1) «Оборонительное программирование»

См. также
Последнее изменениеR2018b

hisl_0038: Параметры конфигурации > Создание кода > Комментарии

Идентификатор: Заголовокhisl_0038: Параметры конфигурации > Создание кода > Комментарии
Описание

В диалоговом окне «Параметры конфигурации» на панели «Создание кода» > «Комментарии» выберите следующие параметры:

A

Включить комментарии.

B

Комментарии блока Simulink.

C

Показать устраненные блоки.

D

Подробные комментарии для класса хранения «» Model default «».

E

Требования в блоковых комментариях.

ОбъяснениеA

Включение комментариев обеспечивает хорошую прослеживаемость между кодом и моделью.

B

Включение комментариев, описывающих код для блоков, обеспечивает хорошую прослеживаемость между кодом и моделью.

C

Включение комментариев, описывающих код для блоков, исключенных из модели, обеспечивает хорошую прослеживаемость между кодом и моделью.

D

Включение имен переменных параметров и исходных блоков в качестве комментариев в объявление структуры параметров модели в model_prm.h обеспечивает хорошую прослеживаемость между кодом и моделью.

E

Включение описаний требований, назначенных блокам Simulink в качестве комментариев, обеспечивает хорошую прослеживаемость между кодом и моделью.

Проверки помощника по моделиПроверка параметров создания кода, связанных с безопасностью, для комментариев (Simulink Check)
Ссылки
  • DO-331, Раздел MB.6.3.4.e «Исходный код отслеживается в соответствии с требованиями низкого уровня»

  • IEC 61508-3, Таблица A.3 (3) 'Поднабор языка "

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 (1e) «Использование надежных принципов проектирования»

  • EN 50128, Таблица A.4 (11) «Поднабор языка»

См. такжеПараметры конфигурации модели: комментарии (встроенный кодер)
Последнее изменениеR2021a

hisl_0039: Параметры конфигурации > Создание кода > Интерфейс

Идентификатор: Заголовок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

Устранить model_terminate функция, которая не рекомендуется для систем, связанных с безопасностью, в реальном времени.

H

Чтобы исключить дополнительный код для регистрации и мониторинга состояния ошибок, которые могут быть недоступны для тестирования.

Я

Чтобы исключить дополнительный код для регистрации контрольных точек в MAT-файле, который не поддерживается встроенными целями.

Проверки помощника по моделиПроверка параметров интерфейса генерации кода, связанного с безопасностью (Simulink Check)
Ссылки
  • DO-331, раздел MB.6.3.1.c «Требования высокого уровня совместимы с целевым компьютером»
    DO-331, раздел MB.6.3.2.c "Низкоуровневые требования совместимы с целевым компьютером

  • IEC 61508-3, Таблица A.3 (3) 'Поднабор языка "

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 (1b) «Использование языковых поднаборов»

  • EN 50128, Таблица A.4 (11) «Поднабор языка»

См. такжеПараметры конфигурации модели: интерфейс генерации кода (встроенный кодер)
Последнее изменениеR2021a

hisl_0047: Параметры конфигурации > Создание кода > Стиль кода

Идентификатор: Заголовокhisl_0047: Параметры конфигурации > Создание кода > Стиль кода
Описание

В диалоговом окне «Параметры конфигурации» на панели «Создание кода» > «Стиль кода» задайте следующие параметры:

A

Установить уровень круглых скобок (встроенный кодер) в Maximum (Specify precedence with parentheses).

B

Выберите Сохранить порядок операндов в выражении (Embedded Coder).

ПримечаниеЭти параметры конфигурации доступны, если для параметра конфигурации System target file (Simulink Coder) установлено значение ert.tlc.
ОбъяснениеA

Предотвращение непредвиденных результатов.

B

Для улучшения прослеживаемости созданного кода.

Проверки помощника по моделиПроверка параметров создания кода, связанных с безопасностью, для стиля кода (Simulink Check)
Ссылки
  • DO-331, раздел MB.6.3.1.c «Требования высокого уровня совместимы с целевым компьютером»
    DO-331, раздел MB.6.3.2.c "Низкоуровневые требования совместимы с целевым компьютером
    DO-331, Раздел MB.6.3.4.e «Исходный код отслеживается по низкоуровневым требованиям»

  • IEC 61508-3, Таблица A.3 (3) 'Поднабор языка "

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 (1b) «Использование языковых поднаборов»

  • EN 50128, Таблица A.4 (11) «Поднабор языка»

  • MISRA C:2012, правило 12.1

См. такжеПараметры конфигурации модели: стиль кода (встроенный кодер)
Последнее изменениеR2019b

hisl_0049: Параметры конфигурации > Создание кода > Идентификаторы

Идентификатор: Заголовокhisl_0049: Параметры конфигурации > Создание кода > Идентификаторы
ОписаниеЧтобы свести к минимуму вероятность того, что имена параметров и сигналов изменятся во время генерации кода при изменении модели, установите параметр конфигурации Minimum mangle length на 4 или больше.
Объяснение

Уменьшите усилия по проверке кода.

Проверки помощника по моделиПроверка параметров генерации кодов, связанных с безопасностью (Simulink Check)
Ссылки
  • DO-331, Раздел MB.6.3.4.e «Исходный код отслеживается по низкоуровневым требованиям»

  • IEC 61508-3, Таблица A.3 (3) 'Поднабор языка "

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

  • ISO 26262-6, Таблица 1 (1b) «Использование языковых поднаборов»

  • EN 50128, Таблица A.4 (11) «Поднабор языка»

См. такжеПараметры конфигурации модели: идентификаторы генерации кода (встроенный кодер)
Последнее изменениеR2021a