Klocwork IEC 61508、IEC 62304、EN 50716、および ISO 26262

Klocwork リリース 2025.2 および 2025.4 は、以下の基準に従って、安全性に関連するソフトウェア開発で使用されることが認定されています。

• IEC 61508
• IEC 62304
• EN 50716
• ISO 26262

自動車向け電気/電子システム用の機能安全規格 IEC 61508 は、ソフトウェア開発サイクルにおける多数の取り組みやプロセスを対象としています。ISO 26262 とは、国際標準化機構 (ISO) が定める機能安全規格であり、量産乗用車の安全性に適用されます。ISO 26262 規格は、機能安全規格 IEC 61508 に重点を置いて策定されています。

IEC 62304 は、医療ソフトウェアおよび医療機器内のソフトウェアの開発に関するライフサイクル要件を規定する規格です。

EN 50716 は、鉄道アプリケーションにおいて、機能安全に関連するソフトウェアの開発に関する要件を規定する業界規格です。

開発者はこの認定された一連の Klocwork チェッカーを使用することで、セキュリティの脆弱性とクリティカルな欠陥の発見および修正に確信を持つことができ、監査および認定された手法を用いて、設計、開発、テスト、およびリリースを行っていると認識することができます。また、Klocwork には、開発者自身の準拠向けアプリケーションをサポートする弊社の静的解析ツールについて、機能安全な方法で確実に使用するためのガイダンスも用意されています。

ソフトウェア検証ツールはそれら単独ではたとえば ISO 26262 などの規格への準拠を確保できませんが、プロセス準拠の実証を目指す開発者の助けになります。Static Code Analysis ツールは、ISO-26262 規格の Part 6 に定める多数の要件に全面的あるいは部分的に対応することができます。このセクションは、自動車の機能安全に関する「ソフトウェアレベルの製品開発」を取り上げており、ソフトウェアの設計および実装の正確性を検査します。Klocwork のソースコード解析ソリューションはフル機能を備えており、導入直後からすぐに、開発者がセキュリティの脆弱性とクリティカルな欠陥を発見し、修正するのに役立てることができます。MISRA-C および MISRA-C++ コーディング規格違反は、開発者のデスクトップ、インテグレーションビルド、および継続的インテグレーションビルドに対して、あるいはコードレビューツールを介して、自動的にレポートさせることが可能です。

知っておくべきこと

Klocwork リリース 2025.2 および 2025.4 向けの機能安全パッケージ には、機能安全マニュアル、資格認定データパック、TÜV SÜD 証明書、および関連する認証レポートが含まれています。

機能安全パッケージは、権限ベースのサービスとして提供されます。ご希望の場合は、担当パートナーまたはアカウントマネージャーまでご連絡ください。

機能安全パッケージ

機能安全マニュアルを構成する一連の文書には、以下の内容が記載されています。

• ツール認証の方法
• 認証対象チェッカー
• Klocwork の使用が機能安全をサポートするための条件

資格認定データパックには、通常の動作条件下でツールの構成を検証するためのテスト手順が記載されています。手順ごとに入力データが用意されており、この入力データによって、チェッカーごとに検証済みの合否レポートが生成されます。このツールは決定理論によって実行されており、指定の入力データパラメーターに対して同じ出力結果を生成します。