Exponenta Banner
exponenta event banner

hisl_0309: Параметры конфигурации > Диагностика > Преобразование типов

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

В диалоговом окне Параметров конфигурации на панели Diagnostics > Type Conversion установите эти параметры следующим образом:

  • Unnecessary type conversion с warning

  • Vector/matrix block input conversion с error

  • 32-bit integer to single precision float conversion с warning

Объяснение

Улучшите робастность проекта.

Проверки Model Advisor Проверьте параметры диагностики, связанные с безопасностью, для преобразований типов (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.1.g - Алгоритмы точны
    DO-331, раздел MB.6.3.2.g - Алгоритмы точны

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

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

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

  • EN 50128, таблица A.4 (8) Сильно типизированный язык программирования
    EN 50128, таблица A.3 (1) Оборонительное программирование

См. также

Параметры конфигурации модели: Диагностика преобразования типов (Simulink) в Simulink® документация

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

Документация по IEC Certification Kit

Поддержка