IAR Visual State

IAR Platformの一部

IAR Visual State は、ステートマシンモデルに基づいた組み込みアプリケーションの設計、テスト、実装を行うための、完全に統合された開発ツール群です。

インタラクティブなデモをお試しくださいお見積りのお申し込み

主な特長

IAR Visual State により、グラフィカルな設計、コードの再利用、検証、およびターゲットに依存しない統合が可能になります。

直感的な開発
メンテナンスと再利用の簡素化
高信頼性システムのサポート
ターゲット非依存コード

直感的な開発

グラフィカルなステートマシンを使えば、アプリケーションロジックの作成、理解、修正が容易になります。これにより、ステートマシンの状態がアプリケーションの状態に対応する反復的なワークフローが可能となり、明確さとコミュニケーションを向上させながら、自然な開発プロセスを確保します。

保守と再利用の簡素化

コードの記述ではなく設計ロジックに焦点を当てることで、保守作業の効率が向上します。ステートマシンモデルは、最小限の労力で類似のアプリケーションに再利用できるため、開発期間を短縮できるだけでなく、複雑なロジックを持つプロジェクト間での一貫性も確保できます。

高信頼性システムのサポート

IAR Visual Stateが生成するコードは、MISRA C/C++に準拠させることができ、IEC-61508への準拠を含む機能安全設計をサポートしています。その形式検証機能により、到達不可能な状態、デッドエンド、未処理の入力を検出できるため、従来のテストスイートでは見逃されがちな設計上の欠陥を容易に特定することができます。

ターゲット非依存コード

生成されたCおよびC++コードは、標準的なコンパイラを備えたあらゆるプラットフォーム上で動作します。コンパイラ固有の機能に依存しないため、組み込みシステム全体での柔軟性と移植性が確保されます。また、C#およびJavaのサポートにより、多様なソフトウェア環境におけるクロスプラットフォーム開発が可能になります。

RTOS との親和性

生成されたコードは、RTOS環境とシームレスに統合されます。IAR Visual Stateを使用して制御ロジックを設計し、ステートマシンをRTOSタスクに割り当てることで、効率性とモジュール性を維持しつつ、複数のシステム間でタスクを柔軟に分散させることができます。

2つのコードAPI

トレーサビリティを確保するための「人間が読みやすい形式」のコードと、効率性を重視した「コンパクトなテーブル形式」のコードのどちらかを選択できます。読みやすい形式では、ステートマシンからコードへの対応関係が明確に示されますが、テーブル形式のアプローチでは、サイズと実行パフォーマンスが最適化されます。

実行シミュレーション

Visual State Simulator は、アニメーションによるデバッグ、ステートマシンのトレース、および動的・静的解析機能を提供します。ステップごとの実行状況を可視化することで、開発者がタスク間の相互作用やシステムの挙動を把握できるよう支援し、デバッグや設計検証の効率化を図ります。

組み込みの形式検証

到達不可能な状態やブロッキング条件など、テストが困難な問題を特定します。検証エンジンは、意図しない設計上の欠陥を早期に検出し、従来のテスト手法では発見が困難な、より信頼性の高いC、C++、C#、またはJavaの実装を保証します。

製品バリエーションのサポート

共通のベース設計を維持しながら、複数の製品バリエーションを効率的に定義できます。IAR Visual State では条件付き機能管理が可能であり、個別の開発プロセスを最小限に抑えつつ、異なる製品バージョン間での一貫性と保守性を確保します。

機能安全認証

IAR Embedded Workbenchは、TÜV SÜDにより、複数の機能安全規格への準拠が認証されています。新しいプラットフォームがリリースされるたびに認証が実施され、一貫して高品質な開発プロセスとソフトウェアが保証されています。

IARのプラットフォームをお試しください

インタラクティブデモ

IARのプラットフォームを体験し、その仕組みについて概要をご確認ください。

インタラクティブなデモをお試しください

サードパーティ製ツールの連携

外部ツールや開発環境と連携し、柔軟性と相互運用性を向上させます。

コントロールセンター

Visual State Control Center は、サードパーティ製製品に対して IAR Visual State へのインターフェースを提供します。Control Center は、とりわけ、ステートマシンモデルのリモートシミュレーションに利用することができます。

ステートマシンAPI

CベースのオープンAPIにより、さまざまなプログラミング言語からモデルにアクセスすることができます。

コードの統合

生成されたコードは、Microsoft® Visual C++® などの RAD ツールやその他の GUI ツールチェーンを使用して構築されたアプリケーションとシームレスに統合されます。

アーキテクチャ	製造元	ファミリ	デバイス
Loading…

対応規格

IAR Visual State はUML表記法に基づいて開発されていますが、ミーリー表記法に準拠した状態・イベントシステムの設計にも使用できます。
生成されるすべてのC/C++コードはISO/ANSI Cに準拠しており、MISRA-C:2004、MISRA-C:2012、およびMISRA-C++:2008に準拠可能です。C#およびJavaコードは、保守性を高めるために構造化プログラミングの原則に従っています。

よくある質問

生成されたコードを修正する必要があるのでしょうか？

いいえ。IAR Visual State によって生成されるコードは、ステートマシンシステムの制御ロジックに重点を置いています。制御ロジックを明示的に表現しているのは、常に設計のみです。モデルと実行コードは常に同期を保つ必要があります。ステートマシンのコードを手作業で変更すると、ステートや条件の内部管理に、発見が困難なエラーが混入するリスクがあります。

自動コード生成は、柔軟性を維持しつつ、どのように開発上のミスを減らすことができるのでしょうか？

自動コード生成は、最適化され検証済みのC/C++コードを生成することで、人的ミスを排除し、一貫性を確保し、開発を加速させます。

自動コード生成は、どのようにして効率を向上させ、開発の負担を軽減できるのでしょうか？

手動によるコーディングミスを排除し、デバッグ時間を短縮することで、自動コード生成は開発者の生産性を向上させ、製品の提供を加速させます。

モデルベース開発は、チームが組み込みプロジェクトを一貫した品質を維持しながら拡大していく上で、どのように役立つのでしょうか？

標準化され、自動化されたプロセスにより、プロジェクト間の整合性が確保され、チームは実績のあるコンポーネントを再利用し、手直しの時間を削減することができます。

IAR Visual Stateは、既存の開発環境と連携できますか？

はい、IAR Embedded Workbench やその他のツールチェーンとシームレスに連携し、組み込みアプリケーションにおける設計からコーディングまでのワークフローを円滑にサポートします。

すべてにアクセス

自由度と柔軟性を兼ね備えた開発運用の拡大、コードへの信頼に基づくイノベーションの加速、そしてコンプライアンスの簡素化を実現します。

アーキテクチャやデバイスに依存しない
クラウド対応、企業向けに最適化
機能安全が常に組み込まれています
LinuxおよびWindowsにネイティブ対応

当社のプラットフォームなら、あらゆる機能にアクセスできます。

プラットフォームの詳細を見る