Simulink Requirements позволяет вам создавать и управлять требованиями и ссылками требования, реализацией требований анализа и состоянием верификации, и отслеживать изменения ссылок требования.
Simulink® Requirements™ Reference Workflow обеспечивает рабочий процесс для Simulink Requirements. В частности, это описывает как к:
Усильте авторскую разработку требований, управление и рассмотрение возможностей Simulink Requirements в рабочем процессе Модельно-ориентированного проектирования
Проверяйте, что эти возможности функционируют как ожидалось
При использовании программного обеспечения Simulink Requirements, чтобы усилить сертификацию или кредит проверки, предоставленный IEC Certification Kit, необходимо выполнить этот рабочий процесс как часть полного ISO 26262, IEC 61508, EN 50128, ISO 25119, или жизненный цикл безопасности программного обеспечения IEC 62304.
Можно использовать Simulink автор Requirementsto текстовые требования и добавить двунаправленные ссылки между требованиями, элементами модели, исходным кодом и тестами. Simulink Requirements также генерирует метрики состояния реализации и верификации, которые могут использоваться, чтобы оценить полноту требований, программной архитектуры и проекта и покрытия требований тестами. Simulink Requirements отслеживает изменения к ссылкам требований, гарантируя непротиворечивость требований, проекта, кода и тестов.
Следующее изображение иллюстрирует интегрирование Simulink Requirements в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.
Simulink Requirements в рабочем процессе модельно-ориентированного проектирования
Чтобы получить доступ к документу Рабочего процесса Simulink Requirements, откройте Менеджера артефактов. Под Simulink Requirements, открытым certkitiec_slreq_workflow.pdf файл.
