Play now
動画再生
Play now
動画再生
Close
セーフティクリティカルなソフトウェアに対する要求違反の不在証明
Formal Verification パッケージはセーフティクリティカルな 要求を形式検証する機能を提供します。
近年の組込み開発プロジェクトにおいて入力信号とキャリブレーションが取り得る値の組合わせは簡単に無限に膨れ上がります。大量のテストケースを作成したとしても、ソフトウェアロジックを通過するすべての経路をカバーすることは困難です。つまり、どんなに厳密なテストを行ったとしても「安全要求に違反しないのか？」という重要な問題は解決されていません。
BTC EmbeddedPlatformはモデルチェック技術により与えられた要求がソフトウェアによって違反されることがないことを自動的に証明します。つまり、入力信号とキャリブレーション値の組み合わせでシステムを安全でない状態に追い込むことは不可能であることを証明します。
RTT-ObserverはBTC Embedded SystemsとdSPACE社の協力で開発されたテクノロジです。このテクノロジはdSPACE VEOSとHILにおけるテストをリアルタイムのフォーマルテストで強化します。
このアドオンは形式化された要求からRTT-Observerと呼ばれる監視ユニットを生成します。各RTT-ObserverはdSPACE HIL/VEOSシミュレーションを監視し、元となった要求が満たされているか否かをリアルタイムでレポートします。
RTT-ObserverとdSPACE HIL/VEOSの並列実行により、テストに要する労力にはほとんど変化なく、各要求に対するテストの深度を劇的に高めることが可能です。さらにControlDesk Next Generation、AutomationDeskを含むdSPACE製品群との高度な統合により、様々なプロジェクトで快適かつ効率的にRTT-Observerを利用することが可能となっています。
備考: このソリューションを利用するためには別途、dSPACE社の製品であるReal Time Testing (RTT) Observer Libraryが必要です。
詳しくはこちらをご覧ください: www.dspace.com
組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開
短い動画で当社製品の主な機能をご覧ください。
形式手法により高度に自動化された要求ベーステストと自動テスト生成
Copyright © 2022 BTC Embedded Systems & BTC Japan
