IEC 62278 (EN 50126) / IEC 62279 (EN50128) 기반 철도 안전성 인증
철도 차지상 시스템 SW 안정성 인증 획득을 위한 IEC 62278 (EN50126)/ IEC 62279 (EN50128) 기반 안전성 인증을 위해 SW 개발사는 많은 비용과 시간을 투입하고 있습니다.
㈜웰텍연구소는 SW 개발사는 SW 개발에 최선을 다하며, 최소한의 비용과 시간으로 SW 인증을 받을 수 있도록 관련 인증 관련 산출물 컨설팅 및 SW 시험에 대한 컨설팅을 제공합니다.
- 전체 시험 일정 협의
- 시험에 대한 기준 수립
- Coding Rule 선정
– 체계 개발 시 적용할 Coding Rule 선정 Consulting을 진행 - 신뢰성 시험(정적) 제공
– 국제 표준 코딩 룰(MISRA, CWE, CERT 등)을 적용하여 잠재적 결함(코딩 규칙 위배, Runtime Error) 검출
Call Graph, Flow Graph를 통한 설계 검토
– 매개변수 및 사용자 변수 데이터 흐름의 파악을 통한 위험 데이터 검토
– 잠재적 결함 검출 시 SW 수정 후 정적 분석 재 수행
- 시험계획 작성 지원
– 소프트웨어 신뢰성 시험 대상 판단 및 목표 값 설정 등 시험계획 작성 지원 - 시험 환경 구축
– 개발환경과 동일한 Target 연동 환경 구축 - 신뢰성 시험(동적) 제공
– 요구사항, 구조적 기반의 Test Case 도출
– 자동화 생성을 위한 Test Case 작성
– 생성된 TCF파일, LDRA, Target 장비를 활용하여 Statement Coverage, Branch Coverage, MC/DC 시험 수행
– 결함 발견 시 SW 수정 후 정적분석, 동적분석 재 수행
※ 소프트웨어 신뢰성 및 품질 향상을 위한 Requirement Coverage, Function coverage 산출
※ 소프트웨어 신뢰성 시험 결과에 대한 공인인증서 발급 제공
- 소프트웨어 통합시험 결과서 검토
– 적용도구 및 평가 기준 확인
– 방어코드 및 코드 실행 률 미 달성 항목에 대한 설명 첨부
– 자동화 도구 시험 결과 보고서 첨부 - 적정 시험 실사 체크리스트 점검
– 정적 시험 도구 버전 및 시험대상 파일 일치 여부 확인
– 프로젝트의 코딩규칙과 도구에서 제공하는 코딩규칙간 매핑 관계 확인 - 동적 시험 실사 체크리스트 점검
– 도구 버전 확인 및 소프트웨어 신뢰성시험 결과서와 도구 산출 결과 일치 확인
– 동적 수행 환경 및 실체 타겟 환경 일치 확인 - 고객사 및 인증 기관 주관 검수 일정 지원