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