Exponenta Banner
exponenta event banner

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

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

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

  • Ненужное преобразование типа в warning

  • Преобразование входного сигнала блока вектор/матрица в error

  • Преобразование 32-разрядного целого числа в одинарную точность с плавающей запятой в warning

Объяснение

Повышение надежности конструкции.

Проверки помощника по модели Проверка параметров диагностики, связанных с безопасностью, для преобразования типов (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

Документация по комплекту сертификации МЭК

Поддержка