ソフトウェア開発支援
IR情報 会社情報





IEC 61508認証支援用セーフティマニュアル 

Programming Research Ltd.
IEC 61508認証支援用セーフティマニュアル
0

IEC 61508認証支援用セーフティマニュアルは、IEC 61508 Part 3に準拠したソフトウェア開発のためにQA·C/C++とMISRA-C/C++コンプライアンスモジュールを使用する方法とツールが認証取得をサポートできる範囲を説明します。

また、IEC 61508認証支援用セーフティマニュアルは、IEC 61508認証を取得する際に認定機関への提出が求められる下記2点の書類とセットで提供されます。

 
  • - IEC 61508認証証書 (SGS-TÜV-SAAR発行)
  • - IEC 61508認証取得時に使用されたレポート

     

特長

IEC 61508は、ソフトウェア品質に対する要件をまとめた国際規格です。このIEC 61508のPart 3では、ソフトウェア開発初期段階で実施されるアーキテクチャ設計、ソフトウェアユニット設計とその実装における要件が規定されています。
 

TUV-SAAR-Certificate-Thumbnail.jpg

QA·C/C++とMISRA-C/C++コンプライアンスモジュールは、IEC 61508認証支援用セーフティマニュアルに記載される方法で利用した場合、IEC 61508(SIL 3まで)に準拠した“安全に関わるソフトウェア開発”を行う上での利用に適したツールとしての認証を受けています。
 

   

IEC 61508認証支援用セーフティマニュアルは、IEC 61508 Part 3に準拠したソフトウェア開発のためにQA·C/C++とMISRA-C/C++コンプライアンスモジュールを使用する方法を説明します。


また、IEC 61508 Part 3に準拠する上で考慮することが求められる点に対して、QA·C/C++とMISRA-C/C++コンプライアンスモジュールが対応できる範囲を以下の例のように示します。
 

表B.1 - Design and Coding Standard(一部のみ抜粋)
Technique/Measure
SIL
Supported by PRQA tools
1
2
3
4
QA·C
QA·C++
1. Use of coding standard to reduce likelihood of errors
HR
HR
HR
HR
2. No dynamic objects
R
HR
HR
HR
3a. No dynamic variables
---
R
HR
HR
5. Limited use of pointers
---
R
HR
HR

(出典:IEC 61508-3:2010; ed2.0)

仕様

■ツール認証対象バージョン

IEC 61508ツール認証が行われたQA·C/C++は以下のバージョンです。

 

※いずれも対応する MISRA C/C++コンプライアンスモジュールを使用する必要があります。
 

  • QA·C8.0, QA·C8.1.1, QA·C8.2.2, QA·C9.1.0, QA·C9.3.1
  • QA·C++3.0, QA·C++3.2.2, QA·C++4.1.0

detail__vid--text.png

はい (0)
いいえ (2)

PAGE TOP

本ウェブサイトではサイト利用の利便性向上のために「クッキー」と呼ばれる技術を使用しています。サイトの閲覧を続行されるには、クッキーの使用に同意いただきますようお願いいたします。詳しくはプライバシーポリシーをご覧ください。