• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1473-1476
• /
• 2004

위성의 개발을 위해서는 오랜 개발기간과 많은 예산, 축적된 기술이 요구된다. 또한 위성에는 다양한 분야의 기술이 사용되어지기 때문에 각 서브시스템마다 독자적인 개발환경을 구축할 필요가 있다. 특히 위성의 제어, 임무수행 및 지상과의 통신 등을 담당하는 탑재소프트웨어는 위성의 용도 및 목적에 따라 개발환경이 크게 달라진다. 실시간 운영체제는 무엇을 사용하는지, 개발 및 검증을 위한 도구로 어떤 프로그램을 사용하는지, 내외부의 인터페이스는 어떠한 방식으로 수행할지, 새로운 기능의 CPU나 하드웨어에 대한 제어 등 위성의 탑재소프트웨어를 개발하기 위해서는 다양한 사항들이 고려되어야 한다. 새로운 위성을 개발할 경우 신기술의 적용과 새로운 위성시스템의 검증 및 개발을 위한 개발검증장비가 요구되며, 위성시스템의 변경 때마다 개발검증장비를 새로이 구축하게 되면 많은 기간과 막대한 비용이 위성개발 시마다 소요된다. 위성선진국에서는 다양한 위성의 개발 시 비용절감 및 개발기간 단축을 위하여 범용위성용 개발검증장비를 개발하여 이용하고 있는 추세이다. 국내에서는 다목적실용위성 1 호가 발사되어 성공적으로 임무를 수행하고 있으며 다목적 실용위성 2 호가 개발되어 현재 통합 및 검증시험이 진행 중이다. 그러나 새로운 위성시스템의 사전검증 및 신기술의 적용을 위한 범용위성 시스템 테스트베드에 대한 기술은 미비한 실정이다. 이러한 범용위성용 개발검증장비의 기반기술을 확보하기 위하여 현재 위성전자전산시스템 개발검증장비에 대한 연구가 수행되고 있다. 본 논문에서는 현재 수행되고 있는 PowerPC를 이용한 위성 탑재소프트웨어 개발검증시스템의 설계 및 개발에 대하여 설명한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.8C
• /
• pp.1203-1209
• /
• 2004

A huge growth the wireless internet services, which are based on the wireless mobile network technology and internet technology, poses demand for the end-to-end secure connections. Restrictions of wireless mobile environment and mobile devices make difficult to adapt present secure protocols to wireless internet services. In this paper, we analyze existing certificate status verification methods in WPKI and propose a new method, adding a observer information in handshake protocol. The method with observer makes it more efficient for relying parties to verify both the current status of the X.509 certificate and the short-lived WTLS server certificate.

• Journal of Aerospace System Engineering
• /
• v.17 no.6
• /
• pp.133-143
• /
• 2023

This paper describes the system integration laboratory's requirement analysis, implementation, and verification for multiple-scenario unmanned aerial vehicle operation and control technology using a manned rotorcraft for Manned-Unmanned Teaming. System integration laboratory consists of manned rotorcraft flight simulation, unmanned aerial vehicle flight and mission equipment simulation, ground control system simulation for unmanned aerial vehicle control and change in the control authority between the ground control system and manned rotorcraft, and operation and control system for mission plan's writing and transmission. Each implemented simulation verified the requirements through software and hardware integration test.

• Journal of the KSME
• /
• v.51 no.7
• /
• pp.35-39
• /
• 2011

이 글에서 중소형 원자로인 스마트 원자로의 표준설계인가를 받기 위하여 수행한 기계 기술검증시험, 원자로 계통의 안전성 평가에 필요한 자료를 생산하기 위하여 수행한 시험, 그리고 기술현안 사항을 해결한 시험에 대하여 소개하고자 한다.

• Journal of Korean Society of Archives and Records Management
• /
• v.12 no.1
• /
• pp.7-32
• /
• 2012

When migrate electronic records, the validation of the required metadata in electronic records and verified with the metadata in the document are also important. This paper presents a method and implements a tool to extract data from files in various formats and use them to validate metadata associated with the files in electronic records. Compared to other metadata extraction tools, especially developed in foreign countries, the standard form of documents used in Korean government is taken into account and metadata is extracted from the content of files. The tool compares the extracted data to encapsulated metadata for validation.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2021.06a
• /
• pp.116-119
• /
• 2021

국내 이동통신은 4 세대(4G)에서 5 세대(5G)로 전환되는 과정에 있으며 행정안전부는 기존 긴급재난문자 서비스를 5G 망으로 고도화하기 위해 준비하고 있다. 재난문자 길이의 확장, 송출 지역 세분화, 외국어 문자 지원 등을 긴급재난문자 서비스에 포함하기 위해 국내외 표준화와 검증 시스템 구축이 준비되고 있다. 본 논문에서는 해외 사례 분석을 통해 국내 5G 망으로 고도화된 긴급재난문자를 서비스하기 위해 요구되는 검증 요구사항을 정의하고 있다. 이를 기반으로 긴급재난문자 서비스를 검증할 리빙랩이 구축될 예정이다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.575-578
• /
• 2002

원자력 중장기 연구개발 일환으로 수행중인 액체금속로 설계기술개발 프로젝트는 개념 설계분야와 기반기술구축 분야로 구성되어 있는 상호 긴밀한 연계가 강조되기 프로젝트이다. 대과제를 중심으로 각 세부과제 및 분야 내에서 시스템별 인터페이스 등이 종합적으로 관리되어야 할 필요성이 있는 프로젝트이다. 액체금속로 설계기술개발 프로젝트의 연구생산성 향상을 위해 공정계획을 수립하고, 프로젝트 수행 중에 산출되는 연구결과물을 검증하여, 검증된 자료를 프로젝트 수행원들에게 공유할 수 있게 Web WorkFlow를 이용한 자료 검증/공유시스템을 개발하여 운영하고 있으며, 최종적으로 검증된 자료는 데이터베이스를 구축하여 활용하고 있다. 이렇게 함으로써 한국원자력연구소에서 개발증인 액체금속로 설계 기술개발 프로젝트를 최적화된 계획 및 관리를 통하여 연구개발을 수행할 수 있을 것으로 예상된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04b
• /
• pp.849-852
• /
• 2002

전통적으로 소프트웨어 공학분야에서는 소프트웨어 설계 및 개발을 위한 자동화도구와 정형화기법이 적용되었으며, 안전한 보안시스템의 개발을 위해서도 수학적인 명세와 검증도구를 사용하는 경우, 보다 안전하고 완전한 보안시스템을 구축할 수 있다. 본 연구는 정형화 명세언어인 Z를 이용하여 보안시스템을 기술하고, 기술된 명세를 소프트웨어 검증도구를 이용하여 보안시스템이 제공하는 보안특성 만족 여부 점검을 목적으로 한다. 이를 위해 본 논문에서는 수학적으로 기술된 시스템에 대한 명세를 Z스키마로 변환하는 변환규칙을 기술하고, 이와 함께 Z언어 검증도구인 Z/EVES를 이용한 검증결과를 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1385-1388
• /
• 2012

국가R&D사업의 추진결과와 활동현황에 대한 종합적이고 다각적인 분석을 위해 1999년도부터 매년 모든 국가R&D사업에 대해 주요 연구 성과인 논문, 특허, 기술료 등에 대한 국가R&D 조사분석 자료 수집이 실시되고 있다. 국가R&D 표준정보 수집을 위해 2003년도에 '국가연구개발사업 종합관리시스템(CORDI, 현재 SIMS)'이 구축되었고, 매년 국가R&D 조사분석 자료들의 수집 분석이 실시되고 있으나, 전자기록의 속성을 갖는 국가R&D 조사분석 자료, 특히 조사분석의 검증자료에 대한 장기적 보존을 위한 관련 연구는 전무한 상태이다. 따라서 본 연구는 국가R&D 조사분석의 검증자료에 대한 장기적 보존과 나아가서는 평가의 활용 및 정보 시스템간의 상호운용성을 높이기 위한 국가R&D 조사분석 검증자료의 보존 메타데이터 모델을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.932-933
• /
• 2013

단순 부품부터 계통까지 기존의 아날로그 제품들이 최근 들어 펌 웨어(Firmware)와 고수준의 컴퓨터 언어로 구현된 응용 소프트웨어를 포함하는 디지털 설비로 바뀌고 있다. 따라서 어느 때 보다 소프트웨어의 확인 및 검증의 중요성이 대두되고 있으며, 이를 위해 학계뿐만 아니라 국제표준 기관에서 확인 및 검증을 위한 지침을 제시하고 있는 실정이다. 본 논문은 원자력발전소 출력을 제어하는 제어봉제어계통의 업그레이드와 관련하여 IEEE 1012 에 따라 수행된 독립 확인 및 검증 업무를 요약하고, 이를 통해 얻은 교훈을 기술한다.