IAR visualSTATE |
ステートマシン設計、検証、実装ツール |
visualSTATEは、ステートマシンに基づいた組込みアプリケーションを設計、テスト、実装するための高度に洗練された使いやすい開発ツールセットです。
visualSTATEは、最先端の検証、テストユーティリティを提供し、システム設計と100%整合性の取れた非常にコンパクトなコードを生成します。
さらに、C/C++コンパイラ・デバッガツールセットが完全に統合されたIAR Embedded Workbenchとの革新的な連携は、ハードウェア上でステートマシンを真にデバッグすることを可能にします。
|
| |
V6.2のハイライト |
- 実行開始箇所が指定可能
- 形式テスト機能の拡張
－メモリ使用の最適化機能
－配列表現が可能になるなどテスト実行時の制限事項を削減
－整数型内部変数モデルのユーザ指定領域チェック機能(オプション) - 生成コードのMISRA-C：2004の対応
- サンプルコードにインデックスが付与され検索が容易
|
| |
| |
 |
| クリックすると拡大します |
|
|
| |
主な機能 |
- グラフィカルな設計、テスト、コード生成、レポート生成ツールを含む完全に統合された開発環境
- ユニファイドモデリング言語(UML)ステートマシンサブセットに基づいたグラフィカルステートマシン設計
- デッドエンドや未到達ステートのように、設計に好ましくない特性を見つける設計モデル形式検証
- ハードウェア完成前でも、設計の初期段階でアプリケーションが予想通りに動作することを保証できるテストツール
- 設計と100％整合性の取れた、非常にコンパクトなC/C++コードを自動生成
- 広範囲なな情報を含むドキュメントの自動生成
- 様々なマイクロコントローラや評価ボード用のサンプルプロジェクトを含むIAR Embedded Workbenchと完全連携
|
モデル駆動設計の利点 |
- 非常にパワフルな形式テストツールで設計ランタイムモデルの論理的整合性を検証可能。
- 開発フェーズ全体に渡り、アプリケーション動作確認、回帰テスト（退行テスト）、自動テストカバレッジ報告などの徹底的なテストを連続、反復して実行可能。
- ターゲットシステム上でアプリケーションを実行、視覚化するためにUMLおよびRealLinkの機能を使用可能
- 設計と100%整合性の取れている高信頼で非常にコンパクトなC/C++コードを自動生成。
- コードの再使用、プロトタイピングにより段階的に開発可能。
- 市場ニーズの変化に応じ、既存アプリケーションへの新機能追加が容易。
- 常に最終設計と同期した正確な構造化ドキュメントで既存のアプリケーションのメンテナンスを容易化。
|
動作環境
|
- 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等の仮想マシン環境上ではサポートしておりません。 |
| |
| このページへのショートカット: http://www.iar.com/vs_jp |
