Reactis
Simulink/Stateflowコントローラモデルの検証自動化ツール(データ生成・自動監視)
ハイライト
- 組み込みソフトウェアのモデル検証をサポート
- 包括的でコンパクトなテストスイート(テストデータ)を自動生成
- Simulink®/Stateflow®モデルファイルにより読込み動作
- テスト実行を可視化
- Simulink/Stateflowモデルのシミュレーションと検証を統合
- ユーザによるテストデータの自動ファインチューニングをサポート
説明
Reactis®は Simulink、Stateflow モデルから包括的なテストスイート (テストデータ) を生成します。そのデータは、モデル全体を効率的にテスト実行し、モデルのデバッグを効率的に行います。テストスイートは、モデルから生成された出力結果を含み、モデルから生成された C ソースコードから生成された出力と比較する事が可能となり、実装するソースコードの安全性をチェックが可能となります。
Reactis は、組み込み制御アプリケーションの設計、開発、テストをする技術者に利用されています。Reactis は、現在 3 つのメインコンポーネントから構成されています: Reactis Tester, Reactis Simulator と Reactis Validator です。Reactis は Simulink、Stateflow の MDL ファイルを入力とします。Reactis Tester は MDL ファイルを処理し、モデルから包括的でコンパクトなテストデータを自動生成します。Reactis Simulator は Reactis Tester で作成されたテストの実行結果を可視化し、Testerで生成されたテストをファインチューニングします。これらのテストは、Simulink、Stateflow 環境で実行できるフォーマットにエクスポートされます。Reactis Validator は、Simulator と同時に動作し、コントローラーの検証を行います。
Reactive Systems, Inc.
341 Kilmayne Dr. Suite 101
Cary, NC 27511
UNITED STATES
電話: 919-324-3507
FAX: 919-324-3508
help@reactive-systems.com
https://www.reactive-systems.com