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は、製品が機能的に安全であることを宣言するために、組込みシステムの開発プロセスで満たす必要のあるすべての主要規格をカバーしています。

tqsk_IEC61508
ファクトシート

IEC 61508
アンブレラ規格

IEC 61508は包括的な安全規格である。電気、電子、プログラマブルな電子安全関連システムを対象としている。この規格は、安全度水準(SILs 1-4)によるリスク低減を保証しています。

tqsk_ISO26262
ファクトシート

ISO 26262
自動車

ISO 26262は自動車産業の安全規格である。市販車の電気・電子システムを対象としている。この規格では、リスクを測定するために自動車安全度水準(ASILs A-D)を使用しています。

tqsk_IEC62304
ファクトシート

IEC 62304
医療機器

IEC 62304は、医療機器業界で使用されている安全規格である。ソフトウェアのライフサイクルプロセスを対象としている。この規格では、ソフトウェアの安全性分類(クラスA~C)を用いて、リスクに基づく要求事項を設定している。

tqsk_do178c
ファクトシート

DO 178C
アビオニクス

DO-178Cは、航空機システムで使用されるソフトウェアの認証規格である。DO-178Cは、ソフトウエアのライフサイクルプロセスの目標に焦点を当てている。DO-178Cは、システムにおける故障状態の影響を調べることにより、5つの安全レベルを決定します。

tqsk_EN-50128
ファクトシート

EN 50128
鉄道 

欧州規格EN 50128は、鉄道制御および保護アプリケーションで使用されるプログラマブル電子システム用ソフトウェアの開発プロセスおよび技術要件を規定しています。

資格認定プロセス

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 命令セット・シミュレータの認定 

また、TriCore(TC4xを含む)およびM68060命令セット・シミュレータ用のテスト・スイートも提供しています。適格なインストラクション・セット・シミュレータは、プロジェクトのソフトウェア・モジュール・テスト・フェーズで受け入れられるテスト環境であり、以下の利点を提供します:

  • 製品ソフトウェアの認定は、製品のハードウェアが利用可能になる前に開始することができる。 
  • 必要なものはすべて純粋にソフトウェアベースであるため、製品ソフトウェアの資格認定は、分散したチームであっても十分に組織化できる。 
  • 開発ハードウェアやデバッグ/トレースツールの不足により、この段階でボトルネックが発生した場合、追加のテストベンチにシミュレーターを簡単に装備することができる。
PowerView_ISS_3D+TQSK。