컨포넌트 개발 프로세스에서 재사용 가능한 독립적인 컴포넌트의 식별은 가장 중요한 작업이면서 어려운 작업이다. 따라서 현존하는 컴포넌트 개발 방법론들에서는 컴포넌트 식별을 위해서 체계적이고 명확한 기준이 제시되지 않아 대다수 개발자의 직관과 경험에 의존하고 있다. 그 결과 평이한 개발자에 의해서 소프트웨어의 재사용 단위인 컴포넌트를 식별하기가 쉽지 않다. 따라서 본 논문에서는 컴포넌트를 용이하게 식별할 수 있도록 유스케이스 다이어그램, 클래스 다이어그램 그리고 시퀀스 다이어그램 등 도메인 모델을 기반으로 컨포넌트를 식별하는 기준과 방법을 제시한다. 본 논문에서는 2단계 즉, 시스템 컨포넌트 식별과 비즈니스 컴포넌트 식별을 통하여 컴포넌트론 식별하는 방법을 제시한다. 특히, 제안된 기법에서는 컴포넌트 식별에 있어서 구조적 특성뿐만 아니라 메소드 호출 유형과 방향에 따른 의존성 특성을 함께 괴려하고 있다 이러한 제안된 기법의 실용성을 검증하기 위해 사례 연구와 기존 식별 방법과의 비교 분석 및 평가를 제시한다.

내장형 시스템에서 응용 프로그램을 구동시킬 때는 일련의 태스크들의 집합을 수행하여야 한다. 이러한 태스크들은 특정 하드웨어로 구현 될 수도 있고, 특정 프로세서에서 구동되는 소프트웨어로 구현될 수도 있다. 내장형 시스템에서 응용 프로그램을 구동시키기 위하여 하드웨어/소프트웨어의 자원 선택 및 작업 분할이 필요하게 되고 이때 하드웨어 및 소프트웨어의 성능 예측이 이용된다. 하드웨어 성능 예측과 달리 소프트웨어 성능 예측은 구동 환경과 밀접한 관계가 있으며, 하드웨어 소프트웨어 통합 설계를 위하여 최적 및 최악의 수행 시간 경계를 예측하는 것은 중요한 문제이다. 수행 시간 경계의 엄격한 예측은 저 비용의 프로세서를 사용할 수 있게 하며, 시스템 비용을 낮추는데 도움을 준다. 본 논문에서는 ARM용 내장형 시스템을 고려하여, loop문의 반복 횟수 경계 값과 프로그램의 추가적인 경로 호출 정보를 이용하여, 수행 시간의 경계를 최대한 실제 값에 접근하도록 예측하는 도구를 개발하였다. 개발된 도구는 현재 i960과 m68k 아키텍처를 지원하는 "Cinderella"라는 시간 분석 도구를 기본 도구로 활용하고 있다. ARM 프로세서를 지원하기 위하여 제어흐름과 디버깅 정보를 추출할 수 있는 ARM ELF 목적 파일 모듈을 추가하고, ARM 명령어 집합을 처리할 수 있는 모듈을 기존 도구에 추가하였다. 여러 가지 벤치마크 프로그램을 대상으로 실시한 실험 결과, 임의의 입력 데이타를 이용하고 수행 횟수를 고려한 ARMulator의 수행 시간이 구현된 도구에서의 정적인 수행 시간 예측 경계 값으로 들어오는 것을 확인할 수 있었다.

일반적으로 디지털 시스템에서 시스템의 제어부 설계를 위해 FSM이 많이 사용된다. FSM은 제어흐름(Control Flow)으로부터 생성된 상태 다이어그램에 기반하여 구현된다. 설계자는 상태 다이어그램을 이용하여, HDL로 FSM을 설계하고 검증한다. FSM의 상태의 수가 증가할수록, FSM을 검증하거나 변경하는 작업은 매우 복잡해지고 오류가 많이 발생하며 많은 시간을 필요로 한다. 따라서 본 논문에서는 레지스터 전송 수준에서 제어흐름중심으로 하드웨어를 기술하는 언어인 Cycle-C를 제안한다. Cycle-C는 제어 흐름에 시간 정보를 더하여 FSM을 기술한다. Cycle-C로 표현된 FSM은 합성 가능한 VHDL 코드로 자동으로 변환된다. 실험에서는, 인터페이스 회로들에 대한 FSM을 비교 예제로 삼았다. Cycle-C를 이용한 설계와 설계자가 직접 RTL VHDL로 설계한 것은 비슷한 면적을 보였다. Cycle-C를 이용하면 설계자가 직접 기술한 RTL VHDL 행수의 약 10～50%만으로 동일한 동작에 대한 기술을 할 수 있었다.

최근에 시멘틱 웹에 대한 관심과 기대가 증가함에 따라 시멘틱 웹 기반의 웹서비스인 시멘틱 웹서비스에 대한 연구가 활발히 진행되고 있다. 기존의 웹서비스는 XML 기반의 웹서비스 기술 언어인 WSDL을 사용하지만 시멘틱 웹서비스에서는 DAML-S와 같은 온톨로지 언어기반의 웹서비스 기술 언어를 사용한다. 시멘틱 웹서비스에 대한 연구는 웹서비스 검색, 웹서비스 구동, 웹서비스 구성, 웹서비스 실행 모니터링 등의 관점에서 수행되고 있다 특히, 시멘틱 웹서비스 검색은 시멘틱 웹서비스의 궁극적인 목적을 달성하기 위한 가장 기반이 되는 분야로 기존의 정보 검색과는 다른 특징들을 가지고 있다. 즉, 시멘틱 웹 기술 언어에 적합한 저장 시스템과 검색 방법이 요구된다. 이에 부합하여 관련된 시스템이 많이 개발되고 있으나 지능로봇 응용과 같은 제한된 메모리 공간 및 디스크 공간을 가지는 임베디드 환경에서 기존의 시스템을 적용하기에는 부적합하다. 이와 관련하여, 이 논문에서는 임베디드 시스템 환경에서 시멘틱 웹서비스 검색에 이용될 수 있도록 하기 위해서 DAML-S 서비스 지원을 위한 효율적인 DAML+OIL 문서 관리 시스템을 개발하였다. 또한, 우리는 이 논문에서 소개한 시스템의 특성을 다른 시스템과 비교하여 기술한다.

네트워크 환경에 적응적인 비디오 스트리밍 서비스를 위하여 비디오의 트랜스코딩이 하나의 해결책으로 제시되었다. 시간당 프레임의 개수를 조절하는 기법은 이러한 비디오 트랜스코딩 기법들 중 하나이다. 이 기법에서는 삭제된 프레임을 참조하는 프레임의 움직임 벡터를 재생성 해야 되는데 이것은 비디오 트랜스코딩의 계산 복잡도를 높이는 주요 원인이다. 본 논문에서는 움직임 벡터의 재생성 시 요구되는 계산 복잡도를 줄이기 위해 삭제된 프레임의 움직임 벡터를 재사용하는 영역과 활동 상태 정보를 고려한 벡터 합성 기법을 제안한다. 이 기법은 각 매크로블록들의 활동 상태정보량과 중첩영역의 크기를 기반으로 축출한 가중치를 이용하여 각 움직임 벡터들을 합성하는 기법이다. 실험 결과 RABVC는 기존의 가중치 기반의 움직임 벡터 선택 기법들에 비해 비슷한 계산 복잡도에서 높은 PSNR값을 보였다.

본 논문은 다중처리기 상에서 고정 우선순위 스케줄링 알고리즘의 성능을 향상시키는 기법을 제시한다. 이 기법은 여유시간(laxity)이 0인 작업(job)에 가장 높은 우선순위를 부여하고 다른 작업들보다 우선적으로 스케줄 한다. 이 기법을 적용한 고정 우선순위 알고리즘은 원래의 알고리즘을 strictly dominate한다. 즉, 원래의 고정 우선순위 알고리즘이 스케줄 할 수 있는 모든 태스크 집합(task set)을 스케줄 할 수 있으며, 원래의 고정 우선순위 알고리즘이 스케줄하지 못하는 일부 태스크 집합을 스케줄 할 수 있다. 또한 모의실험을 통하여 제안한 기법을 적용한 알고리즘이 스케줄 가능한 태스크 집합의 수와 스케줄 보장 이용률(schedulable utilization bound) 측면에서 원래의 알고리즘보다 우수함을 보인다

최근 PDA나 차세대 이동통신 단말기와 같은 인터넷 접속이 가능한 무선 단말기들의 보급이 크게 증가하면서 무선 인터넷 접속이 보편화되고 있다. 그러나 대부분의 기존 엘 컨텐츠와 서비스들은 데스크탑 환경에 최적화되어 무선 단말기를 통한 접근이 쉽지 않다. 무선 단말기의 자은 화면이나 제한된 입력장치와 같은 특성을 고려해 볼 때 효과적인 웹 접근을 위한 새로운 기법이 요구되고 있다. 한편, 개인화는 엘 컨텐츠나 서비스를 맞춤식으로 제공하는 데 중요한 역할을 한다. 본 논문에서는 무선 단말기 사용자를 위한 프락시 기반의 웹 서비스 페이지 개인화 기법을 제안한다. 이를 위해 로그 데이타뿐만 아니라 웹 페이지의 서비스 관련 특징을 고려하여 사용자가 자주 이용하는 서비스론 식별한다. 식별된 서비스 페이지들은 무선 단말기에 알맞은 형태로 개인화된 리스트로 제공된다. 결과적으로 사용자들은 여러 제약을 가지는 무선 단말기 상에서 개인화된 웹 서비스를 최소한의 검색만으로 제공받을 수 있다. 마지막으로 프로토타입 시스템에서 다양한 실험을 통하여 기법의 효용성을 입증하였다.

최근 이동전화가 사람 사이의 커뮤니케이션에 있어서 필수적인 수단으로 자리 잡고 있다. 사용사가 논어간에 따라 이동전화망을 이용한 각종 부가 서비스들이 개발되고 고성능의 단말기들이 등장하고 있다. 또한 유비쿼터스 컴퓨팅 개념의 발전과 더불어 스마트폰에서 여러 가지 새롭고 편리한 서비스를 제공하기 위한 연구가 활발히 진행되고 있다. 본 논문에서는 스마트폰에서의 개인화된 지능형 서비스를 위하여 베이지안 네트워크를 이용한 사용사 모델링과 규칙기반 서비스 선택기능을 갖춘 지능형 에이전트를 제안한다. 이 에이전트는 베이지안 네트워크를 사용하여 개인정보와 통신기록 자료로부터 사용사의 감정, 바쁨의 정도, 상대방과의 친밀도를 추론한 후 얻어진 정보를 사용하여 적절한 행동을 제시한다. 몇 가지 상황에 적용하여 제안한 지능형 에이전트의 유용성을 보인다

본 논문에서는 SystemC를 이용하여 네트웍 SOC에 적용이 가능한 상위 계층 설계 방법을 제안한다. 본 방식은 실제 양산되고 있는 네트웍 SOC를 기준 플랫폼으로 하여 NAT 라우터에서 보다 높은 변환율을 얻기 위한 최적의 하드웨어 계수 결정을 목표로 한다. 네트웍 SOC에 내장된 고속 이더넷 MAC, 전용 I)MA, 시스템 모듈들은 트랜잭션 레벨에서 SystemC를 이용하여 모델링되었다. 고속 이더넷 제어기 모델은 실제 Verilog RTL의 동작을 사이클 단위로 측정한 결과를 토대로 동작이 세부 조정되었다. SystemC 환경의 NAT 변환율은 기준 플랫폼 검증 보드상의 측정 결과와 비교하여 $\pm$10% 이내의 오차를 보였고, RTL 시뮬레이션보다 100배 이상의 속도 이득을 보였다. 본 모델은 NAT 라우터에서 성능 저하의 원인을 찾는 SOC 구조 탐색을 위해 사용될 수 있다.