• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.70-72
• /
• 2002

본 논문에서는 기존 파일 시스템의 일관성 검사 프로그램 및 클러스터 파일 시스템의 특징 분석을 통해 클러스터 파일 시스템의 일관성을 검사하는데 필요한 프로그램 설계 요소 및 구현 방법에 관해 논한다. 나아가 이러한 설계 방법에 따라 구현된 프로그램을 실제 상용화된 클러스터 파일 시스템에 적용함으로써 검사 프로그램의 기능을 검증한다 이를 위해 뮤테이션 테스트(Mutation Test) 기법을 도입하여 일관성 검사 프로그램의 신뢰성 검증 방법을 고찰하고 그에 따른 테스트 결과를 살펴본다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.1634_1635
• /
• 2009

국산 개발 분산 제어시스템의 발전 설비에의 적용을 위해서는 시뮬레이터를 이용한 제어 시스템의 기능 및 신뢰성 등의 검증이 요구되어진다. 본 논문에서는 제어시스템 검증용 시뮬레이터를 개발하는데 있어서, 제어 모델 중 기동 초기와 급격한 부하 변동시 활용되어지는 터빈 바이패스 계통의 제어 로직을 구현하고, 발전소 모델과의 연계를 통한 시뮬레이션을 통해 구현한 제어 로직의 효용성을 보인다.

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

소프트웨어 개발과정에서 사용자 요구사항을 정확히 만족하기 위해서는 사용자 관점에서 요구사항 검증을 위한 방법이 필요하다. 이것은 사용자의 요구사항이 시스템 개발자에게 적절히 반영되어 개발시스템이 보다 더 효과적으로 설계 및 구현이 가능하여 사용자가 요구하는 품질의 소프트웨어 시스템을 구현할 수 있기 때문이다. 본 논문에서는 시스템 구현 전 단계에서 사용자 요구사항을 효율적으로 검증할 수 있는 RV-UI 모델을 제안한다. RV-UI 모델 시스템은 상용화된 사용자 인터페이스를 프로세스별 기능 모델로 표준화하였고, 카노(Kano)의 이원적 품질이론을 적용한 인터페이스를 통해 명확한 사용자 요구사항의 검증과 체계적인 요구사항의 형상관리를 하도록 설계하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2014년도 춘계학술대회
• /
• pp.745-747
• /
• 2014

본 논문에서는 OFDM 기반 무선 백홀 시스템에 적용 할 수 있는 채널 추정 및 $2{\times}2$ MIMO 알고리즘을 VHDL로 구현하여, 무선 백홀 시스템용으로 제작한 보드의 FPGA에서 신호 검출 성능을 검증한다. 이를 위해, 먼저 매틀랩(Matlab) simulink를 이용하여 채널 추정 및 $2{\times}2$ MIMO 알고리즘을 floating-point와 fixed-point 모델로 설계하여 성능을 검증하고, 그 다음 Modelsim을 이용하여 VHDL로 구현한다. 구현된 알고리즘의 성능 검증을 위해 설계한 simulink 모델, Modelsim 시뮬레이션, ISE Chipscope, 그리고 오실로스코프로 측정한 결과들을 비교한다. 비교결과, Modelsim 시뮬레이션, ISE Chipscope, 그리고 오실로스코프로 측정한 결과들이 서로 동일함을 확인하였으며, simulink 모델의 결과와는 약간의 오차를 보임을 확인하였다.

• 컴퓨터교육학회논문지
• /
• 제9권4호
• /
• pp.43-54
• /
• 2006

웹 기반 학습 시스템의 사용자 요구는 일반적으로 기능 요구와 비기능 요구로 구분된다. 그 중 사용자가 원하는 품질 관련 비기능 요구는 개발자가 반드시 검증해야 할 주요 사항이지만 기능 요구와는 달리 확인 과정에 많은 어려움이 있었다. 본 논문은 웹 기반 학습 시스템의 개발에 적용할 수 있는 검증 기법으로서 품질 관련 비기능 요구사항이 적절히 구현되었는지를 검증하는 방법을 제안한다. 특히 효율성, 사용용이성과 같은 품질 요구가 설계에 영향을 주는 과정을 추적해 얻은 정보를 검증에 이용함으로써 이를 비기능 요구가 적절히 구현되었는지 확인할 수 있게 한다.

• 정보처리학회논문지C
• /
• 제11C권5호
• /
• pp.569-576
• /
• 2004

기존의 공개키 암호알고리즘의 표준적합성에 대한 검증도구는 유선환경에 치중되어 개발되어 왔으나, 무선환경에서 사용되는 타원곡선 알고리즘의 표준적합성 검증도구에 대한 개발은 미약한 실정이다. 유선 환경보다 무선 환경에서 정보보호 시스템간의 상호연동성 확보 및 사용자 편익을 증대시키기 위한 검증도구의 개발이 더욱 중요하다. 따라서 본 논문에서는 X9.62 기술표준을 정확하게 준용하여 구현되었는지를 테스트할 수 있는 타원 곡선 암호 알고리즘의 검증도구를 설계 및 구현하였다. 구현된 검증도구는 ECDSA, ECKCDSA, ECDH 등을 이용한 모든 정보보호 제품에 적용할 수 있다. 아울러 충분한 테스트 항목을 통해 검증의 정확성을 높였으며, 검증도구와 김증 대상이 온라인상에서 검증될 수 있도록 하였다.

• 한국통신학회논문지
• /
• 제26권5A호
• /
• pp.889-901
• /
• 2001

본 논문에서 Multiprotocol Label Switching 시스템을 위한 Label Distribution Protocol의 개발과 분석에 관해서 기술한다. 먼저 Gigabit Switched Router를 만들기 위해서, 상용화시 Carrier Class 제품에 적용하기 위한 LDP의 구현시 고려해야 될 사항에 대해 살피고, 상세 설계를 제안한다. IETF 표준에 의거한 LDP의 구현을 위한 상세 설계는 프로토콜 상태기계의 유도 트리와 프로세스 대수를 사용한 형식적 명세를 사용하여 제시한다. 본 논문에서는 제시된 유도트리와 프로세스 대수를 사용한 프로토콜 동작의 분석을 통해, 구현된 LDP의 상호 연동성과 완전성, 생존성, 도달성, 안전성을 검증한다. 또한 이를 사용하여 구현된 LDP가 기존 상용 제품들과의 연동성과 그 동작의 신뢰성을 확보할 것을 기대한다. 결과적으로 구현된 LDP의 프로토콜 동작들의 검증을 제공한다.

• 대한전자공학회논문지SD
• /
• 제43권2호
• /
• pp.96-104
• /
• 2006

본 논문에서는 VLSI구현을 위한 CAN 프로토콜 컨트롤러의 최적화된 구조를 제안하였으며, 제안된 구조를 이용하여 VLSI로 구현하였다. 또한 많은 시간이 소요되는 검증의 문제점을 보완하기 위하여 3단계 검증기법을 제안하였으며 이를 통하여 빠른 속도의 검증이 가능하게 되었다. 제안된 구조는 기존의 CAN 프로토콜 컨트롤러보다 적은 사이즈의 게이트 수를 갖고 있을 뿐만 아니라 호스트 프로세서와의 연결이 용이하게 구성되어 있기 때문에 비용 및 효율성에서 장점을 갖고 있고, 제안된 3단계 검증기법은 반복되는 검증의 수를 줄임으로써 최적화된 검증을 수행하도록 구성되어 있기 때문에 빠른 속도의 검증이 가능하다. 설계된 CAN 프로토콜 컨트롤러는 0.35마이크론 CMOS공정을 이용하여 제작되었다.

• 항공우주시스템공학회지
• /
• 제17권6호
• /
• pp.133-143
• /
• 2023

본 논문에서는 유무인 협업을 위한 유인회전익기에 의한 다수 무인기 운용통제기술의 요구도 검증을 위한 통합검증환경의 요구도 분석, 구현 및 검증에 대해 기술하였다. 통합검증환경은 유인회전익기 비행 모의, 무인항공기 비행 및 임무장비 모의, 무인항공기 제어 및 유인회전익기와의 통제권 변경을 위한 지상통제장비 모의, 유인회전익기 및 무인항공기 임무계획 작성 및 전송을 위한 운용통제장비 모의로 구성된다. 각각 구현된 구성품들은 소프트웨어/하드웨어 통합시험을 통해 요구도를 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.118-120
• /
• 2003

PtolemyII의 CSP 도메인은 병렬 시스템을 효과적으로 명세할 수 있는 프로세스 알제브라 언어인 CSP를 구현한 것이다. CCS도 프로세스 알제브라 언어로써 정형적으로 병렬시스템을 명세하고 검증할 수 있다. 이 두 언어는 비슷한 목적으로 가지고 개발되었으나 통신의 세부적인 부분의 개념에 있어서 차이가 존재한다. 특히 CCS 를 기반으로 하여 개발된 ACSR 의 경우 실시간 시스템을 정형적으로 명세하고 검증하기 위해 필요한 시간과 자원의 개념을 추가하였다. 본 논문에서는 ACSR 도메인을 PtolemyII에 구현하기 위한 단계적인 방법으로 CCS와 CSP의 차이점을 밝혀서, 기존의 CSP 도메인의 Rendezvous 알고리즘을 CCS 기반의 통신이 이루어 질 수 있도록 수정하여 PtolemyII에 CCS 도메인을 구현하였다.