キャッツは，組み込みシステム向けCASE（computer aided software engineering）ツールの新版「ZIPC Version 9.1」を発売した．今回のバージョンから，MISRA C準拠のコードを生成できるようになった．また，エディタに外部コマンドの登録機能も追加した．さらに，モデルの書式チェック機能も強化した．
ZIPCは状態遷移表をベースとするCASEツール．プログラムの「事象」や「状態」，「処理」について，漏れや抜けのない設計を行える．ステート・マシンによるモデリングの支援や状態遷移シミュレーション，コードの自動生成などの機能を備えている．
|
