Axivion
ツール認定キット
.webp?width=850&name=TestCenter_hero4-min%20(1).webp)
ISO 26262、IEC 61508、IEC 62304に準拠した安全プロジェクトに最適
特定の環境における解析の認定
Axivionツール認定キットは、ツールチェーンの分類と認定をサポートします。これは、自動化可能な実行および結果評価プロセスとともに、プレハブ化されたテストスイート(HISメトリックス、MISRA、AUTOSAR C++14およびCERTルール)で構成されます。
これにより、Axivion 静的コード解析が機能安全要件を満たす環境での適用性を具体的にチェックおよび検証できます。
.webp?width=850&name=Axivion_DevOpsLoop_noBG_870x470px%20(1).webp)
CI / DevOpsパイプラインへの統合
Axivionツール認定キットは、CIプロセスに組み込むことが可能
技術的な検証テストの自動化により、変更が加えられた場合でも、効率的にテストを反復して実施できます。たとえば、更新やアップグレードが行われた際も、改善や革新のためにテストを再度行うことができます。これにより、適合性の確認も繰り返し行えます。
この点に関して、テストドライバーは、関連するルールセットとC/C++言語バージョンに対して1つ以上のテストを実施し、テストの状態を報告します。
ソフトウェア品質保証の認定
Axivionツール認定キットは、ISO 26262、IEC 62304、IEC 61508、EN 50128、EN 50657で要求されるツール信頼性レベル(TCL)の達成をサポートします。
Axivion静的コード解析(SCA)は、SGS-TÜV Saar GmbHにより、上記の各規格について、最高レベルの安全完全性まで認定されています。
安全性プロジェクトにおけるソリューションの使用目的について説明する安全マニュアルと共に提供されます。安全性マニュアルでは、認定SCAパッケージの使用時にAxivionツール認定キットの使用を義務付けています。
