• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.139-141
• /
• 2005

국내에서는 암호제품의 안전 및 신뢰성 확보를 위해 2005년부터 KCMV 암호모듈 검증시험을 시행하고 있다. 그러나 암호모듈 검증시험을 수행함에 있어서 시험에 필요한 제출물의 세부내용 및 제출물에 대한 일관성 있는 문서 스키마(schema)가 제공되지 않고 있다. 이렇듯 암호모듈 검증시험을 수행함에 있어서 제출물에 대해 정해진 템플리트 없이 오프라인상의 문서를 이용한다는 것은 전체적인 검증시험 업무수행에 있어서 저해요인으로 크게 나타나게 된다. 이에 본 논문에서는 암호모듈 검증시험에 있어서 검증 받고자 하는 보안등급에 맞추어 시험 제출물을 작성 시 제출물의 일관성 유지를 위해, FIPS 140-2 DTR 분석을 통한 제출물 템플리트 작성방법을 제안한다.

• Nuclear Engineering and Technology
• /
• 제27권3호
• /
• pp.385-392
• /
• 1995

월성원자력 2, 3, 4호기 safety-critical 소프트웨어에 대한 규제 기관의 요구사항을 만족시키기 위하여 소프트웨어 엔지니어링 절차가 개발되었다. 본 논문에서는 그 중에서 검증시험절차에 대하여 기술하였는데, 검증시험이란 설계그룹에서 개발된 소프트웨어가 독립된 기능그룹에서 부여한 요구사항을 모두 만족하는지를 확인하는 것이다. 이 검증시험을 수행하기 위하여 시험설비와 시험용 소프트웨어가 개발되었으며, 검증시험은 기능시험, 성능시험 및 자기점검시험 등으로 구성되었다. 시험결과를 분석하여, 불만족한 경우는 설계그룹에 통보되어 소프트웨어가 수정되었고, 최종결과는 보고서로 작성되어 규제기관에 제출될 것이다. 개발된 검증시험 방법과 절차는 효율적이고 성공적이었으며, 시험결과는 소프트웨어가 기능사양서를 충분히 만족시킨다는 것을 성공적으로 검증함을 보여주었다. 본 시험방법은 다른 safety-critical 소프트웨어 검증에도 적용될 수 있을 것이다.

• 천문학회보
• /
• 제37권2호
• /
• pp.196.1-196.1
• /
• 2012

인공위성은 지상에서부터 발사 및 궤도 운용까지 다양한 전자파 환경에 노출되며 이러한 환경에서의 위성 운용을 검증하기 위하여, 다양한 전자파 환경을 모사하는 전자파 환경시험을 수행하게 된다. 특히, 궤도내에서 위성의 운용시 지상국과의 교신을 위하여 X 밴드 안테나와 S 밴드 안테나에서 지상국으로 강한 전자기파를 방사하게 되는데, 이 방사에너지가 위성에 영향을 주는지 검증하는 시험을 지상에서 수행한다. 이런 시험을 RFC (RF Auto-Compatibility) 시험이라고 부른다. RFC 시험은 위성으로부터 방사되는 전자기파가 외부에 새어나가지 않도록 전자파 챔버내에서 시험하며, 강한 전자기파를 흡수할 수 있는 고전력 전파 흡수체가 설치된 전자파 챔버가 필요하다. RFC 시험시 X 밴드 안테나와 S 밴드 안테나를 최대 전력으로 방사시키고, 이때 위성 주변에 전자파 센서를 부착하여 전계강도를 측정함으로써 위성으로 입사되는 전자기파의 세기가 적정 레벨 이하인지를 검증하고, 동시에 위성의 운용상태를 확인하여 위성에 영향이 없음을 검증한다. 본 논문에서는 다목적 실용위성 3호의 RFC 시험시 측정된 전계강도를 이론적으로 검증하고, RS 시험시 인가하는 레벨과의 상관관계를 설명한다. RS 시험 레벨의 선정은 위성 안테나의 방사레벨과 관련이 있으며 RFC 시험결과를 검토함으로써 RFC 시험 결과의 유효성과 RF 레벨 요구사항의 적절성을 검증한다.

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

앞으로 건설되는 원전의 계측제어계통은 디지털 기술로 설계될 전망이다. 그러나 디지털 기술을 원전 계측제어계통에 적용하는데 있어서 디지털 기술이 원전의 안전성이나 신뢰도에 영향을 미치지 않는다는 사실을 보증하여야 하며, 디지털계통의 기능과 성능에 대한 확인/검증은 원전에 설치되기 전에 수행되어야 한다. 계측제어 시험검증설비의 목적은 새롭게 개발되는 디지털 제어 및 보호 알고리즘, 경보축약 알고리즘 또는 운전지원계통등의 성능을 검증하기 위함이다. 시험검증설비의 소프트웨어는 웨스팅하우스형 993 MWe 가압경수로를 모델링한 수학적 모델링과 시험검증설비를 운용하기 위하여 필요한 종합운용프로그램으로 구성된다. 하드웨어는 공학용 워크스테이션, 시험용 패널, 개발되는 계통과의 인터페이스를 위한 VXI 인터페이스 모듈, 그리고 공유메모리의 값을 시험대상 시작품으로 전송하는 Ethernet 모듈 등으로 구성된다. 사용자 인터페이스로 할덴 원자로 프로젝트에서 개발된 Picasso 그래픽 도구를 이용한 화면과 60개의 주요변수의 값을 CRT에 표시하는 기능을 제공한다. 계측제어 시험검증설비를 응용한 계측제어계통 시작품은 정상운전 및 과도상태에서 적절한 시험결과를 제공하였다.

• 한국정보처리학회논문지
• /
• 제5권3호
• /
• pp.741-750
• /
• 1998

본 논문에서는 형식 기법을 이용하여 차세대 지능망 응용 프로토콜(INAP:Intelligent Network Application Protocool)적합성 시험 스위트를 생성하는 방법 및 IUT(Implenentation Under Test)시뮬레이터를 구축하여 시험을 수행함으로써 시험 스위트를 검증하는 방법에 관해 기술한다. SDL(Specification and Description Language)과 같은 형식 언어를 사용하여 INAP FSM(Finite State Machine)을 모델링하고 MSC(Message Sequence Chart)로 시험 목적을 기술한다. 기술된 FSM모델과 시험 목적을 검증하기 위해 모의 시험을 거치며, 검증이 완료된 후 시험 스위트로 변환이 된다. 형식 기법을 이용하여 INAP규격을 정확하게 기술할 수 있을 뿐 아니라 시험 스위트를 자동으로 생성함으로써 시간과 비용을 절감할 수 있다. 또한 생성된 시험 스위트를 시험기에 탑재하여 IUT시뮬레이터를 대상으로 시험을 수행함으로써 시험 스위트를 검증할 수 있는 방안을 제시하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 제37회 하계학술대회 논문집 A
• /
• pp.99-100
• /
• 2006

지금까지 국내 디지털 보호계전기의 성능 검증은 동작치 특성 시험 등 정특성시험(steady-state performance) 검증 위주로 수행되어 왔으며, 신규개발 디지털 보호계전기 및 신규 도입 디지털 보호계전기에 대해서는 정특성 시험과 함께 시뮬레이터를 이용한 동특성 시험을 병행하여 왔다. 동특성 시험은 보호계전기에 내장된 계전요소들의 유기적인 성능을 검증할 수 있는 시험으로서 복수 개의 보호계전요소를 탑재하고 있는 디지털 보호계전기를 검증하기 위해서는 필수적인 성능검증 수단이다. 그러나 이러한 장점들과 편리함에도 불구하고 디지털 보호계전기의 성능검증에 사용되는 계통 모델이 실 계통을 정확하게 반영하지 못할 경우 검증 결과의 신뢰성을 보장하기가 어렵다. 본 논문에서는 154kV 송전선로 보호용 디지털 보호계전기의 성능 검증을 위한 기반 구축 과정 및 결과에 대해서 기술한다.

• 항공우주기술
• /
• 제6권2호
• /
• pp.45-51
• /
• 2007

요구분석 및 설계 단계를 거쳐 구현된 탑재소프트웨어는 오류를 제거하고 요구규격에 맞도록 모든 기능이 정확히 구현되었는지 확인하기 위한 여러 가지 시험절차를 거치게 되는데, 일반적으로 단위시험, 통합시험, 검증시험 순으로 진행된다. 단위시험은 보통 개인 PC 환경에서 타겟 시뮬레이터를 이용하여 수행되고, 통합 및 검증시험은 목표시스템과 유사한 조건에서 수행할 수 있도록 하드웨어 환경을 제공하는 소프트웨어 검증장치를 이용하여 수행된다. 본 논문에서는 차세대 저궤도위성 탑재소프트웨어 시험환경에 대한 것으로 시험절차와 시험도구, 탑재소프트웨어 검증장치에 대하여 기술한다.

• 대한기계학회논문집A
• /
• 제35권6호
• /
• pp.683-691
• /
• 2011

원자력발전소 용 솔레노이드 밸브의 국산화에 필수 과정인 기기검증 기술을 개발하기 위해 관련 규정을 분석하고, 시험절차 및 방법, 시험조건, 시험장치 및 허용기준 등을 구체화하였다. 솔레노이드 밸브의 기기검증 규격은 법규, 가이드, 규정 등의 순으로 계층화되어 있으며, 시험기기와 시험항목에 따라 규정이 세분화되어 있다. 세부 규정인 IEEE를 분석한 결과 기기검증 시험은 크게 기능시험, 일반환경시험 및 사고시험으로 구분되어 있는데, 일반환경시험과 사고시험을 통해 발전소 환경과 동일한 조건에서 솔레노이드 밸브를 노화시킨 후 기능시험에서 노화된 밸브의 성능을 확인하는 방식으로 검증시험을 수행하도록 구성되어 있었다. 본 논문에서 제시한 솔레노이드 밸브의 기기검증 시험절차와 방법은 기기검증 수행자뿐만 아니라 밸브 제조사에게 매우 유용한 기술 자료가 될 것으로 판단된다.

• 한국정보처리학회논문지
• /
• 제5권12호
• /
• pp.3176-3184
• /
• 1998

프로토콜 적합성 시험을 효과적으로 하기 위하여 시험항목을 올바로 기술하는 것은 매우 중요하다. 시험 항목 검증을 자동화한다면 수 작업으로 할 때의 번거로움과 오류를 피할 수 있다. 이 연구에서는 이러한 수 작업으로 생성된 시험 항목의 검증을 자동화함으로써 오류를 줄이고, 적합성 시험의 생산성을 향상시키기 위한 시험 항목 검증 도구를 설계하고 이를 구현하였다. 검증대상 시험 항목은 TTCN형태이고 검증의 핵심기반은 reachability tree analysis 방법이다.

• 전자공학회논문지
• /
• 제53권11호
• /
• pp.130-138
• /
• 2016

본 논문은 무기체계의 오류를 검증할 때 필요한 실시간 시스템 병렬시험 기법에 대해서 제안한다. 이전에 국방분야에서 사용되는 야전시험장비는 무기체계를 순차적으로 검증하는 방식을 사용하였다. 오류를 순차적으로 검증하는 방식은 내부유닛간의 상호 간섭에 의한 부분의 오류검증은 할 수 없었다. 이러한 이유로 인해 본 논문에는 기존에 무기체계 오류 검증 시 사용되는 순차적 시험기법이 아닌 임베디드 장치를 이용한 실시간 시스템 병렬시험 기법을 제안한다. 임베디드 모듈이 탑재된 스위칭 제어카드는 병렬시험을 수행하고 그 결과를 사용자의 제어장치로 전달한다. 이러한 방식은 기존의 방식에 비해 좀 더 정확하게 무기체계 내부의 상호 간섭에 대한 오류 검증을 할 수 있다.