loader image

モデルベース開発向けのテストソリューション

必数百万ものシナリオをどのようにして作成するか?

テスト数の爆発的増大を避けるには?

テストの合格・不合格をどのように見分けるか?

テスト / 検証 / 分析ターゲット

dSPACE TargetLink

シームレスなMIL、SIL、PILテスト

イントロダクション

dSPACE TargetLink

dSPACE社のTargetLinkは、Mathworks社Simulink/Stateflowモデルから直接、効率の高いCコードを生成する量産コード生成ツールです。主な機能として情報が豊富なブロックダイアログ、高性能な階層型のTargetLink Data Dictionary、および最高のAUTOSARサポートが含まれます。dSPACE TargetLinkの詳細については、以下のリンクを参照してください。www.dspace.com

Play now
動画再生
Play now
動画再生

100%統合
0%の手動セットアップ

TargetLinkのMIL/SIL/PILのテスト

テストはモデルベース開発プロジェクトにおいて最も時間のかかる作業の一つです。最初にテストケースを作成する前にモデルレベルおよびコードレベルのテストハーネスを作成したり、スケーリングや範囲に関する情報をテストツールに提供したりと、多くの時間が費やされます。dSPACE TargetLinkとBTC EmbeddedPlatformは密接に統合されており、このような作業にかかる時間を大幅に削減でき、TargetLinkのユーザーはテスト作業に集中できます。

BTC EmbeddedPlatformは、TargetLinkモデルの様々な情報を解析し、サブシステム、インタフェース、データ型、スケーリングおよび範囲に関するすべての情報、さらにモデルとコード間のマッピングを自動的に抽出します。これにはモデルの階層構造も含まれるため、モデルを手動で変更しなくても、より小さなサブ関数をモデルレベルおよびコードレベルでテストできます。さらに、BTC EmbeddedPlatformは、入力と出力に加えて、内部のキャリブレーションパラメータとディスプレイ変数も検出し、すべてのシミュレーションでアクセスできます。

BTC EmbeddedPlatformは、Model-in-the-Loop(MIL)とSoftware-in-the-Loop(SIL)以外にも、TargetLink Processor-in-the-Loop(PIL)のシミュレーション環境をサポートしており、生成されたコードがターゲットプロセッサ上で実行できる環境も提供します。AUTOSARを使用する場合、BTC EmbeddedPlatformは、Client/ServerやRTE-Statusなどの特殊なAUTOSAR通信メカニズムに対する専用のサポートも提供します。

言葉以上の関係

dSPACEとBTCのパートナーシップ

私たちは貴重なパートナーシップは二つの企業が契約を結んだ時だけ作られるのではないとよく理解しています。パートナーシップは両社のチームが定期的に交流し信頼関係を築くことでお客様にとって価値を生み出すものです。dSPACEとBTCでは、2008年以来、まさにこのような関係が続いています。

私たちはマーケティングや営業、開発、製品管理、エンジニアリング、サポートなどの様々な分野で密接に連携しています。TargetLinkのユーザに最高のツールチェーンを提供するだけでなく、この連携により、サポート、トレーニング、またはエンジニアリングプロジェクトにかかる工数を飛躍的に簡素化することができました。

Rainer Otterbach博士(dSPACE GmbHのVice President Corporate Development and Strategy)とHans Jürgen Holberg(BTC Embedded Systems AGのCSO)は2018年に更新・延長されたパートナー契約に署名しました。

BTC Embedded Systems AGは、dSPACE TargetLinkと、BTC EmbeddedPlatformに関するdSPACE Strategic Partnerです。

パートナープログラムの詳細はこちら: dSPACE Partner Program

TargetLinkモデルと生成コードをテストするための製品

製品パッケージ

Formal Test BASE パッケージ

形式手法により強化された

要求ベーステスト

Formal Test パッケージ

形式手法により高度に自動化された要求ベーステストと自動テスト生成

Formal Verification パッケージ

テストケース記述不要、

数学的に完全な証明

Back-to-back Test パッケージ

後でモデルとコード間のBack-to-backテストが行われるのであれば、ソフトウェアユニットテストをモデルレベルで行うことが可能です

評価用ライセンスの申し込み

私たちの製品を試してみたいと思っていただけたのであれば、喜んで無償の評価用ライセンスを発行致します。御希望であれば評価に無償のツールトレーニングもお付けします。ツールトレーニングは他社と合同ではなく、あなた専用で行います。

セールスエンジニアとのミーティング予約

質問をしてみたかったり、ツールが動いているところを見てみたいという方は下のリンクからミーティングをご予約ください。セールスエンジニアリングチームのメンバーが喜んでご対応致します。

評価用ライセンスの申し込み

私たちの製品を試してみたいと思っていただけたのであれば、喜んで無償の評価用ライセンスを発行致します。御希望であれば評価に無償のツールトレーニングもお付けします。ツールトレーニングは他社と合同ではなく、あなた専用で行います。

セールスエンジニアとのミーティング予約

質問をしてみたかったり、ツールが動いているところを見てみたいという方は下のリンクからミーティングをご予約ください。セールスエンジニアリングチームのメンバーが喜んでご対応致します。

BTC EMBEDDED SYSTEMSのブログ

ブログ

組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開

製品動画

動画

短い動画で当社製品の主な機能をご覧ください。

Back-to-back Test パッケージ

完全に自動化されたBack-to-Backテスト、Regressionテスト、Migrationテスト(自動テスト生成を含む)