[IEEE 1012-2004] Software Verification and Validation
페이지 정보
작성자 현대EDS 작성일17-03-17 16:15 조회22,263회 댓글0건관련링크
본문
[의견 1] 개발되는 소프트웨어의 신뢰도를 향상 시키고 개발된 소프트웨어의 해당 등급에서 요구되는 무결성을 입증하기 위해서는 "소프트웨어 확인 및 검증" 을 수행하여야 한다.
[의견 2] Software Integrity Level (원자력 발전소 기준)
SIL Level 4: Safety Critical (SC)
SIL Level 3: Important to Safety (ITS)
SIL Level 2: Important to Availability (ITA)
SIL Level 1: General (일반 산업등급)
각 소프트웨어 등급은 Complexity, Criticality, Risk, Safety Level, Security Level, Desired Performance 및 Reliability를 고려하여 해당 등급에맞는 단계별 소프트웨어 확인 및 검증 과정을 거쳐야 한다.
[의견 3] ITA 기준 단계별 산출물
개념단계: SPM, SDP, SMP, SQAP, SVVP, SCMP, SIP, STP, Coding Guideline
요건단계: SRS, ST Plan, RTM, V&V Report
설계단계: SDD, CT/IT Plan, CT/IT/ST Procedure, RTM, V&V Report
구현단계: Code List, Code V&V, CT/IT/Report, RTM, V&V Report
시험단계: ST Report, IST Report, RTM, V&V Report
최종단계: FAT Report, Final V&V Report, SCMR
단, 납품 이후의 설치, 시운전, 최종성능검증에 대해서느느 기기공급자의 범위가 아니다.
약어정의
SPM: Software Program Manual
SDP: Software Development Plan
SMP: Software Management Plan
SQAP: Software Quality Assurance Plan
SVVP: Software V&V Plan and Procedure
SCMP: Software Configuration Management Plan and Procedure
SIP: Software Integration Plan
STP: Software Test Plan
SRS: Software Requirement Specification
SDD: Software Design Description
SCMR: Software Configuration Management Report
RTM: Requirements Traceability Matrix
ST: System Test
IT: Integration Test
CT: Component Test
IST: Integrated System Test
FAT: Factory Acceptance Test
[규제지침 및 승인된 기술기준]
규제지침 |
승인된 기술기준 |
RG 1.152 (Criteria for Digital Computer) |
IEEE 74.3.2 (Standard Criteria for Digital Computer) |
RG 1.153 (Criteria for Safety Systems) |
IEEE 603 (Criteria for Safety Systems) |
RG 1.168 (Verification, Validation, Review, and Audits) |
IEEE 1012 (Software Verification and Validation) |
IEEE 1028 (Software Reviews and Audits) |
|
IEEE 1059 (Software Verification and Validation Plans) |
|
RG 1.169 (Configuration Management Plans) |
IEEE 828 (Software Configuration Plans) |
IEEE 1042 (Software Configuration Management) |
|
RG 1.170 (Software Test Document) |
IEEE 829 (Software Test Documentation) |
RG 1.171 (Software Unit Testing) |
IEEE 1008 (Software Unit Testing) |
RG 1.172 (Software Requirement Specification) |
IEEE 830 (Software Requirement Specification) |
RG 1.173 (Developing Software Life Cycle Process) |
IEEE 1074 (Developing Software Life Cycle Process) |
댓글목록
등록된 댓글이 없습니다.