• 디지털융복합연구
• /
• 제8권4호
• /
• pp.205-213
• /
• 2010

오늘날 정보자원관리는 정보시스템 조직에 있어서 매우 중요한 요소이다. 따라서 민간부문 뿐만 아니라 많은 공공기관 역시 정보자원에 대한 관리를 강화하고 있다. 특히, 이러한 정보자원관리의 핵심 요소 중 하나가 서버의 성능관리이다. 따라서 서버의 성능을 결정하는 것은 서버의 구매조직에 있어서 중요한 이슈이다. 본 논문에서는 공공부문 정보화사업을 중심으로 서버의 성능측정 및 검증, 성능 측정 관련 국내 현황, 통합전산센터의 사례들 토대로 공공부문의 도입서버의 성능측정 및 검증 관련 이슈와 문제점 등을 살펴보고 성능측정 및 검증 관련 이슈와 문제점에 대한 해결방안으로 서버 성능에 영향을 미치는 요소를 재시하였으며, 아울러 공공부문의 환경적 요인을 고려한 서버의 성능측정 및 검증방안을 제시한다.

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

클라우드 컴퓨팅 서비스 환경에서 인증 및 접근 제어와 같은 여러 보안 이슈가 발생하고 있다. 특히, 클라우드 컴퓨팅 환경에서 다양한 자원에 접속을 할 경우, 통합적으로 관리 및 제어가 가능한 인증 및 접근제어 모델이 필요하다. 이를 해결하기 위해서, 본 논문에서는 상황인식 기반의 통합 인증(SSO) 및 접근제어 모델을 제안하고, 이를 설계 및 구현함으로써, 클라우드 컴퓨팅 환경에서 유연하고, 편리한 보안 시스템을 검증하고자 한다.

• 항공우주기술
• /
• 제6권2호
• /
• pp.45-51
• /
• 2007

요구분석 및 설계 단계를 거쳐 구현된 탑재소프트웨어는 오류를 제거하고 요구규격에 맞도록 모든 기능이 정확히 구현되었는지 확인하기 위한 여러 가지 시험절차를 거치게 되는데, 일반적으로 단위시험, 통합시험, 검증시험 순으로 진행된다. 단위시험은 보통 개인 PC 환경에서 타겟 시뮬레이터를 이용하여 수행되고, 통합 및 검증시험은 목표시스템과 유사한 조건에서 수행할 수 있도록 하드웨어 환경을 제공하는 소프트웨어 검증장치를 이용하여 수행된다. 본 논문에서는 차세대 저궤도위성 탑재소프트웨어 시험환경에 대한 것으로 시험절차와 시험도구, 탑재소프트웨어 검증장치에 대하여 기술한다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2022년도 춘계학술대회
• /
• pp.408-409
• /
• 2022

슬릿을 통한 표면파 통신 가능성을 시험 검증하고 이를 통한 선박 밀폐구역에서의 선박 IoT 무선통신 시스템 구현 방안을 고찰하기 위해 선박 밀폐구역에서의 표면파 통신 환경을 구현하였고, 슬릿의 크기, 모양, 재질 변화 조건에 따라 표면파 통신 가능 여부와 전송속도 변화를 확인하였다.

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

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

• 전자공학회지
• /
• 제23권11호
• /
• pp.23-33
• /
• 1996

본 논문은 원판과 전용 CAD 틀로 구성되는 FPGA시스템을 개발하는데 있어서 서로 다른 요소 기술들의 관계와 이들 요소 기술들과 시스템성능의 관계를 모델하여 시스템 사양을 만족하기 위하여 가장 효율적인 방법을 찾게하는 방법에 관한 것이다. 본 논문에서는 실제로 개발된 시스템을 예로 하여 FPGA시스템 개발에서 고려해야 할 점들을 고찰하였다. 새로운 FPGA 시스템의 개발 순서는 먼저 개발할 FPGA의 응용 분야를 결정하고, 그 응용 분야에 필요한 시스템 사양에 맞게 개발한 요소 기술들과 그 기술들의 범위를 정한다. 개발 흐름도를 이용하여 이 요소 기술들의 연관 관계를 수직적으로는 시스템 성능에 미치는 영향을 모델링하고 수평적으로는 요소 기술간의 서로 미치는 영향을 모델링 하여 시스템 사양을 만족하기 위한 최적의 해를 구한다. 이때 최종적인 FPGA 시스템을 평가하고 검증할 수 있는 방법을 결정한다. 요소 기술들이 개발 됨에 따라 좀 더 구체적이고 정확한 모델에 의해 전체 시스템의 성능은 평가되고 검증될 수 있다. 이러한 방법과 환경은 FPGA 시스템을 빠르고 효율적으로 개발할 수 있게 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (3)
• /
• pp.430-432
• /
• 2002

다목적실용위성 2호 FSW(Flight Software)의 개발단계에서 통합 및 시험, 검증시험을 위해 실제 위성시스템과 유사한 인터페이스를 제공하는 개발도구인 STB(Software Test Bed)가 제작되었으며, 제작된 STB를 통한 FSW의 검증시험 및 분석을 지원하기 위한 프로그램으로서 구문분석 프로그램을 이용한 VTSP(Verification Test Script Parser)의 개발이 필요하다. 본 논문에서는 구문분석 도구인 FLEX와 BISON을 이용하여 FSW가 실제시스템 상에서 요구조건에 따라 수행되고 있는지를 자동적으로 검증하기 위해 C 언어와 유사한 사용법을 가지며, 다양한 검증시험 환경에 적합한 VTSP를 개발하기 위한 전체적 개발환경 및 VTSP의 기능에 대해 소개한다.

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

메타버스는 다수 사용자의 협업이 가능한 3 차원 가상현실 환경을 제공한다. 메타버스 공간에서의 현실과 연결된 혹은 현실이 모사된 실시간/비실시간 시뮬레이션은 비용-효율적인 이점을 가진다. 연동-시뮬레이션은 서브시스템들의 통합 시뮬레이션으로, 메타버스 공간에서의 연동-시뮬레이션을 위해 데이터-레벨, 시스템-레벨, 서비스레벨에서 기술 성능 검증 및 메타버스 윤리 검증이 필요하다. 개별 서브시스템이 윤리적으로 동작하는지 뿐만 아니라 연동된 시스템의 활용도 윤리적인가를 살펴보아야 한다. 알고리즘 및 시스템 정책이 반영되어 검증된 모델은 메타버스의 더 적은 위험성을 가지고 자동화된 디지털 사회 체계나 현실세계의 시스템에 적용되어 활용될 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
• /
• pp.244-246
• /
• 2006

최근 들어서 생물학, 건설, 토목, 의학, 화학, 항공 등 다양한 과학 분야에서 효율적인 공동 연구를 돕기 위해서 그리드 기반 데이터 통합을 위한 많은 연구가 진행되고 있다. 하지만 각 분야에서 사용하는 이질적인 형식의 데이터를 원활히 통합하는 것은 매우 어려운 문제이다. 이러한 측면에서, XML은 이질적인 시스템 간 데이터 공유의 수단으로서 광범위하게 사용되고 있으나, 데이터를 의미적으로 통합하는데 에는 한계가 있다. 이 문제를 해결하기 위해서, 본 논문에서는 그리드 환경에서 XML Schema 에 기반을 둔 이질적인 데이터 소스들을 의미적으로 통합하고 검색하는 방법으로서 RDF/RDFS 기반의 온톨리지 매핑을 통한 통합 검색 방안을 제안한다. 우리가 제안하는 방법은 특히 데이터를 XML Schema를 이용해서 표현하기 때문에 원래 데이터소스에 대한 수정 없이도, XML Schema 기반의 구조적 검색뿐 아니라, 온톨로지 기반의 의미적인 데이터 통합 및 검색을 가능하게 한다. 우리는 이 방법을 토목 분야의 시스템에 적용하여 검증하였다.

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

위성의 개발 및 제작에는 많은 비용과 기간이 소요되며, 일반적으로 사용되는 장비들과는 전혀 다른 우주환경에서 임무를 수행하게된다. 위성의 성공적인 임무완수를 위해서는 철저한 사전검증 작업들이 필요하게 된다. 특히, 위성의 궤도, 자세를 제어하고 실제적인 임무수행을 관할하는 위성탑재소프트웨어에 대한 완벽한 검증이 필요하다. 2004년 발사를 목표로 하고있는 다목적실용위성 2호 FSW(Flight Software)의 개발단계에서 소프트웨어의 통합 및 시험, 검증시험을 위해 실제 위성시스템과 유사한 인터페이스를 제공하는 개발도구인 STB(Software Test Bed)가 제작되었으며, 제작된 STB를 통한 FSW의 검증시험 및 분석을 지원하기 위한 프로그램으로서 구문분석 프로그램을 이용한 VTSP(Verification Test Script Parser)의 개발이 이루어졌다. 본 논문에서는 이러한 STB와 VTSP에 대한 전반적인 소개와 함께 개발된 STB와 VTSP를 이용하여 실제 위성탑재소프트웨어를 검증하기 위한 시험환경에 대해 알아보고자 한다.