• Journal of Satellite, Information and Communications
• /
• v.6 no.2
• /
• pp.1-9
• /
• 2011

The Communication Ocean and Meteorological Satellite(COMS), the first geostationary observation satellite, was successfully launched on June 27th in 2010. The raw data of Meteorological Imager(MI) and Geostationary Ocean Color Imager(GOCI), the main payloads of COMS, is delivered to end-users through the on-ground processing. The COMS Image Data Acquisition and Control System(IDACS) developed by Korea Aerospace Research Institute(KARI) in domestic technologies performs radiometric and geometric corrections to raw data and disseminates pre-processed image data and additional data to end-users through the satellite. Currently the IDACS is in the nominal operations phase after successful in-orbit testing and operates in National Meteorological Satellite Center, Korea Ocean Satellite Center, and Satellite Operations Center, During the in-orbit test period, validations on functionalities and performance IDACS were divided into 1) image data acquisition and transmission, 2) preprocessing of MI and GOCI raw data, and 3) end-user dissemination. This paper presents that IDACS' operational validation results performed during the in-orbit test period after COMS' launch.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.42 no.6
• /
• pp.837-842
• /
• 2022

The "Intelligent Railroad Alignment Design Program (ei-Rail) developed in 2013 has been adopted in the planning and the evaluation/validation of design results of oversea railroad construction projects. Target countries of Korean railroad industries requires the operating speed increase with alignment improvement and the double tracking of prevailing single track railroads as well as new railroad construction. This study is to develop an additional module for double tracking project of prevailing single track railroads in the ei-Rail. The developed method is based on the geometrics of prevailing railroad, and the definition of planned project determines the project cost based on the unit cost by work type, and provides the draft design of double track. The module was validated with a oversea case. It is then expected for oversea railroad double tracking project more efficiently in planning and the evaluation of design results.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.366-370
• /
• 2006

정형명세는 자연어의 모호함을 없는 명료한 시스템 설계를 가능하게 한다. 상태차트와 같은 정형명세 된 요구사항은 시뮬레이션이나 정형검증을 통해 요구사항을 실행하여 볼 수 있으며, 더 나아가 여러 가지 특성을 정형검증과 같은 검증 기법으로 검증 할 수 있다. 하지만 자연어 요구사항을 상태차트로 변환하여 다양한 요구사항의 특성을 기술하기 위해서는 상당한 노력과 경험이 필요로 하다. 본 논문에서는 자연어 요구사항을 상태차트로 직접 변환하는 기법을 제안한다. 이를 위해 본 논문에서는 기능적인 요구 사항의 자연어를 분석하고, 또한 소프트웨어 요구사항 기술에 적절하도록 상태차트 문법의 의미를 제안한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.11b
• /
• pp.198-202
• /
• 2002

이동 네트워크 기술의 발달과 이의 활용도가 증가함에 따라 무선 보안 시스템에 대한 연구 및 솔루션 개발이 활발히 진행중이다. 그러나 개발된 제품들의 신뢰성과 안정성을 검증할 만한 평가도구 및 연구가 매우 미비하다. 따라서 본 논문에서는 이동 네트워크 보안 장비들의 안전성을 검증할 수 있는 응용계층 전송 데이터 무결성 평가 도구를 설계 및 구현하였다. 설계된 무결성 평가 도구는 Web서버와 이동 단말간에 전송되는 패킷의 데이터 변조 기능을 수행하는 변조서버 시스템과 무선 보안 시스템의 무결성 모듈이 변조된 데이터의 무결성 위반을 탐지하는지를 검증하는 무결성 검증 시스템으로 구성된다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.380-392
• /
• 1999

객체지향 분석과정중에 오류를 검출하고 일관성을 점검하여 무결성을 유지하는 것은 중요한 일이다. 그러나, 현재의 객체지향 개발 방법론은 객체지향 분석모델들에 대하여 오류 검출과 일관성 점검을 위한 정형화된 방법을 제시하지 못하고 있다. 본 논문은 지식베이스를 이용하여 , 객체지향 분석모델들에 대한 오류와 일관성 검증방법을 제안한다. 제안한 방법은 모형화 단계, 정형화 단계, 검증 단계의 세단계로 이루어져 있다. 모형화 단계에서는 시스템을 분석하여 OMT(Object Modeling Technique)방법론의 세 가지 모델인 객체모델, 동적 모델, 기능모델을 생성한다. 이 단계는 OMT의 분석단계에 해당한다. 정형화 단계에서는 이 세가지 모델들을 Atomic Formula 형태로 정형 명세하여 응용 지식베이스에 저장한다. 검증 단계에서는 오류 검출 규칙과 일관성 점검 규칙을 이용하여 오류를 점검하고 일관성을 유지한다. 그리고 본 논문에서 제안한 점검 방법을 적용하여 ATM(Automated Teller Machine)예제의 분석결과를 검증했다. 제안한 방법을 이용하면 보다 더 신뢰할 수 있는 분석모델을 얻을 수 있을 것으로 기대된다.

• Annual Conference of KIPS
• /
• 2005.05a
• /
• pp.1679-1682
• /
• 2005

최근 SoC를 포함하는 대부분의 임베디드시스템에서는 RTOS가 선택이 아닌 필수적인 구성요소가 됨에 따라 SoC 개발의 초기단계에서부터 RTOS를 도입하는 것이 바람직하다. 하지만, 기존의 범용 RTOS가 제공하는 기능은 대부분 응용 소프트웨어의 개발과 수행을 위한 것으로 SoC 개발 및 검증에는 적합하지 않은 문제점을 가지고 있다. 본 연구에서는 SoC 개발을 위해 운영체제가 만족시켜야할 요구사항을 제시하고, 소프트웨어의 재사용성과 SoC의 검증을 함께 지원하는 VPOS(Verification-Purpose OS)를 개발하였다. VPOS는 초경량의 단순한 계층적 구조(layered structure)를 가지는 RTOS로서 소프트웨어 재사용을 위해 POSIX 표준 API, 유닉스 호환 디바이스 드라이버 인터페이스, HAL 등을 제공한다. 또한 SoC 설계의 검증을 위해 RT 수준의 통합시뮬레이션에 적합한 커널 구조 및 최적화된 코드, 하드웨어 테스트를 위한 쉘 명령어, 응용 소프트웨어의 디버깅을 위한 KREM(kernel resource and event monitoring) 등의 특징을 함께 제공한다.

• Proceedings of the KIEE Conference
• /
• 2001.04a
• /
• pp.63-66
• /
• 2001

원자력발전소는 지진과 같은 자연재해나 극한 운전조건에서 방사능물질이 외부로 누출되는 것을 방지하도록 설계 되어야한다. 따라서 이와 관련된 안전등급기기는 원전설비의 정상운전조건뿐 아니라 원전설계기준 사고조건(DBE, Design Basis Events)에서도 그 안전성 관련 기능이 검증되어야 한다. 본 연구에서는 국내 원자력 발전소의 다양한 환경조건을 만족하며 엄격한 기기검증요건에 따라 당사가 수행한 안전등급(Class 1E) 저압 유도전동기의 개발사례를 중심으로 방사능노출시험, 가속열노화해석 및 시험, 내진해석 및 시험으로 구성되는 기기검증의 절차와 방법을 제시하였다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2018.11a
• /
• pp.333-335
• /
• 2018

대부분의 해양사고는 인적요인에 의한 과실이 대다수이며 이 문제를 해결하기 위해 해양수산부는 국제 e-Navigation의 주도를 위해 한국형 이네비게이션 사업단을 선정하여 연구과제를 수행 중에 있다. 이네비 연구과제의 사고 취약선박 모니터링 지원 서비스는 선박, 해역, 환경의 취약상황을 반영한 항해 위험도를 산출하는 알고리즘을 개발한 바 있으나 개발한 알고리즘의 타당성 검증이 남아있는 상태이다. 이 연구는 개발된 위험도 산출 알고리즘을 검증하고 알고리즘의 지식베이스 및 인자를 검증하기 위한 툴 개발의 타당성을 보이며, 그 개발결과를 보인다.

• Annual Conference of KIPS
• /
• 2004.11a
• /
• pp.283-286
• /
• 2004

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

• Annual Conference of KIPS
• /
• 2003.05a
• /
• pp.397-400
• /
• 2003

FPGA 보드를 이용하여 디지털 논리 설계를 검증하려면 고가의 논리 분석기 장비를 필요로 한다. 본 논문은 FPGA 설계에 대한 검증을 PC에서 직접 입력 데이터를 FPGA 보드 쪽으로 전달하고 그 결과를 다시 PC 쪽에서 GUI 형태로 확인할 수 있도록 구성된, 논리 분석기 기능을 갖는 VHDL 모듈과 소프트웨어의 구현에 관한 것이다. 이와 같은 VHDL 모듈과 소프트웨어 모듈을 활용함으로써 추가 비용 없이 검증 과정을 수행할 수 있다.