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