Home / 製品 / ステートマシン設計ツール

ステートマシン設計ツール

IAR visualSTATE®

ステートマシン設計、検証、実装ツール

 

IAR visualSTATEは、ステートマシンに基づいた組込みアプリケーションを設計、テスト、実装するための高度に洗練された使いやすい開発ツールセットです。


IAR visualSTATEは、最先端の検証、テストユーティリティを提供し、システム設計と100%整合性の取れた非常にコンパクトなコードを生成します。さらに、C/C++コンパイラ・デバッガツールセットが完全に統合されたIAR Embedded Workbenchとの革新的な連携は、ハードウェア上でステートマシンを真にデバッグすることを可能にします。

コンポーネントを選択する

Navigator

Navigator(ナビゲーションツール）は、開発プロジェクトの全面的なハンドリングに使用します。

Navigatorの詳細 »

Designer

Designer（モデル設計ツール）は、ステートチャートを作成するための最新のツールです。開発プロジェクトを通して全体を把握し、開発作業を進めることができます。

Designerの詳細 »

Validator

Validator(機能テストツール)は、アプリケーションのテスト、及び検証に使用します。作成したステートマシンが意図した通りに動作するか判断します。

Validatorの詳細 »

Verificator

Verificator(形式テストツール）は、ステートマシン設計モデルやアプリケーションの調査に使用します。設計に矛盾や論理の抜けがない事を確認します。

Verificatorの詳細 »

Prototyping

IAR visualSTATE®のプロトタイピングコンセプトにより、開発プロジェクトの初期段階であっても、マーケット担当者や顧客に新製品を試していただくことができます。

Prototypingの詳細 »

Coder

Coder(コード生成ツール）は、ステートマシン設計のコードを自動生成します。設計と100%一致したプログラムコードを得ることができます。

Coderの詳細 »

Integration

Integration (ターゲットの構築）は、ステートチャートダイアグラムで定義した制御ロジックを実行します。コードは、ターゲット内で実行される準備ができていますが、解釈可能なメインループと結合する必要があります。

Integrationの詳細 »

Documenter

Documenter(レポート作成ツール）は、プロジェクトの最新ドキュメントレポートを簡単に生成することができます。レポートには設計・機能テスト・形式テスト・生成コード・実装に関する情報が含まれます。

Documenterの詳細 »