働き方改革や国内の労働力不足を受けて、日本国内の自動化設備や産業用ロボットの需要が拡大しているほか、中国やアジア地域でFA・制御機器市場が拡大しています。需要が加速している一方で、直接的もしくは間接的に人の安全に影響を与える可能性のある製品や部品の安全対策として、機能安全規格への準拠が求められ、電気・電子・プログラマブル電子システムに関する機能安全の国際規格である「IEC 61508」への関心も高まっています。
ここでは、特にソフトウェア開発から見た機能安全規格とは何か、規格に準拠するために何が必要か、IEC 61508対応にツールを使うメリットとツール選択の注意点について説明します。
機能安全規格IEC 61508とは
機能安全規格は、機能安全を実現するためのプロセスの枠組みを提供します。機能安全の国際規格「IEC 61508」は、安全関連システムを構成する電気／電子プログラマブルシステム全般を対象とする規格であり、自動車分野向けのISO 26262など、多くの製品派生規格がIEC 61508を基に制定されています。IEC 61508は、2012年以降、EU 圏内で販売される全産業機器の条件になるなど、輸出関連企業にとって無視することのできない規格です。
ソフトウェア開発から見た機能安全規格IEC 61508
IEC 61508は、製品の設計から実装・運用・廃棄までのライフサイクル全体をカバーし、安全性の管理・文書化・評価など広い範囲を扱っています。中でも第 3部：ソフトウェア要求(Software requirements)では、ソフトウェア開発において要求される手法や項目が規定されています。設計及びコーディング標準、機能及びブラックボックス試験、カバレッジ等、製品が満たすべき安全性のレベルに応じて推奨される手法を選択します。これらの手法をサポートするテストツールを使用することで、規格によって要求される検証の管理や実施が容易になるほか、レポート機能を使用すれば、結果をエビデンスとして文書化する作業を軽減できます。
ソフトウェアツールの認証
IEC 61508は、ソフトウェア開発に利用するツールの妥当性検証の結果を要求します。ツールがTÜV SÜDなどの機関によって認証されていない場合、ツールの結果が正確で予測可能であり、安全に関わるソフトウェア開発に利用可能であることを利用者が文書化して証明する必要があります。これはたいへんに面倒で時間がかかる作業です。従って、ツール認証に関する労力を削減するには、認証済みのツールを選ぶことが重要です。
ツール認証/認定については、過去の記事「ツール認定プロセスの自動化で、高品質なソフトウェアの開発に集中」でも詳しく説明しています。
Parasoft C/C++testについて
Parasoft C/C++testは、ソフトウェア開発チームの生産性向上と品質に効果があるさまざなベストプラクティスを自動化する統合ソリューションです。
C/C++testを利用すると、以下のテストを容易に行うことができます。
- 静的解析 － コードの静的な解析 、データフロー・制御フロー静的解析、メトリクス解析
- 単体テスト － 単体テストの生成、実行、最適化、保守
- 実行時エラー検出 － メモリアクセスエラー、メモリリーク、メモリ破壊など
IEC 61508対応ソフトウェア開発にParasoft C/C++testを利用すると、以下のようなメリットがあります。
IEC 61508で要求されるさまざまな技法に対応
C/C++向け統合テストツールであるC/C++testは、特定のコーディングスタンダードの推進、データフロー解析、MC/DCカバレッジの収集など、IEC 61508で推奨されるさまざまな技法をサポートしており、ソフトウェア検証の正確性と効率性の向上に役立ちます。
第三者認証取得済み
C/C++testは、国際的な第三者認証機関である TÜV SÜD社により、IEC 61508-3: 2010 を満足する T2 クラスのソフトウェア開発サポートツールとして認証を受けています。安全に関わるソフトウェア開発に利用可能であると認定されているため、利用ユーザーがツールの妥当性を検証する労力が省かれます。
ユーザーのIEC 61508認証取得を支援するパッケージ
IEC 61508認証取得を必要とするお客様に対して、安全性に関連する既知の問題のリスト、推奨されるテストコンフィギュレーションなどを含む、規格準拠に必要な労力を軽減するためのパッケージを提供しています。
さらに詳しく
IEC 61508で要求される技法とC++testの検証方法を詳しくご説明する資料と、実際にC++testを利用してIEC 61508認証を取得した企業事例を提供しています。詳細につきましては、C++testサイトをご確認ください。
https://www.techmatrix.co.jp/product/ctest/index.html