Axivion
ツール認定キット

ISO 26262、IEC 61508、IEC 62304、EN 50716、DO-330に準拠した安全プロジェクト向けのツール認定キット

固有の環境における解析の適格性評価

Axivion Tool Qualification Kitは、お客様のツールチェーンの分類および適格性評価を支援します。HISメトリクスに加え、MISRA、AUTOSAR C++14、CUDA C++ Guidelines、CWE、C Secure Coding、CERTの各ルールに対応した既製のテストスイートが含まれており、テストの実行から結果の評価までを自動化できます。

また、Tool Qualification KitはDO-330認証にも使用でき、安全性が重視される航空機搭載システムの開発において、Axivionをソフトウェアツールとして適格性評価するために必要なエビデンスを提供します。

さらに、アーキテクチャ検証の確認および妥当性評価を行うためのテストも含まれています。

Axivion Tool Qualification Kitを使用することで、機能安全要件が求められる環境におけるAxivion Static Code Analysis、Axivion Architecture Verification、およびAxivion for CUDAの適合性を検証できます。

お問い合わせ

CI / DevOpsパイプラインへの統合

Axivionツール認定キットは、CIプロセスに組み込むことが可能

技術的な検証テストの自動化により、変更が加えられた場合でも、効率的にテストを反復して実施できます。たとえば、更新やアップグレードが行われた際も、改善や革新のためにテストを再度行うことができます。これにより、適合性の確認も繰り返し行えます。

この点に関して、テストドライバーは、関連するルールセットとC/C++言語バージョンに対して1つ以上のテストを実施し、テストの状態を報告します。

Axivion ツール認証キットの詳細

TCL (Tool Confidence Level) 用のテストファイル

Axivion Tool Qualification Kitは、各安全規格で要求されるツール信頼度レベル（TCL）を満たすための取り組みを支援します。検証テストを自動実行することで、新たに追加されたコードが規定の安全基準に継続的に適合していることを確認します。Axivion Tool Qualification Kitには、以下のテストファイルが含まれています。

静的コード解析のテストファイル

アーキテクチャ検証のテストファイル

AUTOSAR
CERT C/C++
CWE
Error checks
HIS Metrics
MISRA-C:2012/2019/2023/2025
MISRA-C++:2008/2023
NVIDIA CUDA C++ Guidelines
- CUDAコード上で MISRA C++:2023 ルールを運用する際のテストファイルを含む
Secure Coding

アーキテクチャ解析
- アーキテクチャ解析、妥当性チェック、モデル変換
依存性
- 種類とアクセス情報でRFGを強化
エクスポーター
- GXLエクスポートおよびRFGストレージ
グラフベースの解析
- 循環検出、デッドコード検出、RFGスキーマチェックなど、RFGベースの追加解析
インポーター
- Enterprise ArchitectやPlantUMLなど、さまざまなソースを対象としたインポーター
レガシー
- レガシールール
変換
- グラフ変換

ソフトウェア品質保証の認定

Axivionツール認定キットは、ISO 26262、IEC 62304、IEC 61508、EN 50128、EN 50657で要求されるツール信頼性レベル(TCL)の達成をサポートします。

Axivion静的コード解析(SCA)は、SGS-TÜV Saar GmbHにより、上記の各規格について、最高レベルの安全完全性まで認定されています。

安全性プロジェクトにおけるソリューションの使用目的について説明する安全マニュアルと共に提供されます。安全性マニュアルでは、認定SCAパッケージの使用時にAxivionツール認定キットの使用を義務付けています。

Axivion_TUVcertificate7.5

規制環境

近日公開

業界特化型の解決策

詳細を読む

Axivion Suite
機能と基本仕様

資料をダウンロードする

Axivionツール認定キット