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

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

• 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 資格認定は、「Klocwork の機能安全マニュアル」および 2024.2 の関連ドキュメントに記載されています。これらのドキュメントは、Klocwork の使用が機能安全をサポートするための条件について説明しています。

資格認定パック

資格認定パックは、「Klocwork の機能安全マニュアル」に記載のように、セールス担当者から入手可能です。資格認定パックによるテスト手順は、通常の運用条件下での要件をチェックするものです。手順ごとに入力データが用意されており、この入力データによって、チェッカーごとに検証済みの合否レポートが生成されます。このツールは決定理論によって実行されており、指定の入力データパラメーターに対して同じ出力結果を生成します。現在サポートされている Klocwork 用の資格認定パックを入手するには、カスタマーサポートにお問い合わせください。