Reactis

Simulink/Stateflowコントローラモデルの検証自動化ツール(データ生成・自動監視)

ハイライト

  • 組み込みソフトウェアのモデル検証をサポート
  • 包括的でコンパクトなテストスイート(テストデータ)を自動生成
  • Simulink®/Stateflow®モデルファイルにより読込み動作
  • テスト実行を可視化
  • Simulink/Stateflowモデルのシミュレーションと検証を統合
  • ユーザによるテストデータの自動ファインチューニングをサポート

説明

reactis

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

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

必須製品

プラットフォーム

  • Windows

サポート

  • コンサルティング
  • 電子メール
  • オンサイト サポート
  • 電話
  • トレーニング

製品タイプ

  • 検証ツール

タスク

  • 組み込みシステム
  • システム モデリング、シミュレーション
  • Test-suite generation

産業分野

  • 航空宇宙、防衛
  • 自動車
  • 生命工学、製薬
  • 通信インフラ