Ansys SCADE Test
組込みソフトウェアのテスト、検証、および妥当性確認

ホスト用SCADE Test環境には、テストデータの管理、セットアップとテストの実行、詳細なテストレポートの取得に使用できるインタラクティブなインターフェースが用意されています。テストレポートは、アプリケーションのインタラクティブな解析ツールを使用して簡単に表示、解析、管理できます。このツールは、期待される結果の強力なチェック機能を提供します。SCADE Test Execution Engineは、DO-178C/DO-330 TQL-5、ISO 26262 TCL3、EN 50128 T2、IEC 61508 T2規格に準拠した認定開発ツールです。ホスト上でのモデルベースのテストの正しい実行について心配する必要はありません。これにより、さまざまなチームが、組込みソフトウェア、電子機器、認識、その他の分野で機能安全およびSOTIF基準を満たすために作業を行い、簡単かつシームレスにコラボレーションを行うことができます。

SCADE Test Model Coverageとホスト用SCADE Test環境を組み合わせることで、ホスト上で作成および実行されたテストケースのモデルカバレッジを測定できます。さらに、モデルとコードのカバレッジが1つのアクティビティに統合され、必要な時間と労力が半分に削減されます。モデルレベルのカバレッジは、DO-178C/DO-330 TQL-4、ISO 26262 TCL3、EN 50128 T2、およびIEC 61508 T2に従って、認定された開発ツール内のブランチカバレッジ、判定カバレッジ、および修正された条件／判定カバレッジを測定します。

SCADE TestサービスAPIを使用してシステム全体をテストしながら、ソフトウェアモデルのカバレッジを測定します。APIを使用すると、テストの実行中にカバレッジ結果をリセット、ロード、および書き込みする機能にアクセスできます。これにより、リスクをほとんどまたはまったく伴わずにさまざまなシナリオを恐れずにテストでき、必要に応じてテストカバレッジを更新または拡張する時間を大幅に短縮できます。

SCADE Architectは、重要な業界規格を満たす組込みアビオニクスシステムを設計するための専用の包括的なソリューションであるAnsys SCADE Avionics Packageを追加することで拡張できます。Avionics Packageには、ARINC 429、ARINC 664-P7/AFDXまたはCAN通信プロトコル、統合型モジュラーアビオニクスアーキテクチャ、およびARINC 653固有のプロパティのサポートが含まれています。ARINC 653構成ファイルも自動的に生成します。また、Avionics Packageにより、SCADE ArchitectではAADLおよびFACE規格のソリューションが提供されることで、SCADE Architectはアビオニクスの組込みシステムの設計に最適なプラットフォームとなります。