현대 EDS (이디에스)

H > 기술자료실 >

기술자료실

최고를 만드는 기업, HYUNDAI E.D.S

기술자료실

[IEEE 1012-2004] Software Verification and Validation

페이지 정보

작성자 현대EDS 작성일17-03-17 16:15 조회20,207회 댓글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)

 

댓글목록

등록된 댓글이 없습니다.