キャッツ株式会社

キャッツ株式会社の「ZIPC」は、状態遷移表設計を用いた組込み向けCASEツールです。
状態遷移表エディターで設計・シミュレーションすることによって、仕様の抜けを防ぎます。「ZIPC」はコード自動生成機能も備えており、作成した設計書(状態遷移表)から、MISRA-C準拠の信頼性の高いCソースコードを生成可能です。
さらに、東芝統合開発環境「TIDE」と接続することで、設計書を見ながらターゲットデバッグが可能となり、製品開発における生産性・品質の向上を図ることができます。