BTC Embedded Systems AGは、組込みシステムのテストの自動化、妥当性確認、および形式的検証のためのdSPACE戦略パートナーです。
BTC Embedded Systems AGは、dSPACE TargetLinkに関するdSPACE戦略パートナーであり、BTC EmbeddedPlatform®などの製品を提供しています。さらに、BTC Embedded Systems AGは、dSPACE AutomationDesk、ControlDesk、VEOS、DS1006、およびSCALEXIOに関するdSPACE戦略パートナーであり、BTC EmbeddedPlatformなどの製品を提供しています。
BTC社の製品は、組込みシステムのテストと妥当性確認にかかる時間と労力を著しく削減し、同時にソフトウェアの品質を大幅に向上させるものです。BTC EmbeddedPlatformは、Simulink®/TargetLinkモデルおよび量産コードのテスト用に認可を受けた、高度に統合されたソリューションです。これには要件ベースのテストのみでなく、自動化されたバックトゥバックテスト用のテストケースの自動生成も含まれます。BTC EmbeddedPlatformにより、ユーザはTargetLink自動コードの形式検証を完全かつ自動的に行えるだけでなく、安全関連の要件を直感的かつ規則的に指定できます。
dSPACE RTT Observer LibraryとBTC EmbeddedPlatformを併用すると、BTC Requirement Observers経由でHILテストや仮想検証を行う際に、要件の形式検証をシミュレーションベースで実行できるようになります。これにより、特にセーフティクリティカルなシステムでは、テスト深度とテストカバレッジが飛躍的に向上します。dSPACEのテストおよび試験ツールであるAutomationDeskとControlDeskを使用すると、対話形式のテストを自動的に行えるだけでなく、要件を継続的にモニタすることもできるようになります。
パートナープログラムの追加製品 | 簡単な説明 | 関連するdSPACE製品 |
---|---|---|
BTC EmbeddedPlatform® Back-to-back Test Package | TargetLinkモデルおよびTargetLinkコードに関する要件ベースのテスト、自動Back-to-backテスト、および自動テストベクタ生成 | TargetLink |
BTC EmbeddedPlatform® Formal Test Package | TargetLinkモデルおよびTargetLinkコードに関する自動化された要件ベースのテスト、要件からの自動テストケース生成、要件に基づく自動判定、および各種カバレッジの自動測定 | TargetLink |
BTC EmbeddedSpecifier® | 要件の形式的な仕様 | TargetLink、AutomationDesk、ControlDesk、SCALEXIO、VEOS、DS1006 |
BTC EmbeddedPlatform® Formal Verification Package | TargetLinkモデルおよび量産用Cコードの形式検証 | TargetLink |
BTC EmbeddedPlatform® Addon RTT-Observer Generator | dSPACEリアルタイムシミュレーションプラットフォームやPCベースシミュレーションプラットフォーム上での要件の妥当性確認 | AutomationDesk、ControlDesk、SCALEXIO、VEOS、DS1006 |
Webサイト: www.btc-es.jp/ja/
最新の技術開発動向をつかんで、イノベーションを加速。
メールマガジンの購読希望・変更/配信停止手続き