exponenta event banner

Рекомендации по определению правил эксплуатации руководящих принципов

Перед выбором рекомендаций по моделированию для проекта важно рассмотреть различные аспекты проекта и моделей, такие как:

Определение процесса и среда разработки

Разработка основы модели, в которой используется моделирование, подходит для разработки безопасного продукта. Однако это не означает, что система безопасна просто потому, что конструкция может быть смоделирована. Хотя необходим высококачественный контроль и функции, не менее важно использовать определение процесса и среду разработки. Фундамент для безопасной системы определяется в начале проекта, задолго до начала разработки.

Версии MATLAB и Simulink

Версия MATLAB ® и Simulink ®, используемая на каждом этапе разработки, определяется в начале проекта. Эта версия должна использоваться всеми на этом этапе разработки.

Различные версии MATLAB могут использоваться для различных этапов процесса разработки. Например, можно создать и проверить код в R2017b, а затем использовать Simulink Design Verifier™ для разработки R2020a тестовых примеров.

Необходимо регулярно проверять отчет об ошибках, публикуемый MathWorks ®, который доступен на веб-сайте MathWorks по адресу https://www.mathworks.com/support/bugreports. В зависимости от ошибки может потребоваться изменение версии; решение, которое при необходимости может быть отменено. В ходе этой оценки важно учитывать риск от обоих:

  • Сбои, возникающие в результате ошибки

  • Результат обновления версии

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

Параметры MATLAB и Simulink

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

Варианты унификации:

  • Параметры среды Simulink:

    • Новые стандартные настройки шрифта модели (блок, линия, аннотация)

  • Маска (редактировать маску):

    • Значки и порты

  • Отображение информации:

    • Ссылки на библиотеки

    • Время выборки

    • (Block) Сортированный порядок выполнения

    • (Сигналы и порты) Широкие нескалярные линии

    • (Сигналы и порты) Типы данных портов

См. рекомендации:

Пригодные для использования блоки

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

Значительное ограничение числа доступных блоков может вызывать неблагоприятные эффекты, такие как уменьшенная читаемость из-за вариаций в описаниях для одной и той же функции, сниженная эффективность кода и увеличенная пользовательская библиотека.

Необходимо зарегистрировать пользовательские блоки в пользовательской библиотеке проекта.

См. руководство db_0143: Типы используемых блоков в иерархии моделей для определения используемых блоков

Использование параметров оптимизации и конфигурации

Важно учитывать, как используются опции оптимизации и параметры конфигурации для проекта.

Параметры оптимизации

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

В качестве примера того, как параметры оптимизации могут влиять на процесс:

Для встраиваемых автомобильных продуктов крайне важно, чтобы время обработки было быстрым, а требования к RAM/ROM были минимальными. Для соответствия этим требованиям параметры оптимизации применяются на панели Выполнение ветви условного ввода (Conditional Input Branch Execution). Эти параметры оптимизации улучшают скорость вычислений путем выполнения только там, где условие сохраняется во время выполнения условной ветви с использованием блока Switch.

Напротив, для авиационной промышленности панель Выполнение условной ветви ввода (Conditional Input Branch Execution) отключена, поскольку стабилизация скорости выполнения является ключевой. Расчет с обеих сторон предпочтителен для поддержания стабильного времени вычисления, даже если расчет необходим только на той стороне, где сохраняется условие.

Параметры конфигурации

Рассмотрим следующие параметры конфигурации:

Параметры реализации аппаратного обеспечения

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

Настройки привязки модели

Указывается при использовании привязок модели. Ссылается на опции для включения других моделей в эту модель, опции для включения этой модели в другую модель и опции построения целей моделирования и генерации кода.

Настройка цели моделирования

Настройка цели моделирования модели с блоками MATLAB Function, Stateflow ® Chart (Stateflow) или Truth Table (Stateflow).

Параметры конфигурации с высокой целостностью

Дополнительные сведения о параметрах конфигурации с высокой целостностью см. в разделе Рекомендации по параметрам конфигурации в руководстве по моделированию системы с высокой целостностью.

Параметры конфигурации создания кода

Дополнительные сведения о настройках конфигурации генерации кода см. в руководстве по моделированию генерации кода.