Exponenta Banner

Блокируйте использование

hisl_0020: Блоки, не рекомендуемые для податливости MISRA C:2012

ID: Заголовокhisl_0020: Блоки, не рекомендуемые для податливости MISRA C:2012
Описание

Улучшить податливость MISRA C:2012 сгенерированного кода:

A

Использование только блокирует ту генерацию кода поддержки, как зарегистрировано в Simulink® Block Support Table.

BНе используйте блоки, которые перечислены как “Не рекомендуемый для производственного кода” в Таблице Поддержки блока Simulink.
C

Не используйте блоки Lookup Table с помощью методов экстраполяции или интерполяции кубическим сплайном. Определенные блоки:

DНе используйте удержал от использования блоки Lookup Table. Блоками Интерполяционной таблицы устаревшими является Lookup и Lookup2D.
EНе используйте блоки S-Function Builder в модели или подсистеме.
FНе используйте блоки From Workspace в модели или подсистеме.
G

Не используйте эти блоки Строки в модели или подсистеме:

Примечания

Если вы следуете за этим и другими руководствами по моделированию, можно устранить построения модели, которые не подходят для генерации производственного кода C/C++, в то же время увеличивают вероятность генерации кода, который выполняет стандарт MISRA C:2012.

Используйте блок Block Support Table, чтобы просмотреть Block Support Table. Блоки со сноской (4) в Block Support Table классифицируются как "Не рекомендуемый для производственного кода".

ОбъяснениеA, B, C, D, E, F, GУлучшите качество и податливость MISRA C:2012 сгенерированного кода.
Проверки Model Advisor

Проверять модель на условия A, B, C, D, E, F, и G:

  • By Task> Modeling Guidelines for MISRA C:2012> Code> Check for blocks not recommended for MISRA C:2012

  • By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Code> Check for blocks not recommended for MISRA C:2012

  • By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Code> Check for blocks not recommended for MISRA C:2012

  • By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Code> Check for blocks not recommended for MISRA C:2012

  • By Task> Modeling Standards for EN 50128> High-Integrity Systems> Code> Check for blocks not recommended for MISRA C:2012

  • By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Code> Check for blocks not recommended for MISRA C:2012

Для получения дополнительной информации проверки смотрите Проверку на блоки, не рекомендуемые для MISRA C:2012 (Simulink Check).

Проверять модель на условия A и B:

  • By Task> Modeling Guidelines for MISRA C:2012> Check for blocks not recommended for C/C++ production code deployment

  • By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Simulink> Check for blocks not recommended for C/C++ production code deployment

  • By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Simulink> Check for blocks not recommended for C/C++ production code deployment

  • By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Simulink> Check for blocks not recommended for C/C++ production code deployment

  • By Task> Modeling Standards for EN 50128> High-Integrity Systems> Simulink> Check for blocks not recommended for C/C++ production code deployment

  • By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Simulink> Check for blocks not recommended for C/C++ production code deployment

Для получения дополнительной информации проверки смотрите Проверку на блоки, не рекомендуемые для производственного развертывания C/C++ кода (Simulink Check).

Ссылки

  • DO-331, Раздел MB.6.3.2.b ‘Низкоуровневые требования точен и сопоставим’
    DO-331, Раздел MB.6.3.2.e ‘Низкоуровневые требования соответствует стандартам
    DO-331, Раздел MB.6.3.4.d ‘Исходный код соответствует стандартам’

  • IEC 61508-3, Таблица A.3 (3) - Языковое подмножество

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

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

  • EN 50128, таблица A.4 (11) - языковое подмножество

  • MISRA C: 2012

В последний раз измененныйR2018b

hisl_0101: Избегайте инвариантных операций сравнения, чтобы улучшить податливость MISRA C:2012

ID: Заголовокhisl_0101: Избегайте инвариантных операций сравнения, чтобы улучшить податливость MISRA C:2012
Описание

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

  • If

  • Logic

  • Relational Operator

  • Switch

  • Switch Case

  • Compare to Constant

Примечание

Можно использовать функциональность поиска ошибок проектирования в Simulink Design Verifier™, чтобы выполнить анализ. Для получения дополнительной информации смотрите Обнаружение Мертвой логики (Simulink Design Verifier). Если у вас есть лицензия Simulink Design Verifier, можно использовать проверку Model Advisor, Обнаруживают Мертвую логику.

ОбъяснениеУлучшите податливость MISRA C:2012 сгенерированного кода.
Ссылки

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

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

В последний раз измененныйR2018a
Пример

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

Простой: uint8 всегда больше или равен 0.

Простой: uint8 не может иметь значения, больше, чем 256

Составной объект: операции сравнения являются взаимоисключающими

Stateflow® :

hisl_0102: Тип данных контрольных переменных цикла, чтобы улучшить податливость MISRA C:2012

ID: Заголовокhisl_0102: Тип данных контрольных переменных цикла, чтобы улучшить податливость MISRA C:2012
Описание

Чтобы улучшить податливость MISRA C:2012 сгенерированного кода, используйте целочисленный тип данных в переменных, которые используются в качестве переменных счетчика управления циклом в:

  • Циклы for создаются в Stateflow и MATLAB®.

  • Блоки For Iterator.

ОбъяснениеУлучшите податливость MISRA C:2012 сгенерированного кода.
Проверки Model Advisor

  • By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Simulink> Check data type of loop control variables

  • By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Simulink> Check data type of loop control variables

  • By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Simulink> Check data type of loop control variables

  • By Task> Modeling Standards for EN 50128> High-Integrity Systems> Simulink> Check data type of loop control variables

  • By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Simulink> Check data type of loop control variables

Для получения дополнительной информации проверки смотрите тип данных Проверки контрольных переменных цикла (Simulink Check)

Ссылки

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

В последний раз измененныйR2018a
Документация Simulink
Поддержка