표준 및 규정 준수 개요
규제 대상 임베디드 소프트웨어 개발은 두 가지 병렬 요구사항 체계에 따라 진행됩니다. 기능 안전 표준은 수행해야 할 검증 활동과 제시해야 할 검증 증적을 정의합니다. 코드 구현 지침은 해당 표준이 방지하고자 하는 결함 유형을 피하기 위해 소스 코드를 어떻게 작성해야 하는지를 정의합니다. 두 체계 모두 법적 및 계약적 효력을 가지며, 인증 기관이 수용할 수 있는 결과를 산출하려면 그 자체로 인증을 받은 도구가 필요합니다.
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까지 있으며, Level 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 |
| Medical Devices | IEC 62304 | TÜV 인증 | exida 인증 |
| 철도 | EN 50716 | TÜV 인증 | exida 인증 |
| 원자력 발전소 | IEC 60880 | TÜV 인증 | ✗ |