Chapter 1180. 안전 무결성 검증 기법 (Safety Integrity Verification Techniques) Chapter 1180. 안전 무결성 검증 기법 (Safety Integrity Verification Techniques) 1180.1안전 무결성 검증의 개요와 목적 1180.2검증(Verification)과 확인(Validation)의 구분 1180.3안전 무결성 검증 계획의 수립 1180.4정량적 하드웨어 안전 무결성 검증 1180.5PFD/PFH 산정을 통한 SIL 검증 1180.6신뢰성 블록 다이어그램(RBD) 기반 검증 1180.7마르코프 모델 기반 정량적 검증 1180.8몬테카를로 시뮬레이션 기반 검증 1180.9진단 범위(DC) 검증 방법 1180.10공통 원인 고장(CCF) 검증 방법 1180.11체계적 안전 무결성의 정성적 검증 1180.12설계 기법과 조치의 적합성 검증 1180.13안전 분석 기법에 의한 검증 1180.14FMEA/FMECA를 통한 안전 무결성 검증 1180.15FTA를 통한 안전 무결성 검증 1180.16HAZOP 분석을 통한 검증 1180.17소프트웨어 안전 무결성 검증 1180.18소프트웨어 정적 분석 도구에 의한 검증 1180.19소프트웨어 동적 시험에 의한 검증 1180.20하드웨어-소프트웨어 통합 검증 1180.21환경 시험에 의한 안전 무결성 검증 1180.22EMC 시험에 의한 안전 무결성 검증 1180.23안전 무결성 검증 결과의 문서화 1180.24로봇 시스템의 안전 무결성 검증 사례