• 한국정보과학회논문지:시스템및이론
• /
• 제35권9_10호
• /
• pp.485-496
• /
• 2008

SoC(System-on-Chip)를 설계함에 있어서 칩의 복잡도 증가로 인하여, RTL(Register Transfer Level)에 기반한 기존의 시스템 성능 분석 및 검증 기법만으로는 점차 짧아지는 '시장 적기 출하(time-to-market)' 요구에 효율적으로 대응할 수 없게 되었다. 이를 극복하기 위하여 설계 포기 단계부터 지속적으로 시스템을 검증하기 위한 새로운 설계 방법이 요구되었으며, TLM(Transaction Level Modeling) 추상화 수준을 가진 하드웨어-소프트웨어(HW-SW) 통합 시뮬레이션이 이러한 문제를 해결하기 위한 방법으로 널리 연구되고 있다. 그러나 대부분의 HW-SW 통합 시뮬레이터들은 다양한 추상화 수준 중 일부만을 지원하고 있으며, 서로 다른 추상화 수준을 지원하는 툴들 간의 연계도 쉽지 않다. 이를 극복하기 위하여 본 논문에서는 HW-SW 통합 시뮬레이션을 위한 다목적 선계 프레임워크를 제안한다. 제안하는 프레임워크는 소프트웨어 응용의 설계를 포함하는 체계적인 SoC 설계 플로우를 제공하며, 각 설계 단계에서 다양한 기법들을 유연하게 적용할 수 있는 동시에, 다양한 HW-SW 통합 시뮬레이터들을 지원한다. 또한 플랫폼을 추상화 수준과 모델링 언어에 독립적으로 설계할 수 있어, 다양한 수준의 시뮬레이션 모델 생성이 가능하다. 본 논문에서는 실험을 통하여, 제안하는 프레임워크가 ARM9 기반의 강용 SoC 플랫폼을 정확하게 모델링 할 수 있는 동시에, MJPEG 예제의 성능을 44%까지 향상시키는 성능 최적화를 수행할 수 있음을 검증하였다.

• 한국항행학회논문지
• /
• 제19권4호
• /
• pp.288-298
• /
• 2015

무인기 상용화를 위해서는 유인기 수준의 안전성을 확보할 수 있는 공중 및 지상 의 충돌경보 및 회피시스템 (sense and avoid or SAA) 개발과 검증이 필요하다. SAA 검증을 위한 비행시험은 높은 시험비용과 사고위험 때문에 많은 시험사례(test case)를 검토하기 어려우므로 시뮬레이션 시험으로 보완하는 것이 필수적이다. SAA 시뮬레이션 시험을 위해 flight simulator, Matlab/Simulink 시뮬레이터와 항전장비 시뮬레이션 모델들이 서로 연동하는 통합 무인기 시뮬레이션 환경을 구축하였다. 사례연구로서 TCAS 충돌경보 simulink 모델을 개발하고 Flight Gear와 연동하여 통합 무인기 시뮬레이션 환경을 구축하였고 이를 encounter model을 이용하여 검증하였다. 통합 무인기 시뮬레이션 환경을 활용하면 항전장비 개발주기의 개념설계 단계부터 부품 및 시스템의 성능/신뢰성 분석을 시작할 수 있다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2005년도 춘계학술대회
• /
• pp.87-93
• /
• 2005

다양한 정보의 교환 및 공유가 이루어지는 물류분야에서는 정보의 통합관리가 필요하다. 본 논문에서는 서로 다른 물류주체 간의 정보 교환 및 공유가 원활히 이루어지는 RFID에 기반을 둔 물류환경에 적합한 물류정보 통합관리 모형을 제시한다. 본 논문에서 제시하는 물류정보 통합관리 모형은 웹 서비스를 기반으로 물류정보를 저장/관리하는 시스템 모형으로 애플리케이션과의 데이터교환을 위한 인터페이스, 물류데이터 저장, 검색을 위한 모듈, 물류정보의 데이터 무결정과 의미추론을 위한 온톨로지 모듈, XML Repository 및 Respository access 모듈로 구성된다. 데이터 교환을 위한 인터페이스는 SOAP을 이용하며 애플리케이션 및 RFID 미들웨어와 물류정보를 주고 받는다. 데이터 처리모듈은 물류 데이터의 유형에 따라 데이터를 저장/관리하며, 애플리케이션의 정보요청에 대한 결과를 제공한다. 또한 물류정보의 데이터 무결성 검증, 의미추론을 위한 온톨로지 모듈을 포함한다. 본 논문은 XML형식의 물류정보 저장관리 및 시맨틱웹 개념 중심의 모형을 설계한다.

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

국방 연구개발은 사용군의 요구사항을 만족시키는 무기체계를 최단 기간, 최소 비용 및 고품질로 개발하고자 노력하고 있으며, 통합 무기체계 데이터베이스 전산 환경 하에서 체계공학 및 동시공학을 체계적으로 구현하기 위한 연구개발 프로세스 및 도구들이 개발되고 있다. 항공 무기체계 분야에서 본 논문의 연구개발 과정에서 생성되는 기술 자료를 효율적으로 관리하기 위한 웹기반 체계운영관리시스템을 개발 및 운용하고 있으며, 기존 항공 무기체계 연구개발 사업에 적용하여 그 효율성을 입증 및 검증하였다. 이에 본 논문에서는 통합 무기체계 데이터베이스 기반으로 향후 개발 예정인 보라매 사업, 무인항공기 및 무인전투기에 적용 가능한 통합 연구개발 프레임웍(Framework) 및 체계운영관리시스템의 발전 방안에 대해서 기술한다.

• 한국통신학회논문지
• /
• 제36권12B호
• /
• pp.1636-1646
• /
• 2011

본 논문에서는 IEEE 802.1 Qay PBB-TE 표준 시스템을 구현하고 상용 제품과의 연동을 통해 구현된 프로토콜의 상호 운용성을 검증하였다. 상호 운용성을 검증하기 위해 표준 프로토콜의 구현과 커널 제어 기능을 함께 포함한 통합 네트워크 시스템 형태로 구현하였다. 상용시스템과 상호 운용성 시험을 통하여 PBB-TE TESI 및 ESP 회선설정 기능과 보호 절체 등 구현된 프로토콜의 검증뿐만 아니라 동작 결과를 함께 모니터링 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (2)
• /
• pp.257-259
• /
• 2000

다양한 전자문서를 효율적으로 처리하기 위해서는 구조문서 정의가 가능한 SGML(Standard Generalized Markup Language)이나 XML(eXtensible Markup Language)을 이용할 수 있다[1,2]. SGML 및 XML과 같은 구조문서를 생성하기 위해서는 별도의 편집기가 필요하며 현재 다양한 제품이나 연구결과를 살펴볼 수 있다[3,4]. 그러나 기존의 입력, 편집 시스템에서는 사용자가 작성하려는 문서에 대한 구조를 숙지하여야 하는 동시에, DTD(Document Type Definition)에 대한 지식을 필요로 한다. 이를 인해 복잡한 구조의 SGML 및 XML 문서를 일반인들이 사용하기 어렵고, 작성한 결과에 대한 검증 과정이 필수적으로 요구된다. 또한 다양한 분야에서 적용 가능한 전자문서 시스템을 위해서는 효과적인 통합 DTD의 정의와 처리 방법이 필요하다. 따라서 본 논문에서는 구조화 문서에 대한 지식이 없는 일반인들도 쉽게 구조문서 작성이 가능하며, 통합적 DTD의 효율적인 처리가 가능한 Form 기반 편집 시스템의 모델을 제시하며, 특히 웹에서도 적용이 가능한 XML을 지원한다. 그 결과 본 연구에서 개발한 XML 편집 시스템은 Form 기반의 통합 DTD 처리와 XML 문서 작성 및 출력 기능, 그리고 이미지, 테이블 기능 등을 제공함으로써 누구나 쉽고 정확한 XML 문서를 작성할 수 있다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2014년도 전력전자학술대회 논문집
• /
• pp.558-559
• /
• 2014

본 논문에서는 저압 직류 배전(LVDC) 시스템의 통합 운전기법을 제안하였다. 제안된 시스템은 AC배전을 DC배전으로 전력 변환을 해주기 위한 대용량 3-Level NPC PWM 컨버터로 구성하였다. 또한 태양광 발전 시스템을 연계하여 소규모 계통의 운전을 위한 양방향 DC/DC 컨버터로 구성하였다. 분산 전원의 단점을 보완하기 위하여 ESS 시스템을 구성하였고 통합 운전을 수행 하였다. 제안된 시스템에 모드별 적용된 제어기법을 이용하여 동작모드를 확립하였다. 이를 시뮬레이션을 통하여 검증하였다.

• 한국항행학회논문지
• /
• 제14권6호
• /
• pp.990-995
• /
• 2010

본 논문에서 시험 연구선 선박정보의 관리를 위한 지능형 통합 정보 시스템의 설계를 제안하고자 한다. 제안하는 시스템은 연구 시험선이 추구하는 혁신 및 개선 활동을 활성화하기 위해 기관 정보관리, 선박관리, 연구원들의 업무, 교육, 훈련 과제의 진도를 관리하고, 유효성을 검증하고, 그 이력을 관리하기 위한 목적을 가지고 있다. 각각의 시스템들의 자료가 저장되어, 정보 활용성을 높인다. 제안된 지능형 통합 정보 시스템을 통해 체계적으로 시험 연구선의 프로젝트의 진도를 관리하고 효율적인 업무 처리를 실현하는 효과를 기대할 수 있다.

• 한국측량학회:학술대회논문집
• /
• 한국측량학회 2010년 춘계학술발표회 논문집
• /
• pp.121-123
• /
• 2010

현재 각 지자체 및 연구기관들은 이기종(異機種) 데이터베이스 상에서 각각의 목적에 맞도록 DB를 구축하며 활용하고 있다. 이러한 국토공간정보를 통합하기 위해 일반적으로 물리적 통합방식을 사용하고 있으나 이는 시간과 자원의 소모가 크며 주기적인 갱신 및 동기화가 요구된다. 따라서 본 연구에서는 물리적 통합방식의 비효율성을 극복하기 위해 이기종 데이터베이스의 속성 정보(attribute information)기반의 논리적인 연계 통합방식을 제안하고 이를 구현하기 위한 시스템 설계 및 구축 방안을 제시하고자 한다. 이를 통해 사용자 맞춤형 국토공간정보를 제공할 수 있는 시스템을 구축한 후, 실제 특정 지역의 도로데이터를 이용하여 기능을 검증하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권4호
• /
• pp.323-339
• /
• 2010

임베디드 시스템은 오늘날 우리 일상에서 널리 사용되고 있고 그 중요성은 더욱 증대되고 있다. 이에 비례하여 임베디드 시스템의 복잡도와 이를 개발하려는 노력 또한 더욱 더 증가하고 있다. 하드웨어와 소프트웨어로 구성되어 있는 임베디드 시스템의 이질적인 특성은 시스템 개발 및 통합 시에 에러를 야기하는 주원인이 된다. 그 중에서도, 하드웨어와 소프트웨어 간의 인터페이스에서 발생하는 에러가 시스템 에러의 13%를 차지하고 있으며 이 비율은 더욱 증가하는 추세이다. 우리는 하드웨어와 소프트웨어 동시설계를 위한 실제적인 인터페이스 동시 검증 기법을 제안하고 이를 지원하는 도구를 구현하였다. 먼저, 이 논문은 하드웨어와 소프트웨어간의 상호작용을 기술할 수 있는 인터페이스 명세를 정의한다. 이 명세 방법은 하드웨어와 소프트웨어 서로간의 특성을 잘 표현할 수 있고, 소프트웨어 명세로부터 하드웨어 명세로의 변환이 가능하여 전체 시스템이 소프트웨어의 입장에서 기술될 수 있도록 한다. 둘째, 작성된 하드웨어 설계와 소프트웨어 설계에 대해 명시된 인터페이스의 의미대로 동작하는지를 검증하는 기법을 제시한다. 주어진 명세로부터 소프트웨어의 동작을 가정하고 이를 하드웨어 설계로 모델링하여 하드웨어 인터페이스에 대한 모델검증을 수행하고, 그 후 소프트웨어의 동작에 대해 검증을 수행하는 가정-보증 추론(assume-guarantee reasoning) 방식의 검증을 수행한다. 마지막으로 기존의 검증 연구들이 저수준의 인터페이스를 추상화하여 현실적 적용이 힘들었던 반면 우리는 디바이스 API, 디바이스 드라이버, 디바이스 컨트롤러 등의 저수준의 인터페이스 코드들을 자동으로 생성하여 검증된 하드웨어와 소프트웨어 코드가 바로 통합되어 시스템을 구축할 수 있는 실제적인 해결책을 제시한다.