• 한국전자파학회논문지
• /
• 제24권8호
• /
• pp.791-797
• /
• 2013

본 논문은 자동차 부품의 EMC 규격인 CISPR25의 ALSE 검증 방법에 관하여 새로운 제안을 하였다. CISPR-16은 NSA와 VSWR 방법을 이용하여 챔버 성능을 검증하도록 하고 있다. 그러나 CISPR25의 ALSE는 아직까지 챔버 검증에 관한 표준 방법이 없다. 본 논문은 이러한 관점에서 CISPR D/A JTF에서 논의가 되고 있는 롱-와이어 안테나 방식의 검증 방법을 기반으로 개선된 성능 검증 방법을 제안하고자 한다. 기존에 논의된 롱-와이어 안테나 방식은 길이 500 mm의 안테나를 제안했지만, 본 논문에서는 1,700 mm 안테나 길이를 제안하였으며, 정합 조건에 따른 영향도 평가와 기존에 제안된 방법과 관련된 문제점 및 중요 파라미터들에 관하여 검증 및 개선 방안을 제안하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.2007-2010
• /
• 2002

본 연구는 UML(Unified Modeling Language) 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검증하는 방법에 관한 연구이다. 일관성은 하나의 요구사항으로 표현된 여러 가지 UML 다이어그램이 통일된 의미로 표현되었는가를 나타내는 성질이고, 정확성은 사용자가 작성한 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 정확성을 검증하기 위해서는 관계를 가지는 다이어그램들의 관계요소를 파악할 필요가 있다. 메타모델을 유도한 후에는 각 메타모델을 기초로 일관성 및 정확성 검증 규칙을 유도해 내고 검증의 자동화를 위하여 정형적 명세로 표현한다. 본 연구에서는 다이어그램별로 작성한 메타모델에서 규칙을 유도하고 그러한 규칙을 OCL(Obiect Constraint Language) 형태로 표현하여 검증하는 방법을 제안한다.

• 한국에너지공학회:학술대회논문집
• /
• 한국에너지공학회 1997년도 추계학술발표회 논문집
• /
• pp.32-37
• /
• 1997

안전조치 측면에서 관심의 대상이 되어온 중수형 원전의 건식저장고 및 사용후 핵연료 이송 검증을 위한 안전조치 접근방법이 국가 계량관리 검사의 이행을 위하여 개발되었다. 이는 IAEA 사찰장비를 활용하지 못하는 우리나라의 현실을 반영하여 자체 개발된 비파괴검증장비가 이용되며, IAEA 안전조치 기준을 만족시킬 것으로 기대된다. 건식저장고에 대한 국가 계량관리 검사기준은 자체 개발된 비파괴검증장비와 봉인에 의존하는 기준이 제안되었으며, 검증활동은 시설운영자의 부담경감을 위하여 IAEA 사찰이 실시되는 기간동안 동시에 실시되도록 되어 있다. Transfer campaign 검증을 위하여 3명의 국가 계량관리 검사관이 검증활동에 참여하게 되며, 이를 통하여 이송작업의 연속성 유지 및 시설운영자의 부담경감 등이 달성됨과 함께 사참량의 감소가 기대된다. 본 논문은 국가 계량관리 검사의 시작과 함께 현실적인 어려움을 극복하면서, IAEA의 안전조치 기준을 만족하는 안전조치 접근방법을 제시하고 있으며, 안전조치 목적을 보다 적합하게 달성할 것으로 기대된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.623-626
• /
• 2001

최근 휴대폰단말기, PDA 와 같은 내장형시스템에 필수적으로 사용되고 있는 SoC(System On a Chip)에 대한 설계에서는 HW/SW 동시설계를 통한 설계생산성 향상이 필수적이다. 이에 따라서 설계검증에서도 HW/SW 통합검증의 중요성이 매우 커지고 있다. 본 논문에서는 이와 같이 내장형시스템을 위한 HW/SW 통합검증을 효율적으로 수행 할 수 있는 방법들인 co-simulation 과 co-emulation 및 co-prototyping 에 대하여 이들 방법들의 장단점과 더불어 이들을 통합한 새로운 검증방법인 집적 동시-검증(integrated co-verification) 기법에 대하여 논하기로 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.865-867
• /
• 2003

최근 보안성의 취약점을 이용한 보안 사고들이 증가하고 있다. 이러한 보안적 취약점을 극복할 수 있는 방법으로 정형적 설계 및 검증이 있으며 그 필요성은 국외뿐만 아니라 국내에서도 점차적으로 늘어나고 있다. 고등급의 보안 시스템을 개발하기 위해서는 정형화된 설계 및 검증 방법론을 사용해야 하지만 국내에서는 아직 정형적 설계 및 검증 방법에 대한 이해가 부족할 뿐만 아니라 개발자 수준에서 보안성을 보다 쉽게 설계하고 안전성을 검증, 평가 할 수 있는 자동화 도구도 갖추어지지 않은 실정이다. 본 논문에서는 기존의 보안성을 정형적으로 설계하고 검증한 사례를 조사, 분류하여 국내 보안 시스템 개발자들이 활용할 수 있는 가이드를 만드는데 근간을 두고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.638-640
• /
• 1999

객체지향 방법의 초기 단계인 객체지향 분석은, 문제 기술서에서 사용자 요구 사항을 실 세계의 개념과 도메인 지식을 통하여 객체 관점에서 모델링하고, 객체 지향 요구 명세를 생성하는 절차이다. 기존에 제안된 객체 모델링 방법론에서 분석 단계의 정적 모델링은 시멘틱 모델 등의 풍부한 시멘틱을 제공하여 모델과 모델링의 많은 부분들을 정형화할 수 있었다. 그러나 대부분의 방법론들의 분석과정은 동적 모델의 정형화가 미흡하다. 본 논문에서는 시스템의 정적인 구조를 검증할 수 있는 정보 트리 모델에 동적인 행위 정보를 포함하도록 확장하고, 검증 절차를 제시함으로써 시스템의 동적 행위를 검증할 수 있게 하였다. 또한, 객체 지향 요구 명세의 동적인 행위에 대한 검증은 확장 정보트리를 사용하여 use case와 시나리오를 추적하면서 검증한다.

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

프로그램 신뢰성을 높이기 위한 방법 중 하나로 쓰이는 것이 명세 된 언어의 검증이다. 명세 된 언어를 검증하기 위해 소스 프로그램을 논리식으로 바꾸어 검증하는 방법을 사용한다. 소스 프로그램 뿐만 아니라 바이트코드 역시 프로그램 신뢰성을 높이기 위해서 검증이 필요하다. 본 논문에서는 바이트 코드의 검증을 위해 바이트코드의 정보를 가지고 있는 중간언어의 verification condition을 생성하는 방법을 보인다.

• 한국정보과학회논문지:데이타베이스
• /
• 제34권2호
• /
• pp.153-165
• /
• 2007

XML은 웹 데이타 표현 및 교환을 위한 표준으로 많은 응용 분야에서 널리 이용되고 있다. XML Schema는 표준 XML 스키마로, 정의된 XML Schema에 의거하여 작성된 XML 문서를 ‘유효한 XML 문서’라고 하며 이러한 XML 문서는 갱신이 된 후에도 XML Schema에 대해 유효함이 보장되어야 한다. 본 논문은 갱신 이전에 갱신과 관련된 부분에 대한 유효 검증을 수행하여 불필요한 유효 검증을 제거한 XML Schema 유효 검증 메커니즘인 ‘예상 갱신 부분 유효 검증 기법’과 갱신 별 유효 검증 알고리즘을 제안한다. 또한 XML 데이타와 XML Schema 간의 매핑 방법과 XML Schema 유효 검증을 지원하기 위해 효율적인 스키마 정보 추출을 제공하는 XML Schema 저장 방법을 제안한다. 마지막으로 실험을 통해 스키마 저장 방법에 따른 갱신 별 유효 검증 성능을 비교한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2019년도 춘계학술대회
• /
• pp.464-466
• /
• 2019

원자력 발전소에 사용되는 제어기는 높은 신뢰도를 요구한다. 한국형 디지털 원자력 발전소인 APR1400 (Advanced Power Reactor 1400)을 비롯하여, 과거 많은 원자력 발전소에 FPGA (Field Programmable Gate Array)와 CPLD (Complex Programmable Logic Device, 이하 FPGA로 통칭)가 포함된 제어기가 적용되고 있다. 적용 초기에는 FPGA를 일반적인 IC (Integrated Circuit)처럼 기기검증 및 성능시험으로만 검증을 하였다. 이후 90년대에 들어 FPGA검증에 대한 연구가 시작되면서, FPGA가 칩이 되기 전까지를 소프트웨어로 간주하여 IEEE 1012-2004를 적용하여 소프트웨어 확인 및 검증을 하였다. 현재에는 유럽표준인 IEC 62566을 적용하여 많은 검증을 하고 있다. 이 방법은 현재까지 가장 현명한 방법으로 평가 받고 있다. 이유는 기존의 검증 방법에서 문제가 되었던 SoC (System on Chip)의 특징을 검증하는 방법을 충분히 적용하였기 때문이다. 하지만, IEC 62566은 유럽 표준으로 아직 미국에서는 채택을 하지 않고 있으며, FPGA에 대해서는 IEEE 1012를 적용하는 것을 유지하고 있다. IEEE 1012-2004나 IEC 62566은 기술 표준으로 실무에서는 다양한 방법을 적용하여 기술 표준을 충족시켜서 적용하고 있다. 이 논문에서는 SoC의 검증 방법이 적용된 원자력 안전등급 FPGA에 대한 검증 방법의 절차 및 중요사항에 대해 설명하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (하)
• /
• pp.2077-2080
• /
• 2003

일반적으로 기존의 도메인으로부터 인증서를 검증하는 방법은 CRL(Certificate Revocation List), OCSP(Online Certificate Status Protocol), Freshest CRL, Delta CRL등이 있으나 CRL 검증 방식에 대해서 여러 단점이 부각되었다. 현재 CRL 검증 방법에 대해서 효율적으로 검증하기 위한 방안이 OCSP, Delta CRL등이 제시하여 서비스를 하고 있는 실정이다. 피러나 이런 검증 서비스 시스템에도 한계성이 드러나게 되었고 그 단점을 보완하기 위한 검증 시스템을 채택하여 기존의 인증서 검증 서비스보다 효율적이고 안정적인 시스템을 구현하기 위해 CSMS(Certificate Status Management Server)를 제시한다. CSMS는 OCSP와 같이 실시간으로 검증과 빠른 서비스로 USER에게로의 응답을 위한 서비스를 제공함으로써 전자상거래를 통한 트랜젝션에 적합한 시스템을 위한 것이다.