• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 춘계학술발표회논문집(1)
• /
• 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 방법론도 함께 제시하였다.

• 한국시뮬레이션학회논문지
• /
• 제24권4호
• /
• pp.1-9
• /
• 2015

원자력 분야에서 안전관련(safety-related) 소프트웨어의 활용이 점차 확대됨에 따라서, 그에 상응하는 소프트웨어 안전과 신뢰도 향상을 위한 방안 연구가 지난 10여년 전부터 활발히 진행되고 있다. 원전 계측제어시스템(MMIS)은 원자력 발전소의 두뇌와 신경망에 해당하는 기능을 수행하고 있고 첨단 디지털 장비들로 구성된다. 따라서 원전 계측제어시스템의 소프트웨어 오류는 원자력 발전소 운전에 지장을 초래할 수 있고, 오동작으로 인한 발전소 정지로 경제적 손실을 초래할 수 있다. 소프트웨어 확인 및 검증(verification and validation, V&V)은 소프트웨어 품질을 향상시킬 수 있는 소프트웨어 공학의 분야로 알려져 있고, 원자력 산업계에서는 소프트웨어 생명주기에 따른 철저한 V&V 활동을 이행하고 준수할 것을 법규로 규정하고 있다. V&V 활동은 소프트웨어 전 생명주기에 따라 분석과 시험 활동들의 조합으로 다른 품질관련 공학 업무를 보완하는 역할을 한다. 본 논문에서는 명세 평가, 요건 추적, 소스코드 리뷰, 및 소프트웨어 시험을 통한 최적화된 안전관련 소프트웨어 V&V 방법론에 기반한 소프트웨어 품질 향상 방안과 단계별로 적합한 도구를 활용하여 효율성을 확보할 수 있는 방안을 제시하고자 한다. 제안된 방법론은 실제 신한울 1,2호기 원자력발전소 MMIS 시스템에 적용되어 입증되었다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권6호
• /
• pp.435-439
• /
• 2009

안전-필수 분야에 사용되는 소프트웨어의 신뢰도(dependability)를 보장하기 위해 소프트웨어의 테스팅과 확인 및 검증활동이 매우 중요하다. 본 연구에서는 위험수준이 높은 소프트웨어 모듈을 소프트웨어 수명수기 초기에 예측하여, 테스팅과 확인 및 검증 활동에 대한 자원할당을 도울 수 있게 해준다. 다중 클래스 분류를 지원하는 SVM(Support Vector Machine)을 이용하여 소프트웨어 모듈의 잠재위험수준 을 예측한다 잠재위험수준이 상대적으로 높게 나온 모듈들에 대해 테스팅과 확인 및 검증을 집중적으로 실시함으로써 보다 효과적으로 소프트웨어의 품질을 향상시킬 수 있다. 또한, 원전의 계측제어계통에 사용되는 안전-필수 소프트웨어의 안전성 심사를 위한 대상 모듈을 샘플링할 때 활용할 수 있을 것으로 기대된다.

• 한국인터넷방송통신학회논문지
• /
• 제21권2호
• /
• pp.79-88
• /
• 2021

과학용 소프트웨어는 전문가 수준의 깊이있는 도메인 지식 요구 등과 같이 고유한 특성들로 인하여 전통적인 응용소프트웨어와는 다른 개발 프로세스가 요구된다. 본 연구에서 우리는 과학용 소프트웨어 개발을 위하여 RE(Reverse Engineering)과 TDD(Test-Driven Development)에 기반한 V&V 개발 프로세스를 제안하였다. 또한 실제 프로젝트에 가상 시나리오를 구성하고 적용하여 절차를 검증하고 정교화 하였다. 과학용 소프트웨어 개발을 목적으로 제안된 본 연구의 개발 프로세스는 고품질, 고 신뢰성을 제공할 수 있는 소프트웨어 개발 및 적용에 기여할 것이다. 또한 본 연구는 과학용 소프트웨어 개발 및 연구의 저변 확산의 계기가 될 것으로 기대된다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 춘계학술발표회논문집(1)
• /
• pp.172-177
• /
• 1997

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.889-890
• /
• 2011

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

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2017년도 제29회 한글 및 한국어 정보처리 학술대회
• /
• pp.201-202
• /
• 2017

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

• 한국어정보학회:학술대회논문집
• /
• 한국어정보학회 2017년도 제29회 한글및한국어정보처리학술대회
• /
• pp.201-202
• /
• 2017

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

• TTA 저널
• /
• 통권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 저널
• /
• 통권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 인증마크를 발급하였다. 본 고에서는 상위의 인증 획득한 제품에 대하여 소개하고자 한다.