適用分野

セーフティクリティカルなアプリケーションは、自動車、航空宇宙産業、メディカルエンジニアリング、および製造業など、多くの分野で一般的に使用されています。複雑度が高い機能の場合でも、たとえば乗用車の機能安全のテストを規定したISO 26262規格で推奨される基準に基づいて、それらの機能は保証され、正式に検証されなければなりません。Real-Time Testing（RTT）Observer Libraryを使用すると、BTC EmbeddedSpecifier^®で作成された要件オブザーバをさまざまなdSPACEプラットフォームで活用できるようになるため、要件を継続的にモニタすることができます。

概要

セーフティクリティカルな要件を継続的にモニタすることができるこのソリューションでは、アプリケーションに応じてさまざまなツールを組み合わせて使用しています。次のツールが使用されています。

• Real-Time Testing Observer Library – BTC EmbeddedSpecifier^®で生成された要件オブザーバをさまざまなdSPACEプラットフォームで実行できるようにします。
• BTC EmbeddedSpecifier^® – 専門的な知識がなくても非形式的な要件を形式的な表現に変換し、要件オブザーバに転送できるようにします。この形式的でツールに対応した手法により、要件の品質を向上させることができます。
• dSPACEプラットフォーム – SCALEXIOまたはVEOS – 各テストフェーズに最適なプラットフォーム
• ControlDesk – 汎用的なモジュール型の試験および計測ソフトウェア固有のレイアウトを持ち、オブザーバをロード、スタート、およびストップする機能を搭載したRTTオブザーバを活用すると、実行中のすべての段階において各要件の状態をモニタすることができます。要件違反が検出されると、レイアウト内で直接表示されます。
• AutomationDesk – 強力なテストオーサリングおよび自動化ツールモニタされた要件は定義されたテストワークフローに沿ってチェックされます。テストレポートにはオブザーバでの確認結果が含まれるため、要件違反が検出された理由を容易に追跡することができます。