Exponenta Banner

hisf_0065: Введите операции броска в Stateflow, чтобы улучшить податливость кода

ID: Заголовокhisf_0065: Введите операции броска в Stateflow®, чтобы улучшить податливость кода
ОписаниеВ диаграммах Stateflow, которые используют язык действия C, используйте := обозначение, чтобы защитить от Stateflow, бросая вычисления целочисленной и фиксированной точки к более широким типам данных, чем типы входных данных.
Примечание

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

ОбъяснениеИзбегать неявных бросков в сгенерированном коде, который может нарушить стандарты кодирования.
Проверки Model AdvisorПроверяйте операции присвоения в диаграммы Stateflow (Simulink Check)
Ссылки

  • Раздел DO-331 MB.6.3.1.b 'Требования высокого уровня точен и сопоставим'
    Раздел DO-331 MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим'

  • IEC 61508–3, Таблица A.3 (2) язык программирования Со строгим контролем типов
    IEC 61508–3, Табличное A.4 (3) Безопасное программирование

  • IEC 62304, 5.5.3 - критерии допустимости Программного блока

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

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

Необходимые условияhisl_0060: Параметры конфигурации, которые улучшают податливость MISRA C:2012 (Simulink)
В последний раз измененныйR2017b

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

Поддержка