기능 안전 — 산업
CppDepend를 통한 산업 소프트웨어의 IEC 61508 기능 안전
CppDepend가 산업 및 에너지 팀이 IEC 61508을 충족하도록 돕는 방법: SIL 등급 정적 분석, 코딩 규칙, 아키텍처 제어 및 안전 관련 시스템의 검증 증거.
IEC 61508 은 전기, 전자 및 프로그래밍 가능 전자 안전 관련 시스템의 포괄적 기능 안전 표준입니다. 에너지, 프로세스 산업, 철도 및 기계의 부문 표준을 뒷받침하며 안전 무결성 수준(SIL 1–4)을 정의합니다. 소프트웨어의 경우 IEC 61508-3은 정적 분석, 코딩 표준 및 방어적 프로그래밍을 권장하며 SIL에 따라 엄격성이 증가합니다.
IEC 61508-3 소프트웨어 요구 사항
- 코딩 표준 및 하위 집합: 입증된 적용과 함께 더 안전한 언어 하위 집합(예: MISRA C) 사용.
- 정적 분석: 검증의 일부로 결함, 도달 불가능한 코드 및 데이터 흐름 이상 탐지.
- 모듈성 및 제한된 복잡성: SIL에 적합한 제한된 모듈 크기 및 복잡성.
- 변경 영향 분석: 안전 수명 주기 전반에 걸친 수정의 객관적 평가.
CppDepend가 IEC 61508 프로젝트를 지원하는 방법
- 내장 MISRA/CERT 규칙 세트 코딩 표준 기둥을 위해, 프로젝트별 제약을 위한 사용자 정의 CQLinq 규칙 추가.
- 복잡성 예산: SIL 목표에 맞춘 함수별 및 모듈별 복잡성 임계값을 적용합니다.
- 아키텍처 검증: 안전 관련 및 비안전 관련 소프트웨어 구성 요소 간의 분리를 입증합니다.
- 영향 분석: 기준선 차이는 두 검증 주기 사이에 무엇이 변경되었는지 정확히 보여줍니다.
- CI의 품질 게이트: 안전 관련 코드베이스의 모든 빌드에서 회귀를 자동으로 차단합니다.
관련 산업 및 사례 연구
관련 코딩 표준
CppDepend가 코드베이스에서 무엇을 발견하는지 확인하세요
자체 프로젝트에서 분석 실행: 코딩 표준, 아키텍처 검증, 기술 부채 및 품질 게이트 — 몇 분 만에.