TRACE32®ツール検証サポートキット( TQSK )
機能安全のための信頼できるツール
機能安全は、セーフティクリティカルな組込みシステムにとって重要な要件です。認定には、使用される開発ツールやプロジェクト環境への統合も含まれます。当社の認定ツール認定サポートキット(TQSK)は、TRACE32 ソリューションの認定に必要なすべてを提供します。TQSKのさまざまなバリエーションは、航空電子工学、医療、自動車、鉄道、または一般産業プロジェクトで使用するコードカバレッジ、デバッグ、命令セットシミュレータの適合性を証明し、市場投入までの時間、労力、コストを削減します。
ツール検証の労力を最小限に
使用するすべてのツールの信頼性を証明するエビデンスを提供する必要がありますが、最終的な適格性確認が最小限の労力で実施できるようサポートします。弊社のTRACE32 TQSKには、各安全レベルのツール適格性確認を実施し、完了するために必要なすべての成果物およびフレームワークが含まれています。
労力とコストの削減
当社のTRACE32 ツール認定サポートキットは、ツール認定の作業とコストを合理化します。このキットには、さまざまなプロジェクトやアーキテクチャに簡単に採用できる成果物、テンプレート、テストケースが含まれています。
すべてのユースケースについてコード・カバレッジを測定する
当社のテスト・スイート - カバレッジには、ステートメントおよびブランチ・カバレッジ、MC/DC、条件、関数およびコール・カバレッジが含まれます。C言語のソースコードカバレッジ、実行可能オブジェクトコードのアセンブリレベルカバレッジ、インクリメンタルコードカバレッジ、SPYコードカバレッジモードをサポートしています。
すべての一般的なデバッグタスクにテストケースを使用する
テスト・スイート - デバッグは、ターゲット・コンフィギュレーション、実行ファイルのロード/プログラミング、プログラム実行のスタート/ストップ、変数/メモリ・マップド・リソースへのアクセス、トレース用デバイスのコンフィギュレーションなど、一般的なデバッグ・タスクのテストケースを提供します。対称/非対称マルチプロセッシング(SMP/AMP)をサポートしています。
自動車およびその他の安全規格への適合を信頼する
ISO 26262では要求されていませんが、私たちはTUEV Nordによるアセスメントを受け、事前認定とその結果であるツール認定サポートキットの信頼性を確立しました。同様の認証プロセスにより、この結果は他の安全規格にも適用できます。
工具認定に関するフルサポートとサービスをお楽しみください
TRACE32 TQSKカスタマー・インターフェースは、工具認定に関する完全なサポートとサービスを提供します。弊社の他の製品と同様に、お客様の工具認定においても世界クラスのサポートをご利用いただけます。
将来のユースケースと要件をカバーする
当社のTRACE32 TQSKは、完全な機能を備え、現場で実証済みで、新しいユースケースや要件をカバーする準備が整っています。 例えば、現在または将来、AIアクセラレータやDSPに特殊な命令セットを使用する場合にも、当社のTQSKをベースにしたソリューションを提供することができます。
実ターゲットとシミュレーターのテスト・スイートの使用
All test suites run in your target environment as well as in our TRACE32 Instruction Set Simulators. Currently we provide test suites for our TriCore (including TC4x), Arm and M68060 instruction set simulators, additional test suites for our Arm Instruction Set Simulator will be provided in the near future.
あらゆる組込みアプリケーションに対応するTQSK
いくつかのセーフティ・クリティカルな業界では、安全規格に準拠する必要がある。安全規格の中には、安全なソフトウェア開発プロセスに焦点を当てたものもあれば、システム安全要件に焦点を当てたものもあります。当社のTQSKは、製品が機能的に安全であることを宣言するために、組込みシステムの開発プロセスで満たす必要のあるすべての主要規格をカバーしています。
2段階のクオリフィケーション・プロセス
弊社を含むすべてのツールベンダーは、そのツールの事前検証を行うことができますが、最終的な検証は、お客様の特定のプロジェクト環境において、お客様自身で行う必要があります。なぜなら、ベンダーの事前検証環境は通常、ターゲット・アーキテクチャ、ツールチェーン、ホスト・インターフェース、ホスト・オペレーティング・システムなど、お客様の環境とは異なるからです。もし、あなたのプロジェクト環境が、事前適格性確認に使用されたベンダーの環境と異なるパラメータが1つでもあれば、最終的なツール適格性確認には、テストケースと文書の適合が必須となります。
当社のTRACE32 デバッグ・トレース・ツールの認定をサポートするため、当社は認定プロセスに必要な文書を準備し、当社のツールの各使用ケースに適したテスト・スイートを開発し、事前認定を実施し、その結果得られたデータを当社のツール・クオリフィケーション・サポートキット(TQSK)の形でお客様に提供します。お客様は、事前認定されたテスト・スイートをお客様のチップ/アーキテクチャに簡単に採用することができます。
テスト・スイート - カバレッジ
以下のチップ/アーキテクチャで動作確認済み:
- TI Hercules RM57Lx -Arm コアテックス -R5
- NXP MPC5777M - PowerPC MPC55xx
- インフィニオンAurix TC297TF - トライコアTC27x
- ST Microelectronics Stellar SR6P7G7 -Arm コアテックス -R52
- NXP MPC565 - PowerPC MPC500
- NXP M68060 - 68060
テスト・スイート - デバッグ
以下のチップ/アーキテクチャで動作確認済み:
- インフィニオンAurix TC297TF - トライコアTC27x
TRACE32 TQSKのパーソナライズド・バージョンを無料でダウンロードする。
TRACE32 Tool Qualification Support Kit にご興味のある方は、TRACE32 TQSK Customer Interface からご登録ください。ご登録後、TRACE32 TQSK のパーソナライズバージョンをダウンロードできます。
安全関連プロジェクトにおけるTRACE32 命令セット・シミュレータの認定
また、TriCore(TC4xを含む)およびM68060命令セット・シミュレータ用のテスト・スイートも提供しています。適格なインストラクション・セット・シミュレータは、プロジェクトのソフトウェア・モジュール・テスト・フェーズで受け入れられるテスト環境であり、以下の利点を提供します:
- 製品ソフトウェアの認定は、製品のハードウェアが利用可能になる前に開始することができる。
- 必要なものはすべて純粋にソフトウェアベースであるため、製品ソフトウェアの資格認定は、分散したチームであっても十分に組織化できる。
- 開発ハードウェアやデバッグ/トレースツールの不足により、この段階でボトルネックが発生した場合、追加のテストベンチにシミュレーターを簡単に装備することができる。