テクノロジー

主な機能:

  • グラフィカルな設計、テスト、コード生成、レポート生成ツールを含む完全に統合された開発環境
  • ユニファイドモデリング言語(UML)ステートマシンサブセットに基づいたグラフィカルステートマシン設計
  • デッドエンドや未到達ステートのように、設計に好ましくない特性を見つける設計モデル形式検証
  • ハードウェア完成前でも、設計の初期段階でアプリケーションが予想通りに動作することを保証できるテストツール
  • 設計と100%整合性の取れた、非常にコンパクトなC/C++コードを自動生成
  • 広範囲な情報を含むドキュメントの自動生成
  • 様々なマイクロコントローラや評価ボード用のサンプルプロジェクトを含むIAR Embedded Workbenchと完全連携

 

動作環境:

  • PentiumベースのPC
  • Microsoft Windows 2000(SP4)、XP(SP2)、Vista   注1)
  • Internet Explorer 6以降
  • 256MB以上のRAM、200MB以上のHDD空き
  • Microsoft HTML Help 1.4
  • Adobe Reader

 注1) VMWare等の仮想マシン環境上ではサポートしておりません。

 


ステートチャートとステートマシン

形式検証

コードサイズについて

FAQ(よくある質問)