Компания MathWorks ® предлагает рекомендации для инженеров по разработке моделей и созданию кода для систем с высокой целостностью с использованием модельного дизайна с продуктами MathWorks. Эти рекомендации содержат рекомендации по созданию полных, однозначных, статически детерминированных, надежных и проверяемых моделей Simulink ®. Основное внимание в руководстве уделяется настройкам модели, использованию блоков и параметрам блоков, влияющим на поведение моделирования или код, генерируемый продуктом Embedded Coder ®.
Эти рекомендации не предполагают, что вы используете определенный стандарт безопасности или сертификации. В руководящих принципах, где это применимо, содержатся ссылки на некоторые стандарты безопасности, включая:
Руководящие принципы могут также применяться к соответствующим стандартам, включая МЭК 62304 и DO-254.
Для поддержки соблюдения этих рекомендаций можно использовать Model Advisor. В каждом руководстве перечислены проверки, применимые к этому руководству или к его частям.
В руководящих принципах не рассматриваются стиль модели или процессы разработки. Дополнительные сведения о создании моделей способом, улучшающим согласованность, четкость и удобочитаемость, см. в руководствах по моделированию MAB. Руководство по процессу разработки и дополнительная информация по конкретным стандартам имеется в комплекте сертификации МЭК (для ISO 26262 и IEC 61508) и комплекте квалификации ДО (для DO-178).
Отказ от ответственности
Хотя соблюдение рекомендаций, содержащихся в руководящих принципах, снизит риск того, что ошибка будет введена во время разработки и не будет обнаружена, это не является гарантией того, что разрабатываемая система будет безопасной. И наоборот, если некоторые рекомендации, содержащиеся в руководящих принципах, не выполняются, это не означает, что разрабатываемая система будет небезопасной.