標準およびコンプライアンスの概要
規制対象となる組込みソフトウェア開発は、2つの並行する要件体系の下で行われます。機能安全標準は、どのような検証活動を行うべきか、またどのような証拠を提示すべきかを定義しています。コーディングガイドラインは、これらの標準が防止することを目的としている欠陥クラスを回避するために、ソースコードをどのように記述すべきかを定義しています。これらはいずれも法的および契約上の拘束力を持ち、認証機関が承認する出力を生成するために、それ自体が認定を受けたツールが必要となります。
PC-lint Plusは、exida社によりISO 26262、IEC 61508、およびIEC 62304の認証を取得しています。VectorCASTのカバレッジ測定機能は、TÜVにより主要な機能安全規格すべてにおいて認証されています。継続的な品質モニタリングを行うSquoreと組み合わせることで、規制対象となる組み込み開発に求められる要件の全範囲を網羅しています。
機能安全標準
主要な機能安全標準は、すべてリスクベースのものです。各標準では、分類体系を定義し、リスク分類に応じてソフトウェアに検証要件を割り当て、それらの活動に関する文書化され、追跡可能な証拠を義務付けています。具体的な用語や構成は業界によって異なりますが、その根底にある義務は一貫しています。
ISO 26262
ISO 26262は、道路車両の電気/電子システムを対象としています。リスク分類はASIL AからASIL Dまであり、構造的な適用範囲の要件には、最高レベルにおいてMC/DCが含まれます。
RTCA/DO-178C
DO-178Cは、航空機搭載ソフトウェアの主要な認証標準です。開発保証レベルはAからDまであり、レベルAではすべての決定事項についてMC/DCによるカバレッジが要件です。
IEC 61508
IEC 61508は、産業安全の基礎となる標準であり、ISO 26262、EN 50716、およびその他のいくつかの分野別標準の根拠となっています。安全度水準（SIL）は、SIL 1からSIL 4まであります。
IEC 62304
IEC 62304は、医療デバイスにおけるソフトウェアに適用され、コンポーネントを安全クラスA、B、またはCに分類しています。クラスCには、構造的カバレッジや要件のトレーサビリティなど、最も厳格な検証義務が課されています。
EN 50716
EN 50716は、鉄道のコントロール、保護、および車両に関する用途を規定しています。この標準はIEC 61508に基づいており、鉄道特有の要件に合わせて改訂されています。
IEC 60880
IEC 60880は、原子力発電所におけるコンピューターベースのシステムのソフトウェアに関する事項を規定しています。この規格は、IEC 61226に基づく安全カテゴリAの機能に適用されます。
コーディングおよびセキュリティに関するガイドライン
機能安全標準では、プロジェクトで行うべき検証活動が規定されています。コーディングガイドラインでは、検証を困難にし、テスト開始前に安全性やセキュリティ上のリスクをもたらす欠陥クラスを回避するために、ソースコードをどのように記述すべきかが規定されています。
安全性が極めて重要な組込みCおよびC++開発において最も広く採用されているガイドラインには、MISRA CおよびMISRA C++、自動車用ECUソフトウェア向けのAUTOSAR C++、セキュリティ重視のコーディング慣行に関するCERT-C、そしてCWE Top 25やTop 10 KEVリストを含む脆弱性の列挙に関するCWEなどがあります。PC-lint Plusは、これらすべてを標準でサポートしており、ビルドのたびに静的解析を通じて準拠性を確保します。
ツールの適格性評価および認証
ツールの認定は、IEC 61508、ISO 26262、およびDO-178Cにおいて必須の要件となっています。認定を受けていないツールによるテスト結果は、その結果がどのようなものであっても、証拠としての効力を持ちません。
PC-lint Plusは、exidaによりISO 26262:2018（ASIL D）、IEC 61508:2010（SIL 4）、およびIEC 62304の認証を取得しています。VectorCASTのカバレッジ測定結果は、TÜVにより認証されています。どちらのツールも、これらの標準に基づく検証ツールとして使用するために必要な認定文書が同梱されています。
| 業界 | 標準 | VectorCAST | PC-lint Plus |
| 自動車 | ISO 26262 | TÜV認証取得、ASIL A～D | exida認定、ASIL A～D |
| 航空宇宙 | RTCA/DO-178C、RTCA/DO-330 | TÜV 認定、レベル A の MC/DC を含むすべての DAL レベル。リクエストに応じて、認定キットをご用意いたします。 | ✗ |
| 産業用オートメーション | IEC 61508 | TÜV 認証取得済み、SIL 1～4 | exida 認定、SIL 1～4 |
| 医療デバイス | IEC 62304 | TÜV 認証取得済み | exida 認証取得 |
| 鉄道 | EN 50716 | TÜV認証取得済み | exida認証取得済み |
| 原子力発電所 | IEC 60880 | TÜV認証取得済み | ✗ |