Рабочий процесс IEC Certification Kit описывает действия разработки программного обеспечения и верификации, которые являются частью рабочего процесса Модельно-ориентированного проектирования IEC Certification Kit.
Следующий рисунок показывает типичный процесс разработки программного обеспечения с помощью семейства продуктов Simulink® и указывает на фазу эволюции модели с эллипсом (…). Стрелки сплошной линии показывают прогрессию действий разработки и реализации. Как изображено синими полями, действия разработки программного обеспечения включают:
Авторская разработка требований при помощи Simulink Requirements™
Моделируя при помощи Simulink, Stateflow® и Fixed-Point Designer™
Генерация кода при помощи Embedded Coder®
Компиляция
Процессы разработки программного обеспечения
Следующая фигура иллюстрирует действия верификации и валидации, как изображено использующие пунктирные линии, в рабочем процессе Модельно-ориентированного проектирования IEC Certification Kit. В зависимости от инструментов вы используете, действия верификации и валидации могут включать:
Процессор в тестировании цикла при помощи Simulink Test™
Анализ модели при помощи Simulink Check™, Simulink Coverage™ и Simulink Design Verifier™
Инструмент статического анализа кода при помощи Polyspace® Bug Finder™, Polyspace Bug Finder Server™, Polyspace Code Prover™ и Polyspace Code Prover Server
Предотвращение непредусмотренной функциональности при помощи IEC Certification Kit, Simulink Coverage и Simulink Code Inspector™
Верификация, соединяющаяся между тестами и требованиями при помощи Simulink Requirements
Верификация и процессы валидации в рабочем процессе модельно-ориентированного проектирования
Чтобы получить доступ к документу Рабочего процесса IEC Certification Kit, откройте Менеджера артефактов. Под Supporting Artifacts, открытым certkitiec_workflow.pdf файл.
