exponenta event banner

Стандарты, рекомендации и использование блоков

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

Рекомендации по моделированию включают рекомендуемые настройки модели, использование блоков и параметры блоков. Эти рекомендации используются при разработке моделей и создании кода для определенных приложений и стандартов. Если ваше приложение имеет важные для безопасности цели разработки и сертификации, ваши модели и созданный код могут соответствовать одному или нескольким отраслевым стандартам и рекомендациям. Дополнительные сведения см. в разделе Поддержка стандартов и руководств.

Темы

Стандарты

Блоки и продукты, поддерживаемые для создания кода

Определение блоков и продуктов, поддерживаемых Simulink ® Coder™ и Embedded Coder ® для создания кода.

Моделирование семантических соображений

Распространение данных, распределение времени выборки, фиксаторы для блоков подсистемы, порядок выполнения блоков и алгебраические циклы.

Поддержка стандартов и руководящих принципов

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

Стандарт МЭК 61508

Используйте Model Advisor для разработки моделей и создания кода, соответствующего стандарту IEC 61508.

Стандарт МЭК 62304

Для разработки моделей и создания кода, соответствующего стандарту МЭК 62304, используется консультант по моделям.

Стандарт ISO 26262

Используйте Model Advisor для разработки моделей и создания кода, соответствующего стандарту ISO 26262.

Стандарт EN 50128

Используйте Model Advisor для разработки моделей и создания кода, соответствующего стандарту EN 50128.

Стандарт ISO 25119

Используйте Model Advisor для разработки моделей и создания кода, соответствующего стандарту ISO 25119.

DO-178C Стандарт

Используйте Model Advisor для разработки моделей и создания кода, соответствующего стандарту DO-178C.

Стандарт AUTOSAR

Используйте Embedded Coder и AUTOSAR Blockset для разработки моделей компонентов и создания описаний кода и программного обеспечения XML, соответствующих стандарту AUTOSAR.

Рекомендации по моделированию

Рекомендации MISRA C

MISRA ® предоставляет рекомендации по созданию кода.

Стандарты безопасного кодирования

Используйте Model Advisor для разработки моделей и созданного кода, соответствующего стандартам безопасности кодирования.

Руководящие принципы MAB

MAB содержит рекомендации по использованию Simulink, Stateflow ® и Simulink Coder.

Рекомендации по моделированию систем с высокой целостностью

Рекомендации по моделированию систем моделирования с высокой целостностью.

Рекомендации по моделированию для создания кода

Руководящие принципы и факторы, которые следует учитывать при создании кода.

Рекомендации по моделированию блоков

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

Рекомендации по моделированию для функций MATLAB

При разработке моделей и создании кода для функций MATLAB ® используйте рекомендации по моделированию.

Руководство по моделированию подсистем

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

Рекомендации по моделированию конфигурации модели

При разработке моделей и создании кода используйте рекомендации по конфигурации руководства по моделированию.

Рекомендации по моделированию диаграмм

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

Проверка соответствия с помощью проверок Model Advisor

Embedded Coder Model Advisor проверяет стандарты, рекомендации и эффективность кода

Используйте проверки Embedded Coder Model Advisor для оценки готовности модели к созданию кода.

Simulink Coder Model Advisor проверяет стандарты и эффективность кода

Используйте проверки Simulink Coder Model Advisor для оценки готовности модели к созданию кода.

MISRA C:2012 Соответствие и отклонения для сгенерированного кода

Разработка заявления о соответствии MISRA C:2012

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

Оценка созданного кода для соответствия требованиям MISRA C:2012

Высокоуровневый рабочий процесс для оценки созданного кода на соответствие рекомендациям MISRA C:2012.

MISRA C:2012 Сводные таблицы информации о соответствии

Определяет метод утверждения соответствия рекомендациям MISRA C:2012. Содержит применимые рекомендации по моделированию, поддержку Model Advisor и поддержку MISRA C:2012 Checker от Polyspace ®.

Руководство по моделированию соответствия MISRA C:2012

Руководство по моделированию для тех руководящих принципов MISRA C:2012, тип соответствия которым - «Соответствие через руководство».

Обоснование отклонений для соответствия MISRA C:2012

Обоснование C:2012 директив и правил MISRA с типом соответствия «Отклонение».

Характерные примеры