モデルベース開発向けステートマシン設計・検証ツール IAR Visual State

【IAR Visual State】は、ハイレベルなレイヤでの設計、複雑な構造のアプリケーションの設計、詳細なファンクションを段階的に追加するソフトウェア設計を実現したモデリング開発ツール。最新バージョンでは、ひとつのモデルからの派生製品を管理できる機能「Variant Handling」の追加や、MISRA C規格への適合強化なども実現。ウェブサイトから無償評価版＋サンプルモデルによるチュートリアルを利用できる。