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

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

• 한국통신학회논문지
• /
• 제29권8C호
• /
• pp.1203-1209
• /
• 2004

이동통신 기술과 인터넷 기술을 접목시킨 무선인터넷을 이용한 다양한 서비스가 제공되고 있다. 무선 인터넷 서비스의 경우에도 유선인터넷 환경에서와 같은 보안 알고리즘 및 인증 서비스를 활용한 서비스가 제공되어야 하나 무선 단말기의 제약으로 인해 유선 인터넷 기술을 그대로 적용하는 것은 용이하지 않다. 본 논문에서는 무선 인터넷 환경에서 인증서의 신뢰성을 보장하기 위해서 인증서의 상태를 확인하고 검증하는 방법들을 분석하고, 검증정보를 최소화하고 실시간 검증이 가능한 새로운 인증서 상태 확인 및 검증방법을 제안하였다. 제안한 검증방법은 사용자가 폐지된 인증서를 사용 시 옵저버를 이용하여 핸드셰이크 과정에서 옵저버 정보를 추가하여 전송함으로써 실시간 검증 뿐 아니라 인증서 검증으로 인한 전송시간을 절감할 수 있다.

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

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

• 기계저널
• /
• 제51권7호
• /
• pp.35-39
• /
• 2011

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

• 한국기록관리학회지
• /
• 제12권1호
• /
• pp.7-32
• /
• 2012

전자기록물의 이관할 때, 전자기록물의 필수 메타데이터의 검증과 실제 문서에 있는 메타데이터를 이용한 검증도 중요하다. 본 연구에서는 전자기록물에 포함된 다양한 형식의 전자파일 중에서 본문파일에서 메타데이터를 추출하고 항목별로 분류한 후 이관되는 메타데이터 항목과 비교 검증을 위한 기술 개발을 연구하였다. 해외에서 개발된 추출 도구와 달리 국내 전자결재 형식을 감안하여 첨부된 본문파일에서 메타데이터를 추출하는 기술을 개발하였으며, 기록물 문서 메타항목에 저장된 원 메타데이터와 추출 메타데이터간 비교 검증을 수행하는 도구를 개발하였다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송∙미디어공학회 2021년도 하계학술대회
• /
• pp.116-119
• /
• 2021

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

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2002년도 춘계공동학술대회
• /
• pp.575-578
• /
• 2002

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

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

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1385-1388
• /
• 2012

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

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

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