• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.233-238
• /
• 1997

본 논문에서는 Safety-critical 소프트웨어를 위한 V'||'&'||'V 지침서(guideline) 개발 방법론을 제시한다. 즉, 기존의 산업계 표준인 IEEE Std-1012, IEEE Std-1059에서 논의되고 있는 개념을 근간으로 "독립성(independence)", "소프트웨어 안전성 분석(software safety analysis)", "COTS 평가(evaluation) 기준", "다른 보증(assurance) 조직들간의 관련성(relationship)" 등의 필수 안전 항목들을 추가하여 원전 안전성 시스템(NPP safety system)을 위한 V'||'&'||'V 지침서 개발 방법론을 제시하였다 제시된 방법론에는 V'||'&'||'V 지침서의 범위(scope), 승인기준(acceptance criteria) 부분인 지침서 프레임(guideline framework), V'||'&'||'V activities 및 methods 부분인 타스크(task) entrance 및 exit 기준(criteria), 리뷰 및 감사(review and audit), 테스팅 그리고 V'||'&'||'V material의 QA 레코드(records) 및 형상관리, 소프트웨어 검증 및 확인 계획서(Software Verification and Validation Plan : SVVP) 생성 등의 내용을 기술하고, Safety-critical 소프트웨어 V'||'&'||'V 방법론도 함께 제시하였다.

• Journal of the Korea Society for Simulation
• /
• v.24 no.4
• /
• pp.1-9
• /
• 2015

As the use of software is more wider in the safety-critical nuclear fields, so study to improve safety and quality of the software has been actively carried out for more than the past decade. In the nuclear power plant, nuclear man-machine interface systems (MMIS) performs the function of the brain and neural networks of human and consists of fully digitalized equipments. Therefore, errors in the software for nuclear MMIS may occur an abnormal operation of nuclear power plant, can result in economic loss due to the consequential trip of the nuclear power plant. Verification and validation (V&V) is a software-engineering discipline that helps to build quality into software, and the nuclear industry has been defined by laws and regulations to implement and adhere to a through verification and validation activities along the software lifecycle. V&V is a collection of analysis and testing activities across the full lifecycle and complements the efforts of other quality-engineering functions. This study propose a methodology based on V&V activities and related tool-chain to improve quality for software in the nuclear power plant. The optimized methodology consists of a document evaluation, requirement traceability, source code review, and software testing. The proposed methodology has been applied and approved to the real MMIS project for Shin-Hanul units 1&2.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.6
• /
• pp.435-439
• /
• 2009

Software used in safety-critical system must have high dependability. Software testing and V&V (Verification and Validation) activities are very important for assuring high software quality. If we can predict the risky modules of safety-critical software, we can focus testing activities and regulation activities more efficiently such as resource distribution. In this paper, we classified the estimated risk class which can be used for deep testing and V&V. We predicted the risk class for each module using support vector machines. We can consider that the modules classified to risk class 5 and 4 are more risky than others relatively. For all classification error rates, we expect that the results can be useful and practical for software testing, V&V, and activities for regulatory reviews.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.21 no.2
• /
• pp.79-88
• /
• 2021

Scientific software requires a development process different from conventional application software due to its unique characteristics, such as expert-level deep domain knowledge requirements. In this study, we proposed a V & V development process based on RE (Reverse Engineering) and TDD (Test-Driven Development) for software development for science. We also configured a virtual scenario for the actual project, applied it, checked the procedure, and refined it. The development process of this study, suggested for the purpose of developing scientific software, will contribute to the development and application of the software that can provide high quality and high reliability. And This study is expected to serve as an opportunity for the development of scientific software and the spread of research.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.172-177
• /
• 1997

검증 및 확인(V&V)의 속성상 Independent V&V는 반드시 필요 한 것으로 인식되고 실제로 규제 기준이나 여러 표준(Standard)들에서 그 요구사항들이 기술되고 있으나 그 기술 내용이 너무 단순, 추상적인 경우가 많아 구체적인 실현 방법에 있어서는 합의된 해결책이 제시되지 못하고 있는 실정이다. 이러한 문제점들을 해결하기 위해 본 논문에서는 원자력분야는 물론 프로세스와 군사 분야의 표준들과 기타 기술기준 자료들을 조사 분석하고 이를 기반으로 하여 원자력 분야, 특히 계측제어 계통의 Safety-critical 소프트웨어 개발에 따른 안전성과 경제성 문제가 고려되고 기술적, 관리적 측면에서 균형을 갖춘 V&V의 독립성 구현 방안에 대한 가이드를 제시하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.889-890
• /
• 2011

VANET(Vehicular Ad-hoc Network)의 V2V 통신의 경우 차량 간의 안전한 통신을 위해 차량 인증 및 조건부 프라이버시 보호를 제공하기 위해서 그룹 서명 기법을 사용한 보안 기술들이 다양하게 연구되고 있다. 하지만 VANET은 MANET과 달리 빠른 이동성을 가지는 노드의 특성상 그룹 구성원의 가입과 탈퇴가 빈번하다는 문제점을 가지고 있다. 본 논문에서는 그룹 구성원의 빈번한 가입과 탈퇴를 방지하기 위해 VANET 환경에 적합하고, 그룹 관리자에 의해 생성되는 차량 개인서명키에 대한 키 위탁문제를 해결하기 위한 그룹서명방식을 제안한다.

• Annual Conference on Human and Language Technology
• /
• 2017.10a
• /
• pp.201-202
• /
• 2017

의료정보시스템의 상호운용을 위해 개발된 의료정보 교환 국제 표준인 HL7은 복잡한 구조와 문법으로 인해 컴퓨터 소프트웨어로 관리되고 있다. 현재 개발되고 있는 HL7 인터페이스 소프트웨어에서는 다양한 버전 간 호환이 되지 않아 의료정보시스템에서 버전 상호 간의 호환을 위해 변환 소프트웨어 모듈을 개발하여 사용한다. 그러나 다양한 버전(V2.1~V2.8)의 HL7 메시지 간 상호 변환을 위해 소프트웨어 모듈을 모두 개발하는 것은 많은 시간과 막대한 비용 및 노력이 필요한 비효율적인 방법이다. 따라서 본 연구에서는 HL7 버전 호환성 정의에 기반을 두어 버전별 상호변환이 가능한 HL7 파서(Parser)를 설계하고, 객체 지향적 구조에 기반을 두어 하위 버전과의 호환(Backward Compatibility)뿐만 아니라 상위 버전과 호환(Forward Compatibility) 가능한 파서를 제안한다. 또한, 버전 간 변환 실험을 통해 효용성을 검증하였다.

• 한국어정보학회:학술대회논문집
• /
• 2017.10a
• /
• pp.201-202
• /
• 2017

의료정보시스템의 상호운용을 위해 개발된 의료정보 교환 국제 표준인 HL7은 복잡한 구조와 문법으로 인해 컴퓨터 소프트웨어로 관리되고 있다. 현재 개발되고 있는 HL7 인터페이스 소프트웨어에서는 다양한 버전 간 호환이 되지 않아 의료정보시스템에서 버전 상호 간의 호환을 위해 변환 소프트웨어 모듈을 개발하여 사용한다. 그러나 다양한 버전(V2.1~V2.8)의 HL7 메시지 간 상호 변환을 위해 소프트웨어 모듈을 모두 개발하는 것은 많은 시간과 막대한 비용 및 노력이 필요한 비효율적인 방법이다. 따라서 본 연구에서는 HL7 버전 호환성 정의에 기반을 두어 버전별 상호변환이 가능한 HL7 파서(Parser)를 설계하고, 객체 지향적 구조에 기반을 두어 하위 버전과의 호환(Backward Compatibility)뿐만 아니라 상위 버전과 호환(Forward Compatibility) 가능한 파서를 제안한다. 또한, 버전 간 변환 실험을 통해 효용성을 검증하였다.

• TTA Journal
• /
• s.87
• /
• pp.162-168
• /
• 2003

TTA(한국정보통신기술 협회)는 2003년 4월 7일 품질 인증제품으로 연희정보통신㈜의''상·하수도 범용/UFCom v 1.0'', ㈜뉴테크웨이브의 ''VirusChaser v 5.0''등 2개의 제품에 대하여 Good Software 마크를 발급하였다. 그리고 2003년 4월 30일에 ㈜웨어밸리의''Orange for ORACLE v 2.2'', ㈜테크다임의''Techdigm Office v 2.0'', ㈜엔지스 테크널러지의''G-Solution Waterworks/Sewerage v 1.0'', 삼성에스디에스㈜의''uniCITY Standard v 1.0'', ''uniCITY Enterprise v 1.0''등 5개의 제품에 대하여 Good Software 마크를 발급하였다. 본 고에서는 상기의 인증 획득한 제품에 대하여 소개하고자 한다.

• TTA Journal
• /
• s.86
• /
• pp.89-93
• /
• 2003

TTA(한국정보통신기술협회)는 2003년 2월 28일, 품질인증 제품으로 ㈜하나디에스디의''라이프에듀빌더 v 1.0'', ㈜연성정보기술의''이메일플러스 v 3.0'', ㈜포스정보의''책꽂이KDC v 3.1'', ㈜켈코인의''챌린저 웹진 웹스쿨 v 3.0'' 등 4개의 제품에 대하여 Good Software 마크를 발급하였다. 그리고 2003년 3월 10일에 VeriTest-TTA 인증제품으로 (주)스페이스 인터내셔널의''CD Tower v 3.1''은 VeriTest-TTA Good Quality, Optimized Performance & Internationalized 마크를, ㈜포스데이터의''BizBinder v 1.0''은 VeriTest-TTA Good Quality & Optimized Performance 인증마크를 발급하였다. 본 고에서는 상위의 인증 획득한 제품에 대하여 소개하고자 한다.