• 융합신호처리학회논문지
• /
• 제10권4호
• /
• pp.274-279
• /
• 2009

시스템수준 설계방법론에서 널리 사용하고 있는 설계흐름도는 시스템명세, 시스템수준의 HW/SW 분할, HW/SW 통합설계, 가상 또는 물리적 프로토타입을 이용한 통합검증, 시스템통합으로 구성된다. 본 논문에서는 SystemVerilog와 SystemC를 기반으로 하여 신속한 기능검증이 가능한 native-code 통합검증환경과 클럭수준 검증까지 가능한 계층화 통합검증환경을 각각 구현하였다. Native-code 통합검증환경은 시스템수준 설계언어인 SystemC를 이용하여 HW/SW 분할단계를 수행한 후, SoC 설계의 HW부분과 SW부분을 각각 SystemVerilog와 SystemC로 모델링하여 상호작용을 하나의 시뮬레이션 프로세스로 검증한다. 계층화된 SystemVerilog 테스트벤치는 임의의 테스트벡터를 생성하여 DUT의 모서리 시험을 포함하는 검증환경으로 본 논문에서는 SystemC를 도입하여 다중 상속을 가지는 통합검증환경의 구성요소를 먼저 설계한 후, SystemVerilog DPI와 ModelSim 매크로를 이용하여 SystemVerilog 테스트벤치와 결합된 통합검증환경을 설계한다. 다중 상속은 여러 기초클래스를 결합한 새로운 클래스를 정의하여 코드의 재사용성을 높이는 장점을 가지므로, 본 논문의 SystemC를 도입한 통합검증환경 설계는 검증된 기존의 코드를 재사용할 수 있는 이점을 가진다.

• 한국소프트웨어감정평가학회 논문지
• /
• 제15권1호
• /
• pp.55-62
• /
• 2019

사물인터넷 디바이스의 소형화, 저전력화 요구는 프로그램을 단일 칩으로 구현하는 SOC 기술로 구현되고 있다. 불법 복제에 의한 저작권 분쟁은 반도체 칩에서도 증가하고 있으며, 디자인하우스의 칩 구현에서의 분쟁과 소스코드의 도용에 의한 칩 구현에 발생하고 있다. 그러나 최종 칩 구현은 디자인하우스에서 제작되기 때문에 저작권의 보호범위에서 어려움이 있다. 본 연구에서는 사물인터넷 디바이스의 집적회로에서 HDL 언어로 작성된 소스코드의 분쟁에서, 유사성을 판단하기 위한 분석방법과 유사성 판단의 기준을 설정하는 항목에 대해 다루었다. 특히 동일한 시방서를 기준으로 제작된 칩의 경우 동일한 구성과 코드 형태를 포함해야 하는 제작특성에서 유사성의 판단영역을 구분하는 내용에 대해서도 다룬다.

• 한국ITS학회 논문지
• /
• 제7권6호
• /
• pp.92-100
• /
• 2008

Ad-hoc 네트워크는 중앙의 특별한 관리 체계 없이 기존의 유선 네트워크 또는 기지국을 사용하지 않는 이동 호스트들만으로 구성된 네트워크를 말한다. 최근 Ad-hoc 멀티홉 통신시스템과 같은 확장된 개념의 Ad-hoc 망으로 범위가 넓어지고 있어 QoS에 대한 요구 수준이 증대되고 있다. Ad-hoc 네트워크는 잦은 망 구성의 변화, 라우터의 수, 제한된 사용 자원 등 기존 유선 네트워크와는 다른 특성들을 갖게 된다. 기존의 유선 네트워크에서 사용하던 라우팅 프로토콜들을 무선 ad-hoc 네트워크에 그대로 적용시킨다면 많은 문제점들이 발생하게 된다. AODV 라우팅 프로토콜은 Ad-hoc 네트워크 이동 노드에서 사용할 수 있도록 제안된 라우팅 프로토콜이다. Ad-hoc 네트워크에서 변화하는 네트워크의 토폴로지에서 항상 최적의 경로를 설정하는 AODV 라우팅 프로토콜은 신뢰성 높은 데이터를 제공해 준다. 본 논문에서는 NDIS(Network Driver Interface Specification) 기반의 AODV 라우팅 프로토콜을 이용하여 영상 전송이 성능 저하 없이 동작할 수 있는 시스템을 구현하고 확인하였다.

• 한국콘텐츠학회논문지
• /
• 제1권1호
• /
• pp.109-117
• /
• 2001

무선 인터넷 응용 서비스를 위한 WAP(Wireless Application Protocol) 게이트웨이는 사용자 단말기(핸드폰, PDA등)와 WAP/WEB 서버 사이에 위치하여 유선 인터넷 환경에서 제공되는 각종 콘텐츠를 무선 인터넷 사용자에게 제공하기 위해 HTTP 프로토콜과 해당 WAP 프로토콜 사이의 변환 및 WML(Wireless Markup language) 문서의 인코딩(encoding) 기능 등을 제공하는 미들웨어 시스템이다. 구현된 WAP 게이트웨이는 WAP 포럼에서 발표한 WAP 규격 1.2를 토대로 설계되었으며 Java 언어로 구현하여 플랫폼 독립적으로 운영될 수 있도록 하였다. 개발된 시스템을 Nokia Tool Kit로 테스트한 결과 Kannel 제품 보다 성능이 우수한 것으로 나타났다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권8호
• /
• pp.571-578
• /
• 2013

국제수로기구(IHO)의 공간지리 공통 데이터 모델에 관한 표준인 S-100을 기반으로 하는 S-10x 데이터 제품사양(Product Specification)은 해양의 특정 분야 데이터를 제작, 배포하는 기준에 관한 표준이다. 전자해도 데이터와 같은 피처 중심의 데이터는 피처 카탈로그를 S-10x 데이터 제품사양의 주요 구성 요소로 포함한다. 피처 카탈로그는 대상 분야 및 대상 분야의 데이터에 관한 전문 지식을 갖춘 도메인 전문가에 의해 제작되어 진다. 그러나 도메인 전문가가 피처 카탈로그를 구조화된 XML 문서로 오류 없이 작성하는 것은 쉬운 일이 아니다. 국제수로기구의 TSMAD 워킹그룹 회의에서도 카탈로그의 제작을 지원하는 시스템 개발의 필요성을 제기하였다. 이에 본 논문에서는 도메인 전문가가 S-10x 제품사양의 피처 카탈로그를 일관되고 구조화된 XML 문서로 제작할 수 있도록 지원하는 시스템 도구로 피처 카탈로그 빌더를 설계, 구현하였다. 피처 카탈로그 빌더는 자바 기반의 그래픽 유저 인터페이스(GUI) 프로그램으로 개발하였다. 그리고 피처 개념 사전(Feature Concept Dictionary) 레지스터의 등록 아이템 간의 관계를 확인하고 대상 분야에 적합한 아이템을 선택할 수 있도록 피처 카탈로그 빌더를 개발하였다.

• 정보처리학회논문지D
• /
• 제12D권3호
• /
• pp.385-394
• /
• 2005

컴포넌트 기반 소프트웨어 개발(Component-based software Development) 환경에서 컴포넌트간의 의존관계 정보를 제공하는 것은 컴포넌트를 합성하는 개발자에게 중요한 일이다. 그러나 컴포넌트의 의존관계 정보가 충분하게 제공되지 않고 있다. 따라서 개발자는 원시 컴포넌트의 의존관계를 모르고 컴포넌트를 합성하는 경우가 발생한다. 본 논문에서는, 위와 같은 단점을 보완하기 위하여, 컴포넌트 사이의 의존정보를 XML로 정의하여 관리하고, 개발자에게 원시 컴포넌트 의존관계 정보를 제공하여, 무결성 있고 영속성 있는 정보 시스템 개발을 위한 컴포넌트 의존정보를 제공하는 의존 관리자의 설계와 구현을 하였다. 의존 관리자에서 생성된 컴포넌트는 재사용성 측정 메트릭의 측정값이 $89\%$에서 $95\%$가 신뢰구간 안에 포함되어 있음을 보이고 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권9호
• /
• pp.634-648
• /
• 2001

MSC는 통산 소프트웨어에서의 병행 수행 테스크들 사이의 상호작용을 기술하기 위해서 많이 사용되어져 왔다. 요구사항 단계에서 검증된 MSC 명세는 상태 기반의 설계 모델을 합성하는데 사용될 수 있을 뿐만 아니라, 테스크 시퀀스 생성에 사용될 수도 있다. 지금까지는 MSC에 기술된 각 이벤트의 위치 정보만을 이용하여 전체 상태 그래프를 생성함으로써 검증을 수행하였다. 본 논문에서는 MSC의 조건문을 시나리오 활성화 조건과 상태 변경을 기술할 수 있도록 확장하고, 이를 이용하여 전체 상태 그래프를 생성함으로써 테스크 시퀀스 생성에 이용한다. 생성된 전체 상태 그래프인 GFSM은 시스템의 의미 있는 상태 정보와 가능한 메시지 시퀀스만을 가지게 된다. 생성된 GFSM에 기존인 FSM 기반의 테스팅 기법을 적용하여 테스크 시퀀스를 추출할 수 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 D
• /
• pp.2313-2315
• /
• 2003

This paper presents the development methods which Samsung GPS baseband chip is called S3E4510X. Specification of S3E4510X and design methodology of baseband architecture is presented with a study of their effects. Also GPS core block and software are described in detail. We designed and implemented the test board with RF module for evaluating performance via static test dynamic test and each performance factors using live signal and CPS simulator. Test results show that our development GPS baseband chip have effectively performance for mobile handset Location Based Service (LBS) and its practical use for navigation.

• 인터넷정보학회논문지
• /
• 제16권5호
• /
• pp.29-38
• /
• 2015

에너지 저장장치(Energy Storage System)은 전력 수요가 적을 때 전력을 저장해 두었다가 수요가 발생하거나 비상시 저장된 전력을 사용함으로 전기 에너지를 저장하여 필요할 때 사용 가능함으로써 에너지 이용 효율 향상, 전력공급 시스템 안정화 및 신재생 에너지 활용도 향상 효과를 가지는 시스템이다. 최근 세계적으로 에너지의 효율적인 소비에 대한 관심이 증대되면서 전력의 안정적인 공급을 원하는 수요자와 전력 수요 평준화를 원하는 공급자의 요구를 충족시켜줄 수 있는 에너지 저장장치의 필요성이 증대되고 있다. 현재 에너지 저장장치를 구성하는 Power Conditioning System(PCS), Battery Management System(BMS), 배터리 셀은 제조사별로 상이한 규격을 가진다. 이로 인해 각 핵심 부품 간 인터페이스가 규격화되어 있지 않아, 에너지 저장장치의 구성 및 운영에 난점으로 작용하고 있다. 본 논문에서는 제조사별로 상이한 특징을 가지는 부품들의 설정과 효율적 운영에 필요한 정보를 수용하여 에너지 저장장치를 구성할 수 있는 XML 기반의 에너지 시스템 전용 프로파일 시스템의 설계와 분석방안을 제안한다. 제조사별 PCS, BMS, 배터리 셀과 그 외의 주변 기기들의 설정 정보 및 운영 정보를 분석하여 프로파일 규격을 정의하고, 에너지 저장장치에 적용할 수 있는 프로파일 어댑터 소프트웨어를 설계 및 구현한다. 프로파일 어댑터를 통해 생성된 프로파일은 설정 프로파일과 운영 프로파일로 구성되며, 추후 확장성을 고려하여 표준 XML의 규격을 따른다. 구현된 프로파일 시스템의 검증은 에너지 저장장치 시스템에 적용되어 기본적인 충 방전 동작을 통해 정상 동작 결과를 제안한다.

• 한국통신학회논문지
• /
• 제27권11C호
• /
• pp.1064-1073
• /
• 2002

본 논문에서는 프로토콜 개발 도구를 이용하여 Wireless Application Protocol (WAP) 포럼에서 제안하는 무선 트랜잭션 프로토콜(Wireless Transaction Protocol: WTP)을 구현하였다. 또한, 서버모델, coroutine 모델 및 activity-thread 모델에 따라 개발도구의 지원없이 직접 개발된 WTP 구현물들과 그 성능을 비교 분석하였다. 우선 Unified Modeling Language (UML)을 사용하여 프로토콜의 요구사항을 분석함과 동시에 프로토콜 엔진의 구조를 정의하였으며, 이를 기반으로 Specification and Description Language (SDL)을 사용하여 프로토콜 엔진을 상세 설계한 후, 코드 자동 생성기를 이용하여 WTP 구현물을 생성하였다. 구현물의 성능을 분석한 결과, 3,000개 이하의 클라이언트가 동시에 접속할 경우에는 트랜잭션 처리율(throughput)과 트랜잭션 처리 지연시간(system response time) 측면에서 기존의 세 가지 모델을 이용하여 직접 개발한 프로토콜 엔진과 그 성능이 대등함을 알 수 있었다. 그러나, 5,000개 이상의 클라이언트가 동시에 접속할 경우 트랜잭션 성공률은 약 10%까지 급격히 감소하고 트랜잭션 처리 지연시간은 1,500㎳까지 증가하였는데, 이는 프로토콜 개발도구를 사용한 경우에 구현물의 크기가 약 62% 증가하면서 프로토콜 처리시간 증가로 인한 것이다. 그러나, 이러한 실험 결과는 실험에 사용된 PC 서버의 사양을 고려할 때 호스트의 과부하로 인한 것이며, 부하분산 기능이 제공되는 실제 환경에서는 프로토콜 개발 도구를 사용하지 않고 직접 개발한 프로토콜 엔진과 거의 대등한 성능을 보였다.