モデルベース設計品質向上支援ツール ZIPC Designer Automotive Option

【ZIPC Designer Automotive Option】は、車載システム開発におけるSimulink／Stateflowによるモデルベース開発の品質向上を支援するツール。StateflowモデルをSTM(State Transition Matrix)モデルへ変換する機能によりStateflowの静的検証を支援し、STMをStateflowへ変換する機能にて、状態遷移設計の品質を向上する。これらのことから、担当者に依存することなくモデル設計が行え、状態／条件の組み合わせを透明化、さらにモデルのレビュー時間の短縮などが可能となる。