自動車、医療、産業分野における安全クリティカルなソフトウェアの開発において、開発ツールの信頼性は極めて重要です。しかし、ツールの資格認定が何を意味するのか、資格認定されたツールを使用した場合でも開発チームに残る責任は何なのかについて、しばしば大きな混乱が生じます。このガイドでは、安全クリティカルな開発におけるツールの資格認定に関する基本的な概念と一般的な誤解を明確にします。
あなたは、厳しい安全基準を満たす住宅を建設しています。その建設のために、認定を受けた高品質の電動工具を購入するとします。これらの工具は、信頼性が高く、安全に使用できることが実証されていますが、その工具を使用することで、あなたの家が検査に合格することが自動的に保証されるわけではありません。同じ原則は、安全性が重要な環境におけるソフトウェア開発ツールにも当てはまります。
ツール適格性評価は、静的コード解析ツールなどの特定の開発ツールが、その意図した機能を確実に実行し、開発プロセスにエラーを発生させないことを証明するものです。これは、製品認証とは根本的に異なります。製品認証は、ソフトウェアシステム全体が意図した用途において適用されるすべての安全基準を満たすことを証明します。
Axivion Suiteのようなツールが「ISO 26262認証を取得している」と述べる場合、次のように意味します：「このツールは、安全クリティカルな開発を妨げるエラーを導入することなく、静的コード解析を信頼性高く実行できることが厳格なテストで証明されています。」 ただし、自動車ソフトウェアのISO 26262準拠を達成するには、適合ツールを単に使用するだけでは不十分です。
事前適合ツールを使用しても、開発チームは依然として重要な責任を負います。これは、認定された医療用体温計を使用する例に似ています。その正確性は保証されていますが、正しく使用し、読み取り結果を適切に解釈し、データに基づいて適切な医療判断を下す必要があります。
適格性認定された静的解析ツールを使用する際の責任には、いくつかの重要な領域が含まれます。まず、ツールを特定の環境に合わせて正しく設定する必要があります。これは、安全整合性レベルに応じた適切なコーディング基準ルールを設定し、コンパイラとビルドシステムと適切に統合し、ツールがコードの特定の方言や慣習を理解していることを確認することを意味します。
設定に加えて、ツールが独自の環境で正しく動作することを検証する必要があります。ツールベンダーは一般的な信頼性を実証していますが、特定のコンパイラバージョン、ビルド構成、およびコーディング慣行でツールが正しく機能することを実証する必要があります。通常、これには、自社の環境で適格性検証テストを実行し、その結果を文書化することが含まれます。
最も重要なことは、安全ケース全体の責任は自社にあるということです。静的解析ツールは、より広範な検証および妥当性確認戦略の一要素にすぎません。危険性分析を実施し、安全アーキテクチャを設計し、動的テストを実施し、適切な当局から最終製品認証を取得する必要があります。
最もよくある誤解の一つは、認定ツールが安全重要システム開発において「そのまま使える」というものです。実際には、適切な設定が不可欠であり、それは複雑になる場合があります。これが重要な理由は、静的解析ツールが意味のある結果を提供するためには、自社のコードを正確に理解する必要があるからです。これには多数の側面の設定が必要です：使用している言語標準、採用しているコンパイラ固有の拡張機能、安全レベルに適用されるコーディングルール、そして特定のコンテキストにおける様々なコード構造の解釈方法などです。
例えば、自動車プロジェクトでは、安全整合性レベルに応じてMISRAやAUTOSARの規則の異なるサブセットが必要になる場合があります。ASIL-Dのパワートレインコントローラーは、ASIL-Aの快適性機能よりも厳格なルール適用が必要になる可能性があります。ツールはこれらのルールをすべてチェックする機能を提供しますが、どのルールが安全要件と一致するかを決定するのはあなたです。
設定はビルド環境の統合にも及びます。ツールは、プリプロセッサ定義、コンパイラフラグ、ビルドバリエーションを含む、生産用にコンパイルされたコードを正確に分析する必要があります。分析構成と実際のビルドプロセスに不一致があると、問題の見落としや誤検出につながる可能性があります。
検証テストは、認定ツールが自社の環境で正しく動作することを証明するためのものです。これは、ツールのコア機能を再テストするものではありません。コア機能の検証は、ベンダーの認定でカバーされています。代わりに、特定の構成で正確な結果が得られることを検証します。
これらの検証テストは、初期設定時の一回限りではなく、定期的に実行する必要があります。ベストプラクティスでは、認証に重要な分析を実行する前、設定変更後、ツールのバージョン更新時、および理想的には継続的インテグレーションパイプラインの一部として実行することが推奨されます。これにより、分析結果に対する継続的な信頼性が確保されます。
検証テストが失敗した場合、環境内の何かが認証済み設定と一致していないことを明確に示します。これは、コンパイラ互換性の問題、設定の誤り、または環境問題などが原因である可能性があります。これらの失敗は、ツールを認証証拠として依存する前に解決する必要があります。また、制限事項は安全ケースに文書化する必要があります。
認証監査員は、認証済みツールを使用しているかどうかだけでなく、その使用方法も厳しく審査します。ツールが安全ライフサイクルに適切に統合されていることを示す明確な証拠の連鎖を確認することを期待しています。
文書パッケージには、ツールベンダーの適格性評価証明書および安全マニュアルを含める必要がありますが、それはほんの始まりに過ぎません。また、ツールの構成が安全目標にどのように適合しているかを示した、詳細な文書も必要です。定期的な検証テストの実施、ツールの発見事項の体系的な処理、および他の検証活動との統合に関する証拠も記載しなければなりません。
監査人は、チームがツールを効果的に使用する能力があるかどうかに特に重点を置いて監査を行います。これは、トレーニング記録の文書化、ツール使用のための明確な手順の確立、およびツールの結果が設計決定や検証活動にどのように影響するかを示すことを意味します。
実際のツール統合は、初期設定を超える課題をもたらすことがよくあります。安全目標と一致しない、関連性がない、または解釈が困難な発見に遭遇する可能性があります。これらの状況に対応するための明確なプロセスを確立することは不可欠です。
発見が問題視される場合、まず構成がビルド環境と完全に一致していることを確認します。多くの「誤検知」は、ツールのエラーではなく、構成の不一致によって発生します。構成の確認後も問題が解決しない場合は、その問題を慎重に文書化し、ツールベンダーのサポートチームと協力して、それが実際の課題、構成の問題、またはツールの潜在的な制限であるかどうかを判断します。
一部の組織では、カスタムルールやチェック機能によってツールの機能を拡張したいと考えています。技術的には可能ですが、カスタム追加機能はベンダーの適格性評価の範囲外であることにご留意ください。これらの追加機能は独立して資格認定する必要があり、これは大きな作業となる可能性があります。
適切なツール統合の複雑さにもかかわらず、資格認定された静的解析ツールは、安全性が重要なプロジェクトにおいて通常、投資対効果（ROI）を大幅に向上させます。手動のコードレビューの労力を削減し、修正が容易な開発初期段階で問題を早期に検出でき、認証のための客観的なコード品質の証拠を提供します。
価値を最大化する鍵は、プロジェクト開始時から適切な統合を実施することです。開発の後半で静的解析を追加しようとすると、多くのレガシーな発見事項や構成上の課題に悩まされることが多いです。早期に開始することで、コーディング標準を先見的に確立し、開発全体を通じて品質を維持することができます。
ツール適格性評価は、安全性が重要なソフトウェア開発における重要な進歩であり、個々の組織では確立が難しいツールの信頼性に関する客観的な証拠を提供します。ただし、適格なツールは完全なソリューションではなく、実現手段であるということを理解することが重要です。
成功には、認定ツールを幅広い安全開発プロセスに慎重に統合することが必要です。つまり、適切な設定に時間をかけ、検証証拠を維持し、チームをトレーニングし、ツールの発見結果を単なるチェック項目としてではなく、安全ケースの貴重な情報として扱う必要があります。
ツール適格性のメリットと限界の両方を理解することで、開発チームは、安全が重要なシステムに対する適切な責任を維持しながら、これらの強力な機能を活用することができます。目標は安全をツールに委ねるのではなく、安全なソフトウェアシステムを構築する信頼できるパートナーとして適切なツールを活用することです。
安全クリティカルな開発では、コンプライアンスへの近道はありません。適切なツールはプロセスを効率的かつ信頼性高くしますが、最終目標である真に安全でコンプライアンスに準拠したシステムは、各段階で慎重なエンジニアリング、徹底した検証、専門的な努力が不可欠です。
Axivion は、より安全なソフトウェアシステムの構築を支援するツール適格性評価キットを提供しています。安全性が重要な環境における製品開発チーム向けのガイドをダウンロードして、プロジェクトにおけるツール適格性評価の管理にご活用ください。
弊社のエキスパートチームは、さまざまな業界における豊富な経験と、高品質の安全性が重要なソフトウェアの開発に精通しています。お客様の個別のユースケースについてのご相談やデモのご予約は、弊社までお問い合わせください。