直感的な開発
グラフィカル・ステート・マシンは、アプリケーション・ロジックの作成、理解、修正を容易にする。マシンのステートがアプリケーションのステートに対応する反復的なワークフローを可能にし、明快さとコミュニケーションを向上させながら、自然な開発プロセスを保証します。
製品
IAR Visual State
主なメリット
IAR Visual Stateは、グラフィカルな設計、コードの再利用、検証、ターゲットに依存しない統合を可能にします。
メンテナンスと再利用の簡素化
コードを書く代わりに設計ロジックに集中することで、メンテナンスがより効率的になります。ステートマシンモデルは、最小限の労力で同様のアプリケーションに再利用できるため、複雑なロジックを持つプロジェクト全体の一貫性を確保しながら、開発時間を短縮することができます。
高信頼性システムのサポート
IAR Visual State が生成するコードは、MISRA C/C++ に準拠し、IEC-61508 準拠を含む機能安全設計をサポートします。そのフォーマル検証は、到達不可能な状態、行き止まり、消費されない入力を検出し、従来のテスト・スイートが見逃してしまうような設計上の欠陥を簡単に特定することができます。
ターゲットに依存しないコード
生成されたCおよびC++コードは、標準コンパイラがあればどのプラットフォームでも動作します。また、C#とJavaのサポートにより、多様なソフトウェア環境でのクロスプラットフォーム開発が可能になります。
特徴
IAR Visual Stateは、RTOS統合、コード生成、シミュレーション、検証、バリアント管理をサポートし、開発チームが効率、信頼性、ソフトウェア設計を強化できるよう支援します。
RTOSフレンドリー
生成されたコードは RTOS 環境とシームレスに統合されます。IAR Visual State を使用して制御ロジックを設計し、ステートマシンを RTOS タスクに割り当てることができます。
2つのコードAPI
トレーサビリティのために人間が読めるコードか、効率化のためにコンパクトなテーブルベースのコードかを選択できます。可読形式はステートマシンからコードへの明確なマッピングを提供し、テーブルベースのアプローチはサイズと実行性能を最適化します。
実行シミュレーション
ビジュアル・ステート・シミュレータは、アニメーション・デバッグ、ステート・マシン・トレース、ダイナミック/スタティック解析を提供します。ステップ・バイ・ステップの実行に関する洞察を提供し、開発者がタスクの相互作用とシステムの動作を視覚化して、デバッグと設計の検証を改善できるようにします。
ビルトイン形式検証
到達不能なステートやブロッキング条件など、テストが困難な問題を特定します。検証エンジンは、意図しない設計上の欠陥を早期に検出し、従来のテスト手法では発見が困難であった、より信頼性の高いC、C++、C#、Javaの実装を保証します。
製品バリエーションのサポート
共有の基本設計を維持しながら、複数の製品バリエーションを効率的に定義します。IAR Visual Stateは、異なる製品バージョン間の一貫性と保守性を確保しながら、別々の開発トラックの必要性を減らし、条件付き機能管理を可能にします。
対応規格
IAR Visual State は、 UML 表記法に従って開発さ れましたが、Mealy 表記法に準拠したステート/イベントシ ステムの設計にも使用できます。
生成されるすべてのC/C++コードはISO/ANSI Cに準拠しており、MISRA-C:2004、MISRA-C:2012、およびMISRA-C++:2008に準拠することができます。C#とJavaのコードは、保守性のために構造化プログラミングの原則に従っています。
