RAID 레벨 5는 쓰기 시에 패리티 갱신을 위한 4번의 디스크 접근으로 인하여 OLTP와 같이 상대적으로 빈번한 디스크 접근을 가지고 데이터 크기가 작으며 쓰기의 횟수가 많은 작업환경에서 성능이 떨어지게 된다. 데이터와 패리티에 대한 캐싱은 OLTP환경에서의 쓰기에 대한 문제를 해결하기 위한 기법이다. 본 논문에서는 리눅스 운영체제의 파일 데이터 구조에 변화를 주고, 커널에서 얻어진 정보를 디스크 캐쉬의 운영에 이용한다. 스트라입 크기(G)를 가지는 RAID 레벌 5에서 패리티 캐쉬의 크기가 전체 캐쉬 크기의 1/G 이하 일 경우 데이터 패리티 캐쉬 크기 변화에 영향을 받지 않고 캐쉬의 그룹 단위 운영과 그에 따른 패리티의 미리 읽기를 가능하게 하여 패리티에 대한 추가적인 읽기를 최소화하는 기법을 제안한다. 본 논문의 실험 결과는 초당 디스크에 도착하는 평균 디스크 접근 요구 개수에 변화를 주어 시뮬레이션 방법으로 입증하였으며, OLTP 환경에서 데이터와 패리티 캐쉬를 독립적으로 운영하는 일반적인 캐쉬 운영 방법에 비해 평균 응답시간을 단축시킬 수 있음을 알 수 있다.

결함허용 시스템은 다양한 형태의 중복을 사용하여 신뢰도를 향상시킬 수 있는 반면, 시스템의 비용을 크게 증가시킨다. 본 논문은 만족스러운 신뢰도를 갖추면서 추가 비용을 적게 요구하는 결함허용 컴퓨터 시스템의 구조를 결정하기 위한 설계 문제를 정의하고 탐색에 기반을 둔 해결법을 제안한다. 이 때, 탐색 기법이 방문하는 탐색 공간의 크기를 줄이기 위하여 사용되는 세 가지의 유용한 사실을 설명한다. 이를 바탕으로 삼중 모듈 중복(TMR: Triple-Modular-Redundancy), 백업 예비(backup sparing), 그리고 혼합 중복(hybride redundancy) 기법과 같은 결함허용 기법들이 시스템 구조에 적용되었을 때, 탐색 공간을 줄이는 용도로 사용될 수 있는 신뢰도 제약조건을 유도해낸다.

최근에 캐쉬의 성능이 전체 시스템에 미치는 영향이 커짐에 따라 캐쉬의 성능을 모델링하고 향상시키기 위한 많은 연구가 진행되고 있다. 본 논문에서는 네 가지 종류의 캐쉬모델을 가정하고 분기명령어 비율, 캐쉬미스율, 분기예측 실패율 등의 파라메터를 이용하여 수퍼스칼라 프로세서에서의 명령어 패치율을 해석적으로 모델링하였다. 시뮬레이션 결과 분기예측실패가 명령어 패치율에 미치는 영향보다는 캐쉬미스율이나 캐쉬미스 패널티의 증가로 인한 패치율의 감소가 더욱 큰 폭으로 나타났다.

소형의 이동 컴퓨터 시스템이 발전하면서 프로세서의 전력 소모(energy dissipation)가 중요한 이슈가 되고 있다. 현재 대부분의 프로세서들은 성능 향상을 위해 캐쉬를 사용하고 있고 이것은 프로세서내의 많은 비율의 전력을 소모한다. 따라서 저 전력 프로세서를 설계하기 위해서는 내장 캐쉬(on-chip cache)의 전력 소모를 줄이는 것이 중요하다. 본 논문은 캐쉬 대체 전략으로 현재 많이 사용되는 LRU(Least Recently Used) 방식을 LFU(Least Frequently Used), LFUT(LFU with Threshold), FIFO(First In First Out) 방식과 관련 효율적 측면에서 비교 분석 한다.

실시간 시스템에서 예상치 못한 오류 발생은 성능에 악영향을 미친다. 이를 예방하기 위하여 체크포인팅이라는 후방 에러복구기법을 이용하여 오류 발생시에도 예측 가능한 결과를 보장할 수 있다. 실시간 시스템에서의 체크포인팅은 비실시간 시스템과는 달리 시간제약성을 만족시켜야 하기 때문에 비실시간에는 최적인 체크포인팅 간겨곽는 다르게 고려 되어야 한다. 이런 체크포인트 간격에 따른 성능의 차이를 시뮬레이션을 통하여 확인하였고 결과를 분석하였다.

캐리-세이브 가산기(CSA)는 연산식의 빠른 수행을 위해 가장 일반적으로 쓰이는 연산기중에 하나이다. 일반적인 CSA 적용의 근본적인 한계로는, 연산 회로중에 바로 덧셈 연산으로 변환되는 부분만이 적용이 가능하다는 사실이다. 이러한 제한점을 극복하기 위하여, 우리는 간단하고도, 효율적인 CSA 변환 방법을 제시한다. 이들은(1) 멀티플랙서를 포함한 최적화, (2) 회로 경계를 포함한 최적화, (3) 곱셈기를 포함한 최적화이다. 이러한 방법을 포함하여, 우리는 전체적인 회로에서 CSA를 충분히 사용할수 있는 새로운 지연시간 최적화를 목표로 하는 CSA 변환 방법을 만들어 내었다. 실험에서는 실제적인 여러 회로에 대해 제시된 방법이 효율적임을 보였다.

고속 회로 합성에 있어서, Wallace 트리 스타일은 연산을 위한 가장 효율적인 수행방식의 하나로 인식되어 졌다. 그러나, 이러한 방법은 빠른 곱셈기의 수행이나 여러 가지 연산수행에 있어, 입력 시그널을 고려하지 않은 일반적인 구조로 수행되어졌다. 본 논문은 연산기에 있어서 이러한 제한점을 극복하는 문제를 다룬다. 우리는 캐리-세이브 방법을 덧셈, 뺄셈, 곱셈이 혼합되어 일T는 일반적인 연산 회로에 적용한다. 그 결과 효율적인 회로를 생성하며, 시그널들이 임의의 도달시간에 대해 회로의 도달시간을 최적화 한다. 또한, 우리는 최적 지연시간의 캐리-세이브 가산회로를 생성하는 효율적인 알고리즘을 제안하였다. 우리는 이러한 최적화 방법을 여러 고속 디지털 필터에 적용시켜 보았고 이는 기존의 비트 단위가 아닌 캐리-세이브 수행방법보다 5%에서 30%사이의 수행시간 향상을 가져왔다.

본 논문에서는 RSA 암호 시스템의 핵심 과정인 모듈로 멱승(Modular Exponentiation) 연산에 대한 새로운 하드웨어 구조를 제시한다. 기존의 몽고메리 알고리즘을 사용하였지만 다른 논문들이 Dependence Graph를 수직으로 매핑(Mapping)한 것과는 달리 여기서는 수평으로 매핑하여 1차원 선형 어레이(linear array) 구조를 구성하였다. 본 논문에서 사용한 방법의 장점은 결과가 시리얼(serial)로 나와서 바로 입력으로 들어갈 수 있기 때문에 100%의 처리율(throughput)을 이룰 수 있고, 수직 매핑 방식에 비해 절반의 클럭 횟수로 연산을 해낼 수 있다는 점이다. 또한 내부 계산 구조의 지역성(Locality) , 규칙성(Regularity) 및 모듈성(Modularity) 등으로 인해 실시간 고속 처리를 위한 VLSI 구현에 적합하다.

버스-인버트 코딩 기법은 버스에서의 연속된 데이터 전송시 발생하는 데이터 값의 천이를 줄이는 기법이다. 기존의 방식에서는 전체버스 라인이나 그중의 한 일부분만에 버스-인터트 코딩을 적용했었던 것과는 달리, 우리의 기법은 버스 라인들을 몇 개의 묶음으로 분할하여, 각 묶음에 대해 독립적으로 버스-인버트 코딩을 적용하여 데이터 값의 천이를 최소화 하려고 한다. 실험을 통해서 우리의 기법은 데이터 값의 천이를 전체적으로 10-50% 감소시킬수 있음을 나타났다.

내적을 계산하는데 있어서 Distributed Arithmetic(DA)을 사용하면 곱셈기를 사용하는 것보다 소비전력 및 크기를 효율적으로 줄일 수 있고, 고속동작이 가능한 회로구현이 쉽기 때문에 신호처리 시스템 설계에 많이 사용하고 있다. DA에는 롬-기반 DA와 가산기-기반 DA를 이용한 방법이 있는데, 가산기-기반 DA는 Sharing property와 계수의 Spare non-zero bit property를 최대한 이용하여 설계가 가능하기 때문에 크기 및 동작속도 측면에서 효율적인 구현이 가능하다. 본 논문에서는 가산기-기반 DA의 이러한 특성을 최대한 이용하여 멀티미디어 신호처리에 적합한 DCT/IDCT 프로세서를 설계하였고 다른 구조 및 롬-기반 DA와 비교 평가해본 결과 크기 및 속도 측면에서 효율적인 결과를 얻었다.

본 논문에서는 몽고메리 알고리즘과 LR 이진 제곱 곱셈 알고리즘을 사용하여 n 비트 메시지 블록에 대해 모듈러 지수 연산을 수행하는 지수 연산 프로세서를 설계한다. 이 프로세서는 제어장치, 입출력 시프트 레지스터, 시주 연산 장치 등 3개의 영역으로 나누어진다. 설계된 지수 연산 프로세서의 동작을 검증하기 위해 VHDL를 사용하여 모델링하고 MAX+PLUS II를 사용하여 시뮬레이션 한다.

An optoelectronic database filter chip for high performance database computers and applications is proposed. The proposed device is designed to perform the selection and projection operations of relational database operation on-the-fly in page-parallel manner to increase the overall performance of a database system. The device utilizes CMOS smart pixel array consists of detector and combinational logic circuit to perform the selection and projection operation.

본 논문에서는 이동 컴퓨팅 환경에서 사용자의 데이터 사용 유형을 분석하여, 네트워크의 영향을 감소시켜 사용자 작업을 계속 유지하는 방법에 대해 연구하였다. 이를 위해서는 데이터의 특성에 맞는 선택적 자동 저장 크기를 선별해야 하며, 기존의 판단 알고리즘외에 추가 판단기준을 도입하면 자동 저장의 적중률이 향상됨을 보인다. 또한, 자동 저장 리스트의 크기에 대한 고찰을 통해 적정 수준의 적중률을 유지하기 위한 최소한의 리스트 크기를 알아보았다.

TLB 성능을 높이기 위한 기존의 3가지 주요 연구방향은, TLB 엔트리 계수를 최대한 증대 시키는 방법, 페이지 크기(page size)를 크게 증대 시키는 방법, 다중 페이지 크기(multiple page sizes)을 지원하는 방법 등의 연구가 제시되어 왔다. 이러한 방법들 중 다중 페이지 크기를 지원하는 방법이 가장 우수한 성능을 제공하는 방법이지만, 이작 어떠한 운영체제(operting system)도 다중 페이지를 사용자(user) 영역까지 지원하고 있지는 않은 상태이다. 따라서 다중 페이지의 효과를 살리기 위해 운영체제의 도움 없이 이중 페이지를 지원하면서 낮은 가격(low cost)으로 높은 성능(high performance) 향상을 보일 수 있는 새로운 듀얼(dual) TLB 구조와 운영 방법을 제안하고자 한다. 제안하는 듀얼 TLB 구조는 작은 페이지 크기( small page size)를 지원하는 완전 연관TLB와 큰 페이지 크기(large page size)를 지원하는 완전 연관TLB로 구성된다. 제시된 구조는 기존의 많은 엔트리 개수를 지원하는 TLB와의 성능 비교분석 결과를 통해 볼 때, 작은 엔트리 개수를 가지면서도 거의 같은 성능을 보임을 알 수 있다. 또한 동일 한 TLB 면적 크기로 기존 방식의 접근 실패율을 90%정도 감소시키는 성능을 제시하였다.

본 연구는 심볼릭 모델 체커 중의 하나인 SMV(Symbolic Model Verifier)를 이용하여 한국전자통신연구원(ETRI)에서 개발한 CCA(Cache Coherent Agent) 보드를 위한 I-Link Bus(Inside Bus)의 몇 가지 특성(property)들을 검증하여 I-Link Bus의 요구사항(requirement)이 만족됨을 보인다. 이 검증에서는 I-Link Bus의 모델을 SMV 입력 언어로 명세하며, 검증할 특성들을 시제 논리(temporal logic)를 이용하여 나타낸다. 검증을 통해서 I-Link Bus와 PIF(Processor Interface), DC(Directory Controller), RC(Remote access cache Controller)모듈들이 중재기 우선 순위, send 우선 순위, 중재 요청 신호의 관리, liveness등의 특성들을 만족한다라는 것을 검증하였다.

저전력 시스템 설계를 위해서는 시스템의 전력 소모가 얼마나 되는지 알아내는 연구가 뒷받침되어야 한다. 본 논문은 디바이스 수준의 전력 소모를 매 사이클 단위로 정확하게 측정하는 측정회로를 이용하여 전력 소모를 측정하는 측정 시스템 구조를 소개한다. 본 논문에서 구현하는 사이클 단위 전력 소모 시스템은 각각의 구성요소를 기능별로 모듈화시키고 여러 사용자가 하나의 전력 소모 측정 시스템을 공유해서 사용할 수 있도록 하였다.

VRML은 상호 작용을 하는 3D 객체와 세계를 기술하는 파일 형식이다. OO-VRML은 VRML을 객체 지향 언어로 확장하여 정보 은닉, 상속 그리고 동적 바인딩 등을 가능하게 한 언어이다. OO-VRML의 이런 특징들은 더 동적인 가상 세계를 섬세하게 조정할 수 있도록 해준다. 이 논문에서는 OO-VRML의 표현 능력을 잘 활용하기 위해 OO-VRML 언어를 사용하는 전용 브라우저를 설계하고 구현한다. 부라우저는 파싱 및 인스턴스화 모듈, 실행 모듈, 브라우저 모듈의 세 부분으로 나누어진다. 파싱 및 인스턴스화 모듈은 OO-VRML 형식의 가상 세계를 읽어들여서 객체로 바꾸어주고 그객체들을 인스턴스화하여 OO-VRML장면 그래프로 바꾸어준다. 장면 그래프는 실행 모듈은 발생한 이벤트들을 처리하여 인스턴스의 필드 값을 바꾸어준다. 브라우저 모듈은 가상 세계를 화면에 나타내 주고 사용자 입력과 네비게이션을 처리한다.

자바 클래스 파일은 각 플랫폼에 독립적인 중간 코드 형태의 바이트코드와 자료 구조로 구성됨으로서 네트워크를 통하여 플랫폼에 독립적으로 인터프리티브 컴파일링 시스템에서 실행된다. 그러나 클래스 파일을 생성하는 자바 컴파일러는 각 플랫폼에 독립적인 바이트코드 표현에 제약을 받기 때문에 효율적인 코드를 생성하는데 한계가 있다. 또한, 자바 가상 기계에서 동적 링킹을 지원하기 위하여 고안된 상수 풀(constant pool)의 크기가 상대적으로 큰 특징을 갖는다. 따라서 자바 클래스 파일이 네트워크와 같은 실행 환경에서 효과적으로 실행되기 위해서는 작은 크기와 효율적인 코드에 대한 변환이 요구된다. 본 논문에서는 자바 클래스 파일이 인터넷 및 분산환경 시스템에서 효율적으로 실행되기 위해서 클래스 파일의 크기를 줄이는 방법과 자바 컴파일러가 생성한 바이트코드에 대해 최적화를 수행하는 최적화 방법론을 제시하고, 코드 최적화기를 설계한다. 최적화된 클래스 파일은 코드 크기를 줄이고, 효율적인 코드를 생성함으로서 네트워크상의 전송 속도뿐만 아니라 가상 기계에서 좀 더 빠르게 실행할 수 있다.

본 논문에서는 프로그램의 복제를 검사하기 위하여 서로다른 두 프로그래의 유사도를 측정하는 시스템을 제시한다. 지금까지 유사도 평가 방법은 일반 텍스트에 국한되어 있고 프로그램에 대한 유사도 검사는 극히 드물다. 본 시스템은 서로 다른 프로그램을 입력받아 분석 과정을 거쳐 구문 트리를 구성하고, 생성괸 구문트리와 유사도 평가 시스템을 이용하여 프로그램의 유사도를 측정한다. 구문트리를 이용한 유사도 측정은 경제적이고 효율적으로 유사도를 검출해 낼 수 있다는 것을 평가에서 보여준다.

편집 환경에서 입력되는 구문은 완전한 문장으로 입력되기보다는 문장의 일부가 부분적으로 입력되면서 점진적으로 프로그램을 완성하게 된다. 본 논문에서는 부분적인 문장의 입력을 분석하여 문장의 부족한 부분을 예측하여 서브 스트링에 대한 파스트리를 완성할 수 있는 방법을 제시한다.

다중스레드 모델은 데이터플로우 모델의 내부적인 병렬성, 비동기적 자료 가용성과 폰 노이만 모델의 실행 지역성을 결합하여 병렬처리 시스템의 성능을 향상 시켰다. 이 모델은 프로그램의 실행을 위하여 컴파일러에 의해 생성된 스레드를 수행하며, 스레드의 생성 방법에 따라 자원 활용 빈도나 동기화 빈도와 같은 스레드의 질이 결정 되는 특징이 있다. 하지만 다중스레드 모델은 실행 모델이 특정 플랫폼에 제한되는 단점을 가지고 있다. 이에 반해 자바는 플랫폼에 독립적인 특징을 가지고 있어 다중스레드 모델의 스레드 코드를 실행 단위인 자바 언어로 변환하면 다중스레드 모델의 특징을 여러 플랫폼에서 수정 없이 사용할 수 있게 된다. 자바는 원시 언어를 중간 언어 형태의 바이트 코드로 변환하여 각 아키텍처에 맞게 설계된 자바 가상 머신이 설치된 시스템에서 자바 언어를 수행한다. 이러한 자바 언어의 바이트 코드는 번역기의 중간 언어와 같은 역할을 수행하고, 자바 가상 머신은 번역기의 후위부와 같은 역할을 한다. 본 논문은 다중스레드 코드가 플랫폼에 독립적인 특성을 갖출 수 있도록 다중스레드 코드를 자바 가상 머신에서 실행 가능하도록 한다. 즉, 다중스레드 모델의 스레드 코드를 자바 바이트 코드로 변환하는 번역기를 설계, 구현하고, 자바 가상 머신의 실행을 분석한다.

본 논문에서 다루는 SGML 문서편집기는 파서를 내포하는 구조로서, 문서편집을 위하여 DTD 가 입력되고, 입력된 DTD 는 DTD 파서에 의해 적합성을 점검하게 된다. DTD 파서는 표준규칙에 따라 DTD를 파싱하고, 결과를 편집처리에 적합한 BNF-스타일 형태로 변환된 문법 테이블을 생성한다. SGML 문서 편집은 문법테이블 정보에 따라 처리된다. 문법 테이블의 크기는 엘리먼트 선언내용 중 컨텐트 모델의 표현에 따라 결정된다. 그 중 and(&) 접속자는 엘리먼트 개수에 따라 문법수가 기하급수적으로 증가하므로 DTD 파서에 의해 처리된다면 속도나 비용면에서 비효율적이다. 이에 본 논문에서는 고정된 문법테이블을 이용하는 SGML 편집기에 and 접속자로 표현된 엘리먼트 문법을 동적으로 확정 처리할 수 있는 기능이 추가 향상된 구문지향적 SGML 문서편집기를 제시한다. 그러므로 향상된 구문지향 SGML 문서편집기는 고정된 문법을 이용한 문서편집 뿐 아니라 편집처리에 따른 변환에 능동적으로 처리할 수 있다는 특징을 갖게된다.

주문형 비디오 시스템에서 비디오 서버의 입출력 대역폭은 지연 시간을 증가시키는 원인이 되는 중요한 자원이다. 공유를 통하여 비디오 서버의 입출력 요청을 감소시키는 다수의 방법들: 일괄처리, 브리징, 피기백킹이 제안되었다. 일괄처리는 같은 객체에 대한 요청들을 묶어서, 기억장치 서버에 대한 하나의 입출력 요청을 만드는 것이고, 피기백킹은 객체의 대응하는 입.출력 스트림들을 그룹으로 서비스할 수 있는 하나의 스트림으로 병합하기 위하여 진행중인 요청들의 디스플레이 율을 변경하는 정책이다. 본 논문에서는 인기 있는 비디오에 대한 요청들이 가능한 한 스케줄 될 수 있도록 비디오 서버의 입출력 스트림 용량을 예약해 두고 상반관계에 있는 두요소: 스트림 요청의 지연시간과 입출력 요청의 감소를 적절히 절충한 하이브리드 장치 대역폭 감소 정책을 제안하고, 시뮬레이션을 통하여 제안하는 정책의 성능을 평가한다.

본 논문은 Teriary 저장장치에 기반한 대용량 비디오 서버를 구현함에 있어 사용자 QoS의 보장과 효율적인 자원관리를 위한 계층적 저장장치의 구성, 계층적 마감시간 스케쥴링을 제안하고 설계한다. 저장장치의 효율적인 사용을 위해 디스크 캐쉬 모델과 연속 미디어의 선호도에 따른 디스크 캐쉬 풀의 구성을 통하여 Tertiary 저장장치를 스트리밍 시스템에 활용할 수 있는 모델을 제시한다.

멀티미디어 서버는 시간 제약성을 가지는 멀티미디어 데이터를 정해진 시간 이내에 디스크로부터 검색해야 하므로 디스크 검색 요청 이전에 디스크 서비스 시간을 예측하여 제한된 시간 이내에 종료된다는 것을 보장해야 한다. 리눅스는 자원의 이용률 및 시스템 성능을 향상시키기 위해서 선행 읽기와 페이지 캐쉬 등의 기법들을 사용하고 있는데 이러한 기법들의 사용으로 디스크 서비스 시간은 매우 가변적이게 된다. 본 논문에서는 리눅스 파일 시스템을 개선하여 디스크 서비스 시간의 가변성이 최소화되도록 하고 이를 기반으로 정밀한 회전 지연 시간 모델에 의한 디스크 서비스 시간의 예측 기법을 제안한다.

멀티미디어 태스크는 기존 범용 운영 체제의 시분할 스케줄러에서 만족시킬 수 없는 시간적 요구사항을 가진다. 이런 태스크를 기존의 시분할 태스크와 함께 서비스하기 위해서는 새로운 스케줄링 프레임워크가 필요하다. FQ(Fair Queueing)은 태스크의 공유비율에 비례하여 자원을 할당하는 방법으로 이질적인 태스크(멀티미디어 태스크, 일반 시분할 태스크)가 공존하는 개방적인 환경에서의 스케줄링 정책으로 적합하다는 특징이 있다. 본 논문에서는 FQ의 종류인 WFQ(Weighted Fair Queueing)를 개선하여 하나의 스케줄러에서 다른 두 부류의 태스크를 모두 처리하는 요구비율 기반의 프로세서 예약 기법을 제안한다. 실시간 태스크와 시분할 태스크를 처리하기 위해서 실시간 부류의 태스크를 우선적으로 배치하고, 실시간 부류 태스크의 실행 사이에 시분할 태스크를 스케줄하여 실시간 태스크에 대해서 보장된 서비스를, 시분할 태스크에 대해서는 이 태스크에 할당된 예약만큼의 프로세서 시간을 제공한다. 모의 실험에서는 제안한 프로세서 예약 방식이 실시간 태스크와 시분할 태스크를 효율적으로 처리하며 기존의 WFQ보다 더 안정적임을 보인다.

멀티미디어 응용이 점점 널리 사용되면서 멀티미디어 응용에 적합한 태스크 모델의 연구가 진행되었으나, 기존의 태스크 모델은 멀티미디어 응용의 특성을 충분히 반영하지 못하였다. 본 논문에서는 멀티미디어 응용의 자원 사용량의 패턴에 기반한 확률적 멀티프레임 태스크 모델(PMF)을 제시하고, PMF를 멀티미디어 응용의 스케줄링에 적용하여 CPU 자원을 효율적으로 이용하면서 멀티미디어 응용에게 통계적 QoS를 제공할 수 있는 방안을 제시한다. 또한, 다양한 스케줄링 기법을 채용한 모의실험을 통해 제시한 태스크 모델이 자원을 최대한 활용 하면서 응용에게 QoS를 보장할 수 있음을 보인다.

자바는 이동성, 호환성, 안정성을 위해서 자바 가상 기계를 이용한 수행 방법을 사용한다. 이는 수행 속도를 저하 시키는 한 요인이다. 그래서, 정적 컴파일 모델과 동적 컴파일 모델과 같은 자바 가상 세계의 성능을 높이기 위한 여러 연구들이 진행되었다. 정적 컴파일 모델은 자바의 특성을 해치며, 동적 컴파일 모델은 초기화 시간이 증가하는 문제점이 있다. 본 논문에서는 디스크 캐쉬 기법을 이용하여 동적 컴파일 모델에서 발생하는 초기화 시간을 줄이는 자바 가상 기계를 구현하였다. SPEC JVM98[1]을 이용하여 Kaffe[2] 와 비교했을 때, 초기화 시간이 2배에서 5배 정도 줄었음을 알 수 있었다.

자바는 플랫폼 독립성, 보안, 멀티 쓰레드 지원, 가베지 콜렉터 등 많은 장점을 갖고 있는 언어이다. 하지만 현재의 자바 가상 기계(JVM)는 시간 제약 조건을 갖는 주기적인 태스크 수행, 실시간 스케쥴링 등 실시간 응용을 위한 지원이 미흡한 실정이다. 본 논문에서는 실시간 운영체제인 VxWorks와 내장형 JVM인 퍼스널 자바 상에서 실시간 응용 프로그램의 지원을 위한 자바 쓰레드를 설계, 구현한다. 이를 위해 기존의 자바 쓰레드에 시작시간, 주기, 종료시한 등의 시간 속성을 삽입하고, 실시간 자바 쓰레드 API 클래스를 구현한다. 실시간 스케쥴러를 세가지 방식으로 구현한다. 첫째는, JVM을 수정하지 않고 시간 속성에 따라 쓰레드에 우선 순위를 할당하여 스케쥴링하는 방식이고, 둘째는 JVM을 수정하여 시간 속성에 따라 VxWorks 커널 스케쥴러를 통해 스케쥴링하는 방식이며, 셋째는 독립적인 스케쥴링 태스크를 구현하는 방식이다. 쓰레드 생성, 문맥 교환 등의 오버헤드와 스케쥴링 시 종료시한 초과 비율 등의 기준을 통해 각각의 성능을 비교한 결과, VxWorks 커널 스케쥴러를 이용한 방식이 가장 적합하다는 결론을 얻을 수 있었다.

본 논문은 실시간 운영체제에서 프로세스들간의 비동기적 통신을 제공하기 위한 시그널 처리를 설계하고 구현 하였다. 일반적으로 실시간 운영체제에서는 태스크간 통신을 위해서 메시지 메일 박스와 큐를 사용하여 정보를 주고 받고, 태스크간이 동기화를 위하여 세마포어를 사용하였는데 이들은 모두 특정 이벤트에 관계되어 이벤트를 발생시키거나(POST) 이벤트의 발생은 기다리는(PEND) 방식으로 동작한다. 본 논문에서는 필요한 루틴을 수행시키기 위해 특정 이벤트 동기화에 관계없이 처리가 가능하도록, 실시간 운영체제에 적합한 시그널 처리 방법에 대해서 언급한다.

본 논문에서는 GPS(Global Positioning System)와 추측 항법 시스템인 DR(Dead Reckoning)을 혼합 구성한 수신보드의 운영을 위한 Embedded 운영체제를 설계하고 구현 하였다. 이 운영체제는 실시간으로 인공위성으로부터 수신되어지는 Raw Measurement 획득, GPS 항법, 자세 결정, 통합항법, 위성 추적을 수행하는 태스크들을 우선순위 기반으로 처리하는 선점형(Preemptive) 스케쥴링 방식을 채택한 실시간 운영체제 이다. 본 논문에서는 자세 결정용 GPS와 DR 센서를 이용한 통합시스템보드를 위한 실시간 운영체제의 개발 환경, 운영체제의 구조와 개발 내용에 대해 언급하였다.

단일프로세서 환경에서 주기 태스크의 시간 제약 조건을 만족시키면서 비주기 태스크의 평균 서비스 시간을 최소화하는 연구가 계속 진행되어 왔으나, 최근의 시스템은 여러 개의 프로세서를 병렬처리하여 프로그램의 처리속도 향상을 꾀하는 멀티프로세서 환경으로 전환되어 가는 추세다. 따라서, 멀티프로세서 환경에서의 태스크 스케쥴링에 관한 다양한 여구가 필요하게 되었다. 일반적으로 멀티프로세서 환경에서는 주기 태스크를 스케쥴링하기 위해서 RMFF(Rate-monotonic First-Fit) 스케쥴링 알고리즘을 사용하는데, 이 알고리즘에서는 비주기 태스크의 스케쥴링을 위한 알고리즘을 추가로 요구한다. 따라서, 본 논문에서는 멀티프로세서 환경에서 주기 태스크와 비주기 태스크가 혼합되어 있을 때, 기존의 RMFF 방식에 슬랙 체크테이블(Slack Check Table;SCT)을 이용하여 비주가 태스크를 효율적으로 스케쥴링하기 위한 방법을 제안한다.

컴퓨터 하드웨어의 빠른 개발 주기에 맞춰 저 가격, 고 효율성, 높은 신뢰성, 호환성 등의 장점을 가진 PC가 현대의 컴퓨터 흐름을 주도하게 되었다. 이에, 산업분야 전반에 걸친 컴퓨터 증가는 많은 발전과 변화를 가져왔다. 특히, 자동화 시스템분야에서 그 효과가 두드러졌는데 이는 고 가격, 긴 개발기간 등을 필요로 했던 과거와 달리 저 가격, 짧은 개발기간, 다양한 개발환경 등을 이룰 수 있었다. 또한, 생산량 증가에만 의존하던 과거의 자동화 시스템은 현대에 이르러 시스템의 최적화, 효율의 극대화, 시스템의 안정성, 운용의 편리성, 호환성 등의 개념들이 도입되고 있다. 특히, 시스템의 생산성을 높이려는 노력도 많이 이루어지고 개발되었는데, 이를 위해서 시스템의 효율성은 그 기준이 되는 필수적인 요소가 되었다. 자동화 시스템에서 효율성을 평가하는 기법은 여러 가지가 있다. 그중 생산성과 직접 관계되는 효율 데이터는 UPEH(Unit per hour)를 들 수 있다. 따라서, 본 논문에서는 이러한 효율성에 관련하여 그 기준이 되는 생산 데이터에 대한 시스템 효율성을 자동으로 산출하며, 이를 사용자에게 제공함으로써 보다 정량화되고 객관적인 평가 자료가 되도록 하였다. 본 논문이 적용된 자동화 시스템은 제어부 시스템과 GUI 시스템으로 나뉘어지는데 효율 데이터의 산출 및 관리는 GUI 시스템에서 담당하였다. 또한, 이를 위하여 Windows 98 운영체제를 사용하였다.

VBR로 압축된 멀티미디어 데이터는 비트 변화율이 매우 큰 편차로 변하기 때문에 자원 예약 관리가 매우 힘들다. 따라서 MPEG데이터의 참조 패턴을 오프라인으로 분석한 메타 테이블을 근거로 과부하 구간에서 미리 선반입하여 시스템의 활용율을 높이는 선반입 기법을 사용하고 있으나, 기존의 선반입 기법은 상영실패는 발생하지 않지만 선반입 임계슬롯이 증가하면서 버퍼 점유량이 증가되어 최소의 적재시간과 적재비용을 유지할 수 없다. 따라서 본 논문에서는 선반입 구간을 고정함으로써 적재비용과 적재시간을 일정한 범위 이하로 유지하면서 시스템 자원의 활용율을 높이는 방법을 제안한다. 그리고 고정 선반입 구간을 사용할 경우 발생하는 상영 실패를 GOP내의 B프레임에 한정하며, Drop모듈을 이용하여 미디어 질 저하를 전체 사용자에게 분산시키는 방법을 제안한다.

n개의 동일한 프로세서 상에서 m개의 주기적인 태스크들의 적합한 스케줄을 구하기 위한 알고리즘을 제시한다. 정수이하의 작은 시간으로 태스크의 실행시간이 잘라질 수 있다는 가정 하에 태스크 집합은 기본 스케줄링 알고리즘을 통해서 부분적인 스케줄을 얻고 정수 화를 위한 다중프로세서 스케줄링 알고리즘으로 적합한 스케줄을 구성한다. 또한 태스크들에 대한 활용도의 합이 n보다 작거나 같다는 조건은 실시간 다중프로세서 시스템에서 주기적인 태스크 집합에 대한 적합한 스케줄을 구성하기 위한 필요.충분조건임을 보여준다.

분산 공유 메모리(Distributed Shared Memory)시스템은 사용자에게 간단한 공유메모리 개념을 제공하기 때문에 사용자는 노드 사이의 데이터 이동에 관여할 필요가 없다. DSM에서 일치서 유지를 위한 프로토콜을 선택하는 것은 통신부하를 줄이는데 중요한 역할을 한다. 본 논문은 DSM 프로토콜을 효과적으로 선택하기 위한 새로운 성능평가 모델을 제시한다. 본 연구에서 제안하는 성능평가 모델을 사용함으로써 무효화방식(invalidate protocol), 갱신 방식(update protocol) 그리고 이주방식(migratory protocol)의 성능예측이 가능하다. 본 성능평가모델은 노드들 사이의 데이터 일치성(consistency)유지를 위한 부담을 최소화하는 최적의 DSM 프로토콜을 결정하는데 사용된다.

실시간 시스템은 설계단계에서 주어진 태스크 집합에 맞게 구성되어 진다. 이러한 상황은 결국 동적인 상황에 시스템을 쉽게 적용할 수 없는 결과를 초래한다. 본 논문에서는 RTLinux환경에서 보다 동적인 상황에 적응하도록 효율적인 태스크 스케쥴링을 위한 프레임웍을 제시한다. Schedulability manager는 실시간 태스크의 특성에 맞게 스케쥴러를 선택하도록 하였으며 Slack manager는 non-critical 태스크를 스케쥴하도록 한다. 이로서 critical 태스크의 마감시한을 준수하면서 non-critical 태스크의 응답시간을 최소화한다.

최근 PC의 고성능화롤 PC 기반의 서버 사용이 증대되고 있다. 특히 Windows NT 는 인터넷 서비스를 제공하는 PC 기반 서버로 폭 넓게 사용되고 있다. 이러한 서버에서의 데이터 파괴는 막대한 손실을 가져 올 것이다. 데이터의 안정성과 고 가용성을 위한 방법으로 disk mirroring 기법이 여러 분야에서 사용되고 있다. 기존의 연구들은 UNIX 플랫폼에 편중되어 있고, 현실적으로 사용이 증대되고 있는 Windows 에 대한 연구는 상대적으로 빈약한 상태이다. 본 논문에서는 Windows NT device driver level에서 다수의 node에 대한 disk mirroring 기능 구현을 설계한다. Windows NT는 계층화된 driver layer로 구성되어 있으며, 구현된 mirroring module을 드라이버 계층상에 추가함으로써 기존의 기능을 변경하지 않고 새로운 기능을 추가할 수 있다.

1990년대 초반에 등장한 인터넷을 기반으로 하는 서비스 중에 하나인 웹은 대중적인 인기를 확보하여 사용량이 기하급수적으로 증가하고 있다. 인터넷 사용자와 서비스 제공자의 증가에 따라 같은 객체에 대한 중복요청이 네트워크 대역폭의 상당 부분을 차지하여 불필요하게 낭비되며 일부 인기있는 서버로 부하가 집중되어 응답시간이 길어지게 된다. 이와 같은 문제를 해결하기 위해 인터넷 캐슁기법이 도입되어 연구되어 왔다. 사용자의 지연시간 및 네트워크 전송용량이 사용효율은 어떻게 캐슁을 설계하고 운영하는가에 따라 많은 영향을 받게 된다. 본 논문에서는 인터넷 캐슁을 위해 설계된 기존의 전략들을 살펴보고 우리의 새로운 알고리즘을 제안한다. 그리고, 각 알고리즘의 성능을 trace-driven 모의실험을 통해 검증한다.

내장형 파일 시스템을 구현하기 위한 MMDB(Main Memory DB)는 주 기억 장치 상주 메모리 데이터베이스 시스템으로서 이동전화 단말기나 PDA(Personal digital assistants)같이 하드디스크를 가지지 않는 시스템을 대상으로 한다. 하드디스크를 고려하지 않은 점에서 기존의 MMDB와는 다른 메모리 관리 방식이 필요하며, 이를 위한 방안으로 내장형 파일 시스템을 구축하여 효율적인 메모리 관리가 가능하다. 내장형 파일 시스템은 리눅스의 가상 파일 시스템과 유사한 기능을 제공하여 다양한 형태의 파일 시스템을 쉽게 구축하고 사용할 수 있으며, OS가 필요에 따라 파일 시스템의 설정을 변경하여 사용할 수 있다. 또한 OS의 메모리관리자와 파일 시스템의 중복 기능을 제거함으로써 시스템의 성능을 개선시킬수 있고, 데스크 탑 PC와의 데이터 호환성을 향상시킬 수 있다.

분산 공유 메모리 상에서 클라이언트들은 네트워크를 통해 원격 공유 메모리 상으로 접근하게 된다. 접근 시에 클라이언트들은 접근 정보를 자신의 지역 캐쉬에 저장해 두었다가 필요시에 인출해서 사용한다. 그러나 시간이 경과함에 따라 다른 클라이언트들에 의해서 데이터 갱신이 이루어질 수 있다. 이에 본 논문에서는 원격 데이터 정보를 객체로 설정하여 이 객체를 관리하여 분산 공유 메모리 상에서 데이터 일관성을 유지하고자 한다. 객체 중복을 통해서 분산 객체 시스템을 구성하였을 때 기존의 중복 기법에서 사용하는 일관성 비용 이외에 별도의 추가 비용이 없이도 제한적으로 병렬 수행의 효과를 볼 수 있다. 또한 중복 기법에 있어서 가장 큰 오버헤드로 알려진 일관성 유지비용을 최소화시키기 위하여 이 비용을 결정하는 가장 핵심저인 요소인 객체의 복사본의 수를 동시적으로 변화시키면서 관리함으로써 전체 수행 시간의 측면에서 많은 향상을 가져왔다.

운영체제와 컴퓨터 언어상의 문제점인 버퍼 오버플로우가 보안상의 위협으로 등장하고 있다. 이를 이용한 공격은 한 호스트의 모든 제어권을 가질 수 있기 때문에 보안상의 위협 중 심각한 부류에 속한다. 본 논문에서는 버퍼 오버플로우의 원리 및 관련연구를 설명하고 기존에 프로그램 각각에 따라 오버플로우 코드가 존재하던 것에 비해 일반적으로 적용 가능한 탐지 시스템을 제안한다.

검사점 및 복구 도구는 응용 프로그램의 상태를 주기적으로 안정된 저장소에 저장을 하고, 결함이 발생하였을 경우 가장 최근의 검사점으로부터 효율적으로 복구하게 하는 도구이다. 특히 검사점 및 복구 도구는 장시간 수행되는 프로세서에게는 아주 중요한 의미를 지니며, 결함으로 인해 장시간 수행되는 프로세스에 의해 생성된 중간 결과를 잃어버리지 않게 한다. 본 논문에서는 UnixWare 커널 수준의 검사점 및 복구 도구인 Kckpt의 설계 및 구현 내용을 제시하고, Kckpt의 성능을 사용자 수준에서 구현한 검사점 라이브러리와 비교한 결과를 제시한다. Kckpt를 사용함으로 해서 UnixWare는 소스 코드 수준에서 사용자가 초기화한 장소에서 검사점을 만들 수 있을 뿐만 아니라 실행 가능한 파일만을 가진 사용자에게도 완전한 투명성을 제공할 수 있다. 또한 Kckpt를 사용자 라이브러리 수준에서 구현한 검사점 도구와 성능을 비교한 결과 오버헤드가 훨씬 줄어들었음을 관찰할 수 있었다.

최근의 내장형 시스템은 점점 대형화되고 복잡성이 증가하고 있다. 또한 시스템의 생명주기는 매우 빠른 속도로 단축되고 있는 추세이다. 이에 따라 발생될 수 있는 에러율이 증가하고 있으며 이를 해결하기 위해 많은 비용과 시간에 소비될 수 있다. 따라서, 시스템 설계단계부터 신뢰성과 안정성을 보장하며 신속하게 명세를 표현할 수 있는 정형 명세 기법이 필요하다. 본 논문은 신속하면서 견고한 정형 명세 개발을 위해 컨포넌트를 지원하는 Statechart 도구를 구현한다. 본 논문에서 개발된 도구를 이용하면 이미 작성된 정형 명세를 최대한 재사용함으로 새로운 시스템 설계의 개발시간을 단축시킬 수 있는 장점을 지닌다.

Statechart는 기존 상태추이도를 확장한 것으로서, 반응시스템을 명세하기 위해 제안된 가시적 정형기법이다. 그러나 statechart에서의 비결정성은 실시간 시스템에서의 예측가능성에 심각한 문제를 유발할 수 있다. 또한, 이를 해결하기 위한 기존의 우선순위 표현방법은 statechart의 비결정성을 완전히 해결하지 못하고 있을 뿐 아니라 실시간 시스템에서 요구하는 다양하고 동적인 우선순위 변화를 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적으로 우선순위 변화에 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적 우선순위를 변화시킬 수 있는 동적 우선순위 개념을 제안한다.

자원 예약을 보장하지 못하는 네트워크 상에서 실시간 멀티미디어 응용의 만족스러운 서비스를 위해서는 효과적인 종단 시스템의 운영이 필요하다. 이러한 운영 기술 중 버퍼를 이용한 응용 프로그램 수준의 대역폭 평활화 기술과 태스크 스케줄링 기법은 핵심적인 부분을 차지한다. 기존에 제안된 온라인 대역폭 평활화 기법은 동적 슬라이딩 윈도우와 공적 버퍼를 이용하여 네트워크에 적응할 뿐만 아니라 요구 대역폭 평활화를 통해 지터를 흡수, 완충시킴으로써 더 나은 서비스 품질을 보장한다. 그러나 응용 프로그램 수준에서 동작하기 때문에 프로그램의 수행 품질보장을 위한 시간 대역을 보장하지 못할 뿐만 아니라 지터의 발생 가능성이 높다. 본 연구에서는 효과적인 버퍼 관리를 통해 서비스 품질의 손실을 최소화하는 적응성 있는 온라인 대역폭 평활화 기법이 안정적으로 동작하기 위한 최적화된 태스크 스케줄링 기법을 제안한다. 먼저 태스크 스케줄링 기법은 멀티미디어 데이터의 생산과 소비를 적시에 보장할 수 있도록 하여 지터의 발생을 최소화하고, 만일 네트워크 지터가 발생하더라도 응용 프로그램 수준의 버퍼 관리를 통해 완충시킴으로서 서비스 품질의 손실을 최소화한다. 모의 실험에서는 제안된 기법이 온라인 대역폭 평활화 기법을 효과적으로 지원함을 보인다.

본 논문은 분산 서버 시스템을 위한 Load Balancing Architecture를 제안한다. 이 구조는 기존에 구현된 클라이언트/서버 시스템을 그대로 사용하면서 규모를 확장할 수 있는 특징을 가지고 있다. Load Balancing Service가 동작하기 위해서는 서버의 성능과 구성상태에 대한 정보를 주고받는 것이 필요하다. 이를 위하여 본 논문에서는 Load Balacing Information Transfer Protocol을 제시한다. 본 논문이 제시하는 구조는 DCOM 및 EJB 등의 Component 서버에서도 사용되어서 확장성을 가지게 할 수 있다.

멀티미디어 저장 서버에서는 실시간 클래스와 비실시간 클래스의 두가지 상이한 종류의 요청이 존재한다. 비디오 오디오 등의 실시간 클래스는 정해진 시간 안에 추출되어야 하며 종료시한에 대한 만족이 보장되어야 한다. 반면 텍스트 데이터 등의 비실시간 클래스는 공정한 서비스와 빠른 응답 시간을 요구한다. 본 논문에서는 두 클래스의 요구사항을 동시에 만족시키기 위하여 각 클래스에 할당된 가중을 동적으로 제어하는 디스크 스케줄링을 제안하였다. 클래스 가중은 각 클래스의 가중은 각 클래스에 할당된 디스크 대역폭의 비율을 말한다. 또한 수용제어 알고리즘의 결과를 이용하여 각 클래스의 가중을 동적으로 변화시켜 유혹 대역폭이 효율적으로 이용되도록 하였다. 성능 측정 결과 동적 가중을 이용한 디스크 스케줄링은 비실시간 요청의 평균 응답시간 면에서 정적 가중을 이용한 디스크 스케줄링보다 좋은 성능을 나타낸다.

많은 분산 시스템에서 사용되는 방송 통신 프로토콜들은 노드의 고장에 대한 대비를 한다. 순차기 기반 방송 통신 프로토콜은 선출과정을 거치고, 논리적 링 기반 방송 통신 프로토콜은 고장난 노드를 제외한 노드들로 새로운 링을 구성하는 과정을 거치게 된다. 이러한 기존의 방법들은 정상 동작중인 노드들의 상태를 조사하기 위해 너무 많은 메시지의 전송이 이루어진다. 따라서 고장을 검출한 시점부터 새로운 방송 메시지를 전송할 수 있을 때까지 상당히 많은 시간이 요구된다. 본 연구에서는 방송권한을 이용하는 전체 순서화 방송 통신 프로토콜에서 노드의 고장이 발생할 경우 적은 수의 메시지 전송만으로 새로운 방송 메시지를 전송할 수 있는 프로토콜을 제안하였다. 본 연구의 프로토콜은 노드 수의 증가와 무관한 메시지 전송이 이루어져 대규모 분산 시스템에 적합하다.

최근 컴퓨팅 기술과 통신 기술의 급속한 발전으로 클라이언트/서버 컴퓨팅 환경에서 네트워크 컴퓨팅 시대를 지나 인터넷 컴퓨팅 시대가 도래하고 있다. 인터넷 사용이 보편화되어 감에 따라 기업의 정보 시스템의 인터넷 기반의 인트라넷/익스트라넷 시스템으로 구축되어 가고 있으며 인터넷 환경에서의 기업과 소비자간 또는 기업과 기업간의 전자 거래 관련 응용 프로그램의 개발이 다양해 지고 있다. 본 논문에서는 인터넷 환경에서 기업과 기업간 전자 거래에 있어서 기업의 글로벌화를 통해 조달 업무의 투명성과 신속성 및 질적 향상을 추구할 수 있도록 제공하기 위한 웹 기반 전자 입찰 시스템을 구현하는데 있어서 클라이언트와 서버 및 데이터 베이스를 연동하기 위한 웹기술, 기업간의 문서 교환을 위한 XML/EDI 기술 및, 입찰과 계약과정, 조달과정에서 안전성 및 신뢰성을 보장하기 위해 공개키 암호화 기술인 PKI 기반 구조의 인증 및 전자서명을 활용한 보안 기능을 설계한다.

자바가상기계(JVM : Java Virtual Machine)는 실행전에 바이트코드를 확인하는 바이트코드 검증기와 실행환경에서 점검하는 바이트코드 인터프리터를 포함한다. 자바 애플릿은 서비스 거부 공격이나, 사용자를 속이기 위한 조작한 링크 정보를 상태바에 보인다거나, 전자메일을 위조하여 보내는 등의 사용자에 유해한 행위를 할 수 있다. 웹브라우저를 통해 유해한 행동을 하는 클래스에 대해 사전에 바이트코드 수정을 통하여 안전한 클래스로 대체한다. 바이트코드 수정에는 클래스 수준 수정과 메소드 수준 수정이 있다. 클래스 수준 수정은 자바의 상속성을 이용하고. final 클래스나 인터페이스처럼 상속되지 않는 클래스는 메소드 수준에서 바이트 코드 수정을 한다. 메소드 수준 수정은 바이트코드 명령과 Constant Pool을 수정한다. 바이트 코드 수정을 적용하면 웹서버, 클라이언트, 브라우저에 대해 어떠한 별도의 작업도 필요없이 프락시 서버에서 유해클래스를 Safe 클래스로 수정한 후 브라우저에 보인다.

최근 전산망 컴퓨터 침입사고를 미연에 방지하고 사고 발생 시에 대처하는 전산망 보안 시스템의 필요성이 그 어느 때보다 높아지고 있다. 그러나 해킹기술의 발달, 컴퓨터 전산망의 복잡성 및 대규모화, 그리고 TOP/IP Internet Protocol Suite가 가지고 있는 근본적인 보안상의 문제점으로 인해 전산망 침입을 미연에 방지하고 대처하는 것이 현실적으로 매우 힘들다. 본 논문에서는 호스트 컴퓨터 시스템의 각 로그파일에 대한 로그트리를 하나의 로그트리로 통합하여 시스템 정보를 수집하고 침입자의 행동을 효율적으로 분석하는 기능을 가지고 있는 서버-에이전트 기반의 침입 분석 에이전트 시스템을 제시한다.

시스템에 대한 불법침입을 탐지하고자 하는 침입탐지 시스템에 관한 연구가 활발히 진행되고 있다. 또한 에이전트들이 돌아다니면서 일으키는 행위는 큰 문제점이 되고 있으나. 에이전트가 서버에서 활동을 전개하기 전에 불법적 행동을 탐지하는 것은 거의 불가능하므로, 본 논문에서는 에이전트마다 수행가능한 명령어의 집합을 정의하고 그 외의 명령어를 사용하는 경우를 침입으로 탐지하는 방법을 제시하고자한다. 에이전트에 등급을 부여하는 방법과 각 등급에 따른 명령어의 집합, 에이전트의 메시지 교환시 명령어의 사용을 검사하는 방법 등을 제시한다. 에이전트를 등록하고 에이전트의 관리를 담당하는 ANS와, 상이한 ontology 정보를 분석하여 시스템에 사용 가능한 형태로 바꾸어 주고 필요한 메시지의 내용을 분석하는 OTS가 존재한다. 만약 에이전트의 불법적 행위가 발견되면 접속을 끊거나 에이전트의 등록을 해지한다.

인터넷에서의 보안 사고가 급증하게 되면서 여러 가지 보안 도구들이 소개되고 있으나, 보안상 완벽한 효과를 기대하기 어렵고 침입에 의한 자료 손실이 발생하였을 경우를 위한 대책은 전무한 상태이다. 본 논문은 보안관리 통합시스템의 에이전트들 간에 주기적인 백업을 수행하게 함으로써 침입자의 부정행위에 의한 자료 손실을 신뢰적으로 복구할 수 있는 메커니즘을 제시한다.

현재의 인터넷을 통한 웹 서버/클라이너트 환경에서 보안과 신뢰성 문제는 나날이 증가하고 있다. 기술적인 측면에서는 이러한 문제점을 개선하기 위하여 서버는 기존의 Apache 웹 서버에 라이브러리 형태의 보안모듈을 추가하였다. 보안 모듈의 기능은 크라이언트의 요청이 발생하면 웹 문서에 대한 RSA 암호화 기능과 메시지의 무결성 검사를 위한 SHA-1기능과 키 생성을 위한 랜덤 키 생성 기능을 포함한다. 클라이언트는 기존의 웹 브라우저에 Winsock2의 LSP 기능을 이용하여 보안 모듈을 체인의 형태로 삽입함으로써 보안 상의 문제점을 개선하고자 한다. 클라이언트의 보안 모듈의 기능은 서버로부터 받은 암호화된 메시지에 대한 RSA 복호화 알고리즘과 메시지가 네트워크를 통해 전송되는 도중 변경되지 않았음을 증명하기 위한 SHA-1알고리즘을 포함한다. 그리고 사용자 편의성 측면에서 보안을 위한 새로운 소프트웨어의 설치와 기존의 프로그램 변경 없이 모듈을 추가, 삭제함으로써 사용자의 편리성을 추구 하였다.

분산 시스템 개발을 위해 사용되는 패러다임(paradigm)의 수행능력은 여러 요소들을 종합하여 고려하여 평가해야 한다. 분산시스템 개발 시 사용되는 대표적인 패러다임으로 클라이언트/서버(client-server) 구조의 RPC(Remote Procedure Call)가 있다. 또한 최근 들어서는 이동성(mobility)과 지능성(intelligence) 이라는 특성을 갖고 네트워크 부하(network load)를 감소시킬 수 있는 이동 에이전트에 대한 요구도 증가하고 있다. 그러나 이동 에이전트를 이용하여 개발한 분산 시스템이 기존의 접근 방식에 비해 성능이 좋은 지의 여부는 아직도 의견이 분분하다. 또한 분산 시스템의 성능은 어떤 패러다임을 쓰는가 뿐 아니라, 선택된 패러다임의 수행 패턴에 의해서도 많은 영향을 받는다. 본 논문에서는 RPC 와 이동 에이전트 그리고 locker 패턴이 적용된 이동에이전트의 수행을 평가하기 위한 수행 평가 모델과, 이 모델을 기초로 하는 분산 시스템 개발을 위한 수행 패턴 결정 알고리즘을 제시하고자 한다.

임베디드 시스템에서의 응용 개발 기술들은 주로 임베디드 장치에 종속적인 것들로 CPU, 다양한 입력장치, 네트워크, 디스플레이, 사용자 인터페이스에 따라 개별적으로 소프트웨어 및 서버스들을 개발하는 방식으로, 소프트웨어의 내용과 복잡도의 증가에 따른 개발의 어려움이 증가하는 구조이다. 또한 네트워크를 기반으로 한 임베디드 시스템에서 이기종간의 상호운영이 가능한 서비스의 개발이 큰 문제가 되고 있다. 본 논문에서는 자바 기반의 임베디드 ORB를 설계한다. 설계한 ORB는 임베디드 OS 환경에 자바 비추얼 머신 상에서 동작 하므로 다양한 임베디드 시스템에서 별도의 코스 변환이나 수정 없이 이용할 수 있는 표준화된 API를 제공하며 모듈화를 통해 기능의 확장과 축소가 가능한 구조를 가진다. 또한 minimumCORBA 사양을 준수 함으로서 기존의 CORBA 서비스나 제품들과 상호 운영성을 유지한다.

Nowadays, efforts are in progress for the standardization of CORBAbased telecommunication network management framework. To implement a network management system based on the framework completely, CORBA ORB and some of CORBA service should be installed in the element. And then, there must be the naming tree, which correspond to the containment relationships between components in the network element. If we use conventional OMG naming service to form the naming tree, all MOs, a software fragmenthat corresponds to each component in a system, should be instantiated. However, the network element is usually a kind of limited resource system, which cannot provide sufficient resources for applications run on it. Hence, instantiatingall MOs can cause problems for that kind of system, This paper presents Smart Naming Service architecture as a solution to the problem.

Interworking of legacy TC application and CORBA-BASED one is important to satisfy emerging market demands of the rapid introduction of new multimedia services and building of scalable, flexible, and interoperable service control architecture. For this, we develop generic TC/CORBA gateway on interworking between. TC and CORBA system Generic TC/CORBA gateway can be used for interworking in many fields of telecommunication service control such as INAP, MAP, other TC-based application parts, and mobility management of IMT-2000. Finally, we propose the object pool mechanism for efficient management of TC-user objects and it is helpful for enhancement of scalability and reduction of the response time of remote service operations.

컴퓨터 하드웨어의 빠른 개발 주기에 맞춰 저 가격, 고 효율성, 높은 신뢰성, 호환성 등의 장점을 가진 PC가 현대의 컴퓨터 흐름을 주도하게 되었다. 이에, 산업분야 전반에 걸친 컴퓨터 적용이 증가는 많은 발전과 변화를 가져왔다. 특히, 자동화 시스템분야에서 그 효과가 두드러졌는데 이는 고 가격, 긴 개발기간 등을 필요로 했던 과거와 달리 저 가격, 짧은 개발기간, 다양한 개발환경 등을 이룰 수 있었다. 또한, 생산량 증가에만 의존하던 과거의 자동화 시스템은 현대에 이르러 시스템의 최적화, 효율의 극대화, 시스템의 안정성, 운용의 편리성, 호환성 등의 개념들이 도입되고 있다. 특히, 시스템의 생산성을 높이려는 노력도 많이 이루어지고 개발되었는데, 이를 위해서 시스템의 효율성은 그 기준이 되는 필수적인 요소가 되었다. 자동화 시스템에서 효율성을 평가하는 기법을 여러 가지가 있다. 그중 생산성과 직접 관계되는 효율 데이터는 UPEH(Unit per hour)를 들 수 있다. 따라서, 본 논문에서는 이러한 효율성에 관련하여 그 기준이 되는 생산 데이터에 대한 시스템 효율성을 자동으로 산출하며, 이를 사용자에게 제공함으로써 보다 정량화 되고 객관적인 평가 자료가 되도록 하였다. 본 논문이 적용된 자동화 시스템은 제어부 시스템과 GUI 시스템으로 나뉘어지는데 효율 데이터의 산출 및 관리는 GUI 시스템에서 담당하였다. 또한, 이를 위하여 Windows 98 운영체제를 사용하였다.

본 논문에서는 음란사이트를 효과적으로 탐지하기 위하여 퍼지 추론을 이용한 방법을 제안한다. 사용자로부터 몇 개의 음란 사이트 URL을 질의로 입력받아, 해당 URL로부터 수집된 웹 문서들에서 웹 태그와 불용어를 제외한 모든 용어들을 추출한 후, 용어의 DF, TF, HI(Heuristic Information) 정보들을 퍼지 추론에 적용하여 사용자가 제시한 음란 사이트에서 용어의 중요도를 산정한다. 또한, 웹 로봇은 인터넷에서 웹 문서를 수집하고, 퍼지 추론에 의해 산정된 용어의 중요도를 이용하여 수집된 웹 문서가 음란 문서일 가능성을 판별한다.

본 논문에서는 클러스터에 기반한 주문형 비디오 (VOD: Video On Demand) 시스템에서의 QoS (Quality of Service) 아키텍처를 제안한다. 제안하는 QoS 아키텍처는 IP 네트웍상에서 사용자에게 다양한 서비스 질의 선택과, 선택한 질의 보장을 제공하며, 클러스트 시스템의 자원관리를 통해 서버의 효율을 극대화 시킨다. 클러스터 VOD 시스템의 QoS 아키텍처는 사용자 요구의 협상을 위한 Weighted Price 함수와 요구분배 기법인 Max-min 함수를 이용하여 사용자에게 제공하는 QoS의 수준을 높여주고, 저장 서버들간의 부하균등을 통해 효율성을 높인다. QoS 아키텍처 내의 핵심 모듈인 QoS Mapper와 QoS Manager의 성능을 확인 하는 실험을 통하여 사용자에게 서비스되는 QoS 수준이 증가하였음을 확인할 수가 있었고, 저장서버들간의 부하를 효과적으로 분산시켜 VOD 시스템의 동시 사용자수를 증가 시키고, 안정적인 서비스를 할 수 있음을 확인하였다.

최근 인터넷 상에서 동영상을 비롯하여 다양한 멀티미디어 서비스가 제공되고 있는 추세이다. 이러한 서비스를 제공하기 위해 스트림 서비스 기술과 분산 객체 기술의 접목이 시도되고 있고, 다양한 스트림 서비스 관리 모델과 이를 지원하기 위한 프로토콜에 대한 많은 연구가 진행되고 있다. 그러나, 기존에 제시된 관리 모델들은 스트림 전송의 서비스 질(QoS)에 대한 지원이 미흡한 실정이다. 또한, QoS에 관련된 기능들이 특정 응용 서비스의 부속 모듈에 개발됨에 따라, 확장이나 재사용하지 못하는 문제점을 갖고 있다. 따라서, 본 논문에서는 분산 객체 기술의 표준인 CORBA를 기반으로 확장 및 재사용이 용이하고 스트림을 지원하기 위한 QoS 지원 통합 모델을 제시하고자 한다. 제안된 모델은 사용자 모듈, QoS 관리 모듈 및 스트림 객체의 세가지 컴포넌트로 구성되며, QoS 관리 모듈은 자원 모니터링, 협약과 자원 적응 기법을 제공하여 QoS를 향상시키고, 사용자 모듈과 스트림 객체간의 상호 연동(interaction)을 지원토록 하였다.

PC 통신망 및 인터넷을 통한 새로운 형태의 바이러스가 국내외에 유입되어 빠르게 확산되고 있으며 이에 대한 피해 역시 급증하고 있다. 때문에 새로운 형태의 네트워크 유입 차단용 바이러스 탐지 시스템 개발을 통하여 사전에 네트워크를 통한 바이러스 유입을 방지하고 나아가 그 피해를 최소화 할 필요가 있다. 따라서 본 논문에서는 바이러스 차단에 대한 국내외 기술 현황에 대해 알아보고 기존의 바이러스 차단 모듈에 대해 고찰하고 아울러 네트웍 상에서 바이러스 차단을 위한 새로운 실시간 시스템을 설계하였다.

사용자들이 네트워크에 의해 커버되는 영역내의 어느 곳이던지 이동할 수 있는 이동 무선 네트워크에서 어떤 이동 단말기가 다른 이동 단말기와 통신하고자 하는 경우, 먼저 목적지 이동 단말기의 위치를 찾아야 한다. 따라서 이동 단말기의 위치 정보를 관리하는 것은 이동 무선 네트워크에서 아주 중요한 문제이다. 본 논문에서는 대형 이동 무선 네트워크에 적합한 3-계층 동적 분산 위치 관리 방법을 제안한다. 여기서는 이동 단말기가 다른 셀의 이동 단말기들로부터의 위치 탐색 요청 회수를 고려하여 계층별로 협동하는 다른 위치 관리 방법을 사용하였으며, 분석적 평가를 통하여 제안하는 방법의 성능을 평가하였다.

분산 네트워크 환경에서 단절점의 존재는 신뢰성을 떨어뜨리는 주요한 요인이며, 통신 트래픽의 부하가 집중될 수 있는 지점이다. 본 논문에서는 분산 이동 컴퓨팅 환경을 갖는 네트워크상에서 분산 깊이 우선 탐색 방법을 이용하여 단절점을 찾는 효율적인 방법을 제안 한다. 시작 노드는 단절점을 발견하기 위한 이동 에이전트를 인접한 노드에 보내고, 파견된 이동 에이전트는 네트워크상의 각 노드들을 차례로 방문하여 깊이 우선 번호를 기본으로 하여 단절점을 찾게 된다.

이동 컴퓨팅이란 시가놔 장소에 구애 받지 않으면서 컴퓨팅을 수행할 수 있는 것을 말한다. 현재 다양한 사용자의 요구를 수용하기 위하여 이동 컴퓨팅에 관한 연구가 세계적으로 활발히 진행되고 있다. 이동 컴퓨팅은 이동 호스트 자체의 결함, 네트워크 연결 단절, 무선 링크의 결함 등의 기존 유선 네트워크에서는 찾아볼 수 없는 새로운 결함 원인들을 포함하고 있다. 그러나 현재 이동 컴퓨팅 연구 중에서 이러한 이동 호스트의 결함을 효율적으로 대처하는 결함 허용 기법에 관한 연구는 미미한 실정이다. 이에 본 논문에서는 기지국의 결함이 발생하여도 이동 호스트가 복구가능하도록 하는 Redundant Lazy 기법을 제안하고 성능을 분석한다.

무선기술의 발전과 다양한 휴대용 장비가 개발되면서 무선 인터넷 서비스에 대한 요구가 증가하고 있다. 하지만 현재 네트워크에서 사용되고 있는 IPv4를 이용해서는 IP의 이동 환경을 지원하지 못한다. 이에 여러 연구가 진행되고 있으며 IETE의 Mobile IP Working Group에서는 기존의 IPv4를 사용하면서도 이동환경을 지원하기 위한 이동 IP에 대해 연구를 진행하고 있다. 이에 본 논문에서는 인터넷에서 계층적이며 효율적인 이동성 지원을 위하여 인트라 도메인과 인터도메인에서 이동성 지원을 위한 기법을 제안한다. 본 논문에서는 멀티캐스트 라우팅 프로콜인 PIM-SM(Protocol Independent Multicase-Sparse Mode)과 MSDP(Multipicast Source Discovery Protocol)를 이용하며, 하나의 이동 노드 (Mobile Node, MN)는 대응 노드(Correspondent Node, CN)에 의해 특정한 멀티캐스트 그룹으로 인식된다. 이동 노드를 목적지로 하는 패킷은 RP(Rendezvous Point)로 보내진 후 이동노드의 현재 위치로 포워딩 된다. 또한 인트라 도메인과 인터 도메인에서 계층적이며 효율적인 방법을 지원함으로써 핸드오프 지연을 감소시키며, 홈 에이전트와 대응 노드에 부가되던 부하를 줄일 수 있다.

Mobile ad hoc network는 무선으로 연결된 호스트들이 쉽게 이동할 수 있는 망으로써, 미리 설치된 유선망을 이용하는 Cellular망과 달리 이동 호스트사이의 통신만으로 이루어진 망이다. 이 Mobile Ad Hoc Network에서는 각각의 노드들의 이동성이 높기 때문에 이 각각의 노드들의 라우팅 경로를 결정하는 것이 중요하다. 이에 따라 Ad Hoc Network를 위한 많은 라우팅 프로토콜이 이미 제안되었다. 본 논문은 Location 정보를 이용한 Location Aided Routing(LAR)에 고정 호스트(Post)가 존재할 경우 Mobile ad hoc network에서의 향상된 Routing 기법을 제안한다. Location Aided Routing은 일발 flooding 기법에 비하여 Request zone을 이용하여 제한된 영역에서 라우팅을 하기 때문에 성능이 향상되었다. 본 논문에서는 여기에 고정 호스트를 두어 더욱 제한된 영역에서 라우팅을 하기 때문에 기존의 라우팅에 비하여 성능이 향상되었다.

유무선 고속 네트워크 기술을 통합한 새로운 컴퓨팅 환경을 이동 컴퓨팅이라 한다. 이동 사용자는 고속 네트워크 상에서 다양한 종류의 서비스를 액세스할 수 있을 것이다. 고속 네트워크에서 그러한 서비스들의 품질은 다수의 QoS 매개변수로 상세될 수 있다. 이동 환경에서 가장 중요한 QoS 매개변수는 이동 사용자에게 단절 자유 서비스를 제공하는 무단절 통신의 보장이다. 서비스 단절은 활동적인 핸드오프에 의해 발생된다. 본 논문에서는 단절 자유 서비스에 대한 언어 OoS 보장을 제공하는 퍼지 무단절 통신 방법을 제안한다. 이 방법에서는 이동 호스트의 이동 방향을 예측하고, 퍼지 소속 함수를 사용해서 모든 이웃 셀이 아닌 제한된 이웃 셀에게 지연 멀티캐스트를 수행한다. 제안하는 퍼지 무단절 통신 방법을 통해 언어 QoS 보장이 가능할 뿐만 아니라 정적 네트워크 대역폭을 많이 절약할 수 있음을 보인다.

이동컴퓨팅의 응용에서 대부분은 정보 송신축으로부터 정보 수신 축 방향으로의 통신량이 많으므로, 이런 비대칭 통신환경에서는 브로드캐스트(broadcasting)방법이 효과적이다. 본 논문에서는 기존에 제안된 마감시간을 갖는 주기적 정보전달과 빠른 엑세스시간이 요구되는 비주기적인 정보전달이 동시에 요구되는 환경에서, 실시간 정보들의 실시간 제약을 만족시키면서 비실시간 정보들의 평균 대기시간을 최소화시키는 효율적인 채널 할당 방법을 제안하고 성능평가를 하였다.

분산 이동 시스템은 단순한 통신 기능에서 작업 흐름 관리, 화상회의, 전자 메일과 같은 서비스를 제공하는 시스템으로 급속히 확대.발전하고 있으며, 이들 어플리케이션들은 사용자의 요구를 반영하기 위해 메시지를 인과적 순서로 전달해야 한다. 인과적 메시지 전달을 제공하는 기존의 방법들은 많은 피기백(piggyback) 정보로 인한 통신 오버헤드 혹은 어플리케이션으로 전달하는 메시지의 지연, 이동 호스트의 증가에 대한 비확장성 등의 문제점이 있다. 이 논문은 기지국과 이동 호스트 사이의 종속 정보 행렬을 기지국이 유지하며, 즉각 선행자 메시지(immdiate predecessor message)에 대한 종속 정보만을 각 메시지에 피기백하는 방법을 통하여 기존 기법의 문제점을 해결하는 효율적인 인과적 메시지 전달 기법을 제안한다. 제안하는 알고리즘은 이전의 알고리즘들과 비교해서 낮은 메시지 오버헤드를 가지며, 메시지를 전달할 때의 불필요한 지연(inhibition)이 발생하지 않는다. 또한 제안된 알고리즘은 이동 호스트의 에너지 사용에 대한 제약성, 무선 통신의 낮은 대역폭, 이동 호스트 수의 증가에 대한 확장성, 무선 통신의 잦은 접속 단절과 같은 요소를 고려한다.

인터넷의 비약적인 성장과 더불어 WWW는 컴퓨터의 절대적인 응용으로 이용되고 있다. 기존의 웹은 단순한 정보검색 및 처리에서 전자상거래와 같은 중요 데이터를 다루는 추세로 바뀌고 있다. 한편 무선 매체를 이용한 웹 접속이 일반화되는 상황에서 웹 서비스를 위한 기존의 C―S(클라이언트-서버) 모델을 이동 호스트에 그대로 적용하기에는 여러 가지 문제가 따른다. 본 논문에서는 이동 호스트가 웹을 이용할 때 클라이언트와 서버 사이에 비동기적인 트랜잭션을 지원할 방법을 제안한다. 방법론은 MMS(Mobile Management Server)를 기반으로 하는 클라이어트-서버 모델과 이동호스트를 위한 웹 서비스 구조를 포함한다.

현재 IMT-2000서비스를 위한 패킷 전송 망의 표준화는 특히 북미 방식의 3세대 패킷 데이터 시스템과 유럽의 GPRS, 이 두 가지 분야를 중심으로 연구가 진행되고 있다. 지금까지 국내의 이동통신은 CDMA를 중심으로 발전해 왔고 WAP 표준이 나온 후로도 계속해서 CDMA방식에 WAP을 적용하려는 노력이 계속되고 있다. 하지만 WAP은 GSM의 성능을 개선하기 위해 등장한 것이고 특히 GSM의 새로운 기술은 GPRS에 WAP을 적용시키면 이동 간에 인터넷 서비스는 물론 다양한 응용을 윤활하게 서비스할 수 있다. 본 논문에서는 GPRS 기반 하에 WAP을 연동시킬 수 있는 방안을 기술하고자 한다.

환경부나 지방자치단체에서는 환경문제를 사전에 예방할 수 있는 체계를 마련하기 위하여 오염물질 배출업체가 환경감시 시스템을 통하여 환경오염물질의 배출상태를 실시간으로 측정하여 공시하도록 의무화 하고 있다. 그러나 환경단체나 지역주민들은, 환경부나 지방자치단체에 제공된 환경정보에 대한 신뢰감이 부족한 현실이다. 본 논문에서는 환경정보의 신뢰성 제공을 위하여 암호학적 인증 메커니즘을 이용한 환경정보 인증 서브 시스템을 설계, 구현하였다. 제시한 환경정보 인증시스템에서는 클라이언트/서버간 인증, 환경정보에 대한 무결성 보장 및 접근통제, 감사기록의 기능을 제공한다.

최근 인터넷을 매개체로 하여 디지털 정보 상품들의 거래를 행하는 새로운 지불 시스템이 요구되고 있다. 이는 기존의 지불 시스템들을 디지털 정보 상품 거래에 적용시키기 어렵기 때문이다. 기존의 지불 시스템들은 어느 정도의 큰 액수를 다루는 대액지불 방식들이므로 각각의 개별 정보들의 거래를 위해서 사용되어진다면 정보 상품 거래의 이익보다 운영 비용이 더 크므로 경제성이 없게 된다. 그리하여, 최근에 인터넷에서의 소액의 디지털 정보 상품들의 거래에만 사용되어질 새로운 소액지불 시스템들이 연구되고 있고 몇 가지 방식들이 제안되었다. 그러나, 제안된 소액지불 시스템들은 불필요한 계좌 생성, 관리와 지불된 모든 소액 화폐의 집합(aggregation), 저장이라는 문제점을 가지고 있다. 이들 문제점들은 많은 부담을 주는 전자사인 등과 함께 소액지불 시스템의 운영비용을 크게 늘리는 항목이다. 그러므로, 효율적인 소액지불 시스템은 적적한 보안, 값싼 핵심 메커니즘의 구성과 함께 이들 문제점들을 해결해야만 한다. 이에 본 연구는 인터넷 전자상거래를 가능하게 해 줄 소액대금결제 방식인 PayHash 시스템을 설계하였다. 이 시스템은 값싼 화폐 생성 메커니즘과 적절한 보안을 가지고 있고 필요 없는 계좌 생성과 지불 값들의 집합, 저장을 피함으로써 소액지불 시스템으로서의 조건을 만족시키고 있다.

네트워크 인프라와 개인 PC 의 성능 향상으로, 실세계와 흡사한 가상세계가 점차 활성화되는 추세이다. 네트워크에 기반한 가상 환경이 갖는 가장 큰 장점은, 물리적으로 멀리 떨어져 있는 여러 사용자들을 하나의 가상공간에 있는 듯한 착각(illusion)을 주고, 실시간으로 상호작용이 가능하다는 것이다. 본 논문에서는 이러한 networked Virtual Environment(이하 net- VE)의 구성에 고려되어 지는 네트워크 구조와 DIS, HLA, vrtp등의 프로토콜을 살펴보고, 기존의 군사용 그리고 대학에서 구성된 net-VE 환경들에 대한 일반적인 특성들을 정리해본다. 그리고 현재 국내에서 서비스 되고 있는 net-VE 환경을 살펴본다.

인터넷과 전자상거래 시스템 기술의 발달로 인해서, 현재 인터넷상에서 많은 전자상점이 개설되고 있다. 이들 상점 중의 상당한 수는 소형으로서, 대형 전자상점과는 달리 자금력, 기술력이 열세하고, 판매상품의 종류가 제한적이며, 방문자의 수가 소수인 점등으로 인해서 운영상 많은 어려움을 겪고 있다. 따라서, 소형 전자상점의 판매 증대를 위해서 이들 상점의 개별적 운영과는 별도로 이들의 상품을 모아서 공동으로 판매하는 공간이 필요하다. 본 논문에서는 SOHO형 전자상점들의 공동 판매 공간인 공동 전자상점의 모델을 제안하고, 이를 기반으로 전자상점 플랫폼을 설계 및 구현하였다. 우리의 플랫폼은 기존 백화점식 쇼핑몰이나 메타 쇼핑몰과 비교해서, 소형 전자상점들과 공동 전자상점간의 자료 교환을 최소화함으로써, 기존 소형 전자상점이 쉽게 공동 전자상점의 참여할 수 있는 점이 장점이다.

본 논문에서는 멀티미디어 스트리밍 프레임워크에서 미디어 관리자의 설계와 구현을 기술한다. 미디어 관리자는 스트리밍 프레임워크 내에서 미디어 스트림이 어떠한 타입의 소스로부터 얻어지며, 어떠한 종류의 스트림인가를 판별하고, 그 미디어를 가장 적절하게 처리할 수 있는 코덱을 선택한 후, 어떠한 미디어 디바이스를 통해 재생되어야 효과적인지를 식별하고 관리하기 위해서 필요하다. 제안된 미디어 관리자는 미디어 소스와 싱크 모듈로 구성되어 있는데, 이는 멀티미디어 데이터베이스와 연동기능을 지원함으로써 높은 부가가치 서비스 제공을 가능케 하였고, RTP/RTSP 소스필터나 WinAmp 게이트웨이 기능도 지원함으로써 융통성을 제공한다. 더욱이, 향후 새로운 형태의 미디어 소스가 출현하더라도 이를 용이하게 스트리밍 프레임워크에 추가시켜 서비스할 수 있는 유연성과 확장성을 지원한다.

B-ISDN의 가입자망 내에 도입된 광대역 액세스 망은 다양한 유형의 가입자들을 서비스 노드로 집선 또는 다중화하는 기능을 수행한다. 액세스 망의 ATM 연결을 동적으로 제어하기 위한 VB5.2 인터페이스의 프로토콜로는 B-ANCC가 있으며, 가입자망의 연결 및 호 처리를 위한 프로토콜로 DSS2, 국간 망에서는 B-ISUP이 표준화되어 있다. 전송 시스템의 각 구간마다 서로 다른 프로토콜들이 사용되므로 이들 프로토콜간의 연동 기능이 필요하며, 순차형 연동 방식과 병렬형 연동 방식이 제안되어 있다. 순차형 연동 방식은 VB5.2 인터페이스 프로토콜의 응답이 올 때까지 기다린 후, 국간 망 프로토콜의 연동을 진행하는 방식으로 동작하고, 병렬형 연동 방식은 VB5.2 인터페이스 프로토콜과 국간 망 프로토콜의 연동을 동시에 진행하는 방식을 사용한다. 본 논문에서는 ATM 연결등에 대한 순차형 및 병렬형 연동 방식의 시뮬레이션을 수행하여 연동 방식이 연결 설정 지연 및 완료비에 미치는 영향을 분석하였다.

현재의 이동 컴퓨팅 환경은 더욱 보편화되고 있다. 그러나 베터리의 제약과 이동통신망의 높은 장애율로 사용에 불편을 느낀다. 여러 mobile client는 공통 관심이 있는 데이터를 서버로부터 받는 방법으로 broadcasting을 많이 쓰는데, 이때 indexing 기법을 이용해 클라이언트는 원하는 데이터를 filtering 해서 수신함으로서 에너지의 효율적 사용을 기할 수 있다. index를 중복시킴으로서 원하는 데이터의 access 시간을 줄이고 무선 통신망의 장애에 따른 성능 저하를 줄일 수 있다. 본 논문에서는 장애율에 따른 최적의 중복회수를 구하고 데이터 수신시 access 시간과 tuning 시간을 구한다.

본 논문은 셀룰러 이동통신 환경하에서 음성과 데이터가 통합된 통신 시스템의 트래픽 분석 방법을 제안한다. 통합된 통신 시스템에서 음성과 데이터 트래픽은 고유의 채널 영역을 갖고 있고 음성 영역에 유휴한 채널이 있을 경우 데이터 트래픽이 음성 채널을 사용할 수 있으며 음성이 발생하여 필요시 데이터 채널은 preempt 할 수 있는 시스템 제어 방식을 갖는다. 따라서, 본 논문에서는 이와 같이 가변하는 경계를 갖는 시스템의 블록킹 확률과 핸드오프 실패확률 등을 분석한다.

무선 네트웍을 기반으로 하는 모빌 컴퓨팅 기술은 빠르게 성장하고 있다. 무선 네트웍 환경은 특성상 작은 끊김과 높은 에러율 때문에 모빌 컴퓨팅에서는 비연결 수행을 하는 것이 필요하다. 수많은 개념과 이론들이 이러한 모빌 컴퓨팅 환경에서 비연결 수행기능을 제공하기 위해 제안되고 있다. 본 논문에서 마코프(Marcov) 모델링 기법을 이용하여 모빌 컴퓨팅 환경에서 비연결 수행상태를 포함한 평균 수행시간을 시뮬레이션을 통하여 측정하였다. 모빌 컴퓨팅 환경은 데이터 호딩(Data Hoarding), 비연결 수행(Disconnected operation), 정지(Stop)의 3가지 상태로 구성이 된다. 이러한 3가지 상태에서 여러 가지 입력 파라메터들(에러율(Error rate), 재연결율(Recovery rate), 호버 오버헤드(Hoarding overhead), 재연결 오보헤드(Reintegration overhead)로 전체 수행시간을 분석하였다. 이러한 분석을 통해서 모빌 컴퓨팅에서 보다 효과적인 비연결 수행을 위한 방법을 선택할 수 있다.

본 논문에서는 TCP 수신자가 지연 ACK 옵션(Delayed ACK Option)을 사용할 경우에 TCP 송신자에게 발생하는 성능 저하요인들을 분석하고 다음과 같은 해결책을 제시하였다. 먼저, 느린 시작 구간(Slow Start phase) 처음에 생기는 ACK 타임아웃은 큰 초기 윈도우(large initial window)또는 1-bit 마킹 기법을 통해 해결할 수 있다. 그리고, 느린 시작 구간과 혼잡 회피 구간(Congestion Avoidance phase)에서 혼잡 윈도우(cwnd)가 천천히 증가하는 문제는 적절히 바이트 카운팅 기법을 사용함으로써 해결할 수 있다. 마지막으로, 송신자가 버스트(burst)한 데이터를 네트웍에 발생시키는 문제는 트래픽을 평활(pacing)함으로써 해결할 수 있다. 또한 본 연구에서는 분석적 모델링을 통하여 TCP가 보내는 평균 전송률을 구하였으며 이 결과는 TCP에 친화한 전송률 기반 전송방법(TCP Friendly Rate Based Control)에 응용될 수 있을 것이다. 그리고 시뮬레이션을 통해서 제시한 방법의 성능이 향상됨을 확인하였다.

IP 망에서 서비스 품질을 제공하기 위한 기술로 RSVP 신호 프로토콜을 사용하는 종합 서비스 모델(Integrated Service Model)과 차등화 서비스(Differentiated Service)가 있다. 그러나, RSVP는 플로우별로 상태를 유지하고, 처리하기 때문에 거대한 네트워크에서는 확장성 문제가 고려되어야 한다. 반대로, 차등화 서비스는 클래스별로 처리하기 때문에 확장성 문제를 해결할 수 있지만, 완전한 형태의 서비스 품질을 보장하지 못한다는 단점을 가지고 있다. 본 논문에서는 RSVP의 장점과 차등화 서비스의 장점을 상호 결합하기 위한 통합 모델을 살펴보고, 경계 라우터의 각 모듈과 기능을 정의하였다. 또한, 차등화 서비스 영역에서 자원 예약 메시지를 최우선 서비스로 처리함으로써 동적인 자원 예약 프로토콜의 단점을 보완 하도록 하였다. 경계 라우터는 RSVP 메시지를 처리하는 RSVP 처리 모듈, RSVP의 자원 요청에 대응하는 차등화 서비스 클래스를 결정하는 서비스 매핑 처리 모듈, 마지막으로 패킷 우선순위에 따라 차별화된 서비스를 제공하는 차등화 서비스 처리 모듈로 구성되어 있다. 본 논문에서 제안한 자원 예약 메시지의 우선 처리 방법과 경계 라우터의 설계는 향후 IP 네트워크에서 쉽게 적용하고, 확장될 수 있으리라 사료된다.

본 논문에서는 Mobile IP의 사용에 있어서 핸드오버 시 발생되는 성능 저하를 막기 위한 방안을 제시하였다. 이동 호스트의 이동에 의해 손실되는 패킷을 FA의 buffering과 forwarding을 통하여 방지하고 패킷의 forwarding 동안 송신 호스트를 persist mode로 만들어 놓음으로써 forwarding 되는 데이터를 중복 전송하지 않도록 하였다. 또한, forwarding 되는 패킷에 대한 ack 패킷을 이동 호스트로부터 송신 호스트로 보내어 TCP연결의 End-to-End 시멘틱을 유지할 수 있도록 하였다. 시뮬레이션 결과 제안된 방안이 기존의 방안 보다 우수한 성능을 보였다.

지금까지 인터넷에서 단말기의 이동성을 보장하기 위한 연구 방향은 계층적 망 구조에 따라 메크로 이동성과 마이크로 이동성을 분리하는 것이다. 핸드오프가 적은 매크로 이동성의 경우 Mobile IP 로 수렴되는 반면 이동성이 잦은 마이크로 이동성의 경우 HA 로 보내지는 제어 메시지를 어떻게 줄일 것인가에 대하여 서로 다른 방안이 제시되고 있다. 현재까지 제시된 연구의 공통적인 문제는 게이트웨이 라우터의 집중화로 발생할 수 있는 부하이다. 본 논문에서는 단말기의 이동의 지역성 및 분산된 지역 에이전트 개념을 도입하여 이러한 문제를 개선한 분산 지역 기반 이동프로토콜인 DRMIP를 제안한다. 또 DRMIP 의 특성 및 적용성을 검증하기 위하여 인터넷 프로토콜과의 호환성, QoS 지원성, 시스템 안정성, 광역단위로의 확장성 등의 측면에서 타 프로토콜과 비교 분석하였다.

현재의 인터넷은 IPv4를 기반으로 하며, CIDR(Classless InterDomain Routing)을 이용하여 IP의 고갈을 막으려고 노력하고 있다. 그러나, 이는 근본적인 대책이 아니기 EOans에 IP는 점차 고갈되어 미래에는 IPv6로 옮겨갈 것으로 보인다. 이렇게 IPv6로 발전함에 따라 IP 주소는 매우 늘어날 수 있으나, source 주소와 destination 주소의 헤더가 커짐에 따라 헤더의 IP 주소를 모두 읽어보는 데에 많은 비용(cost)이 들게 된다. 따라서, ISP들은 MPLS(Multiprotocol Label Switching)를 사용하게 될 것이다. 또한, MPLS는 기존의 IP 주소를 이용한 라우팅은 경로를 찾기 위해 필요이상으로 많은 정보를 요구한다고 보고, 레이블 개념을 도입하여 스위칭해주는 역할을 한다. 이렇게 하면 라우팅을 위해 IPv6로 인하여 더욱 길어진 IP 주소를 요구하지 않고 단지 레이블을 붙임으로 속도를 향상시킬 수 있다. 이러한 환경에서의 이동 IP는 COA를 얻게되면 레이블을 붙여서 목적지까지 전달되게 된다. 이렇게 전달되는 이동 IP에서 COA와 레이블을 합쳐서 하나로 보내는 방식으로 이동 IP의 효율을 높일 수 있다.

본 논문은 intra-region에서의 micro-mobility와 inter-region에서의 macro-mobility를 지원하는 특정 구조의 설계를 주요 내용으로 하고 있다. 이 구조는 홈 에이전트에게 이동에 따르는 정보를 갱신하는 회수를 줄이는 데 좋은 성능을 갖게 된다. 또한, 이 구조는 같은 지역(region)내에서의 이동시에는 자신의 네트워크 주소를 유지하도록 하여, 과다한 의탁주소 할당을 막을 수 있도록 한다. 각 지역은 대표 에이전트(Designated Agent)와 여러 개의 이동 에이전트들로 구성이 된다. 이동 호스트의 이동에 따르는 등록 절차는 계층적인 구조를 기반으로 이루어지며, 이때, 에이전트는 지역 내에서 계층 구조의 형태로 그룹화 된다. DA는 지역에 상관없이 이동 호스트에게 에이전트를 통해서 포워딩 메커니즘을 수행한다. 또한, 이 구조는 기존의 Mobile IP와 호환성을 갖도록 설계되어서, 이동 호스트에게 투명성을 제공한다. 계층적인 구조 설계는 기존 등록과 데이터 전달, 그리고 등록 해제 절차에 일부 수정을 통해서 수행되었다. 그러므로, 본 구조는 자신의 홈 네트워크 내에서 혹은 그 밖의 네트워크에서 이동 호스트에게 유연한 로밍 서비스를 제공하기 위한 좋은 프레임워크를 제공하게 된다.

GPS는 위성을 이용한 항법지원 시스템으로 최근 민간에 공개되면서 ITS에 이용하려는 연구가 활발히 이루어지고 있다. 또한, 무선데이터통신 기술은 무선으로 인터넷에 접속할 수 있을 정도로 향상되었다. 본 논문에서는 GPS의 위치정보를 수신하고 이를 수치지도와 매핑할 수 있도록 WGS-84 경위도좌표에서 Bessel TM좌표로 변환한 후, 무선데이터통신을 이용하여 중앙관제서버로 위치정보를 전송함으로써 중앙관제센터에서 이동물체를 관제/관리할 수 있는 시스템을 설계하였다.

벨에 의해서 고안된 전화 이래로 많은 발전을 거듭하여 현재 인터넷폰이라는 새로운 유형의 서비스의 시대가 왔다. VoIP는 인터넷상으로 음성을 전달하여 기존의 PSTN보다 많은 장점을 가지고 있고 인터넷의 확산으로 인해 급속히 대중화 되어가고 있다. VoIP 핵심기술에 기존 ITU-T의 H.323과 IETF 의 SIP가 서로 경쟁적인 관점으로 개선되어가고 있다. VoIP는 급속한 인터넷 기술의 발달로 기존 PSTN의 시스템을 점차 대체해 나갈 것으로 기대되어진다. 본 논문에서는 두 가지 VoIP기술에 대한 설명과 앞으로의 발전방향에 대해 논의 하였다.

무선이동통신 기술의 발달은 이용자의 수와 데이터 양의 폭발적인 증가를 가져왔다. 이러한 추세에 따라 Cellular, PCS, Radio-paging, Multimedia data, Internet services를 통합하는 제3세대 무선이동통신이 연구 중에 있다. 모든 서비스들이 무선이동통신으로 이동함에 따라 보안문제들(인증, 키교환, 키복구등)이 중요시되고 있다. 그 중에서도 범법자들의 통신에 대한 국가적 법집행능력 확보를 위한 키 복구 모델은 꼭 필요 할 것이다. 따라서, 본 논문에서는 이동통신시스템에서의 효율적인 키 복구를 위한 모델을 제안하고 이에 따른 데이터 타입을 정의한다.

고속의 셀 스위칭 기술인 ATM 망의 확대호 인하여 기존 망 및 서비스와의 연동이 중요한 문제로 대두되고 있다. ATM 망이 기간 망으로 적용되더라도 기존의 백본망으로 사용되고 있는 FR(Frame Relay)망은 계속 존재 할 것으로 예상？ 때문에 이들 망의 연동은 필수적이다. ATM/FR 간의 연동 규격은 FR Forum과 ITU-T에서 조금씩 다르게 정의되고 있고 다양한 연동 방식과 다중화 방식이 있기 때문에 이를 통합적으로 관리 할 수 있는 도구가 필요하다. 본 논문에서는 Web 기반의 망관리 시스템을 설계하고, ATM/FR 연동을 IWF를 이용해서 통합 관리하는 구조를 설계하고 구현한다.

On-Line Communication을 지원하기 위한 수많은 연구의 결과로 수많은 응용 프로그램들 만들어졌다. 이러한 서버들은 폭발적으로 증가하는 사용자들의 요청을 효과적으로 대처하기에는 한계가 있다. 사용자들의 요청을 만족시키기 위해서는 효과적인 분산 서버를 구축할 필요가 있으며, 분산 서버를 구축하는데 있어 기존에 개발한 프로그램의 변화를 최소화할 필요가 있다. 본 논문에서는 On-Line Communication을 가능하게 하는 서버를 확장하는 방법과 기존 서버를 분산 서버로 변경할 때 발생하는 문제를 해결하는 방법을 제시한다.

현재 많은 휴대통신은 지역적 제약에 벗어났다는 편리함을 사용자에게 제공하고 있다. 사용자는 지역적 제약을 벗어나 장점을 이용하여, 화상통신, 인터넷, FAX전송, 실시간 전자거래등과 같은 서비스를 요구하게 되었다. 그러나 무선통신 유선통신에 비하여 대역폭이 매우 작다. 이러한 작은 대역폭을 가지고 사용자들에게 좀도 질이 좋은 서비스를 제공하기 위해서는 실시간성을 요하면서 무선통신에 적은 대역폭을 최대로 활용할 수 있는 정책이 필요하다. 본 논문에서는 이러한 요구를 만족하기 위한 새로운 스케줄링 기법을 제시한다. 본 논문에서 제시하는 스케줄링 기법은 데이터를 실시간과 비실시간으로 나눈 뒤 실시간데이터 전송에 사용되고 남은 나머지 대역폭에 가용성을 계산하여 비 실시간 대역폭을 전송하는 방법을 제시한다. 이러한 대역폭에 너머지 가용성을 최대로 활용함으로서 무선통신에 대역폭 낭비를 줄일 수 있다.

명시적인 자원 할당과 스케줄링에 의해 QoS를 제공 할 수 있는 방안으로 RSVP가 제안되었으나 내부 구조 변경이나 확장성의 문제를 내포하고 있다. 그래서 IETF에서는 차등 서비스(Differentiated Service)를 이용하여 서비스 영역을 확장하려는 연구가 활발히 진행중이다. DiffServ는 확장성을 고려하여 RSVP와 같은 개별 flow에 대한 QoS 제공이 아닌 flow들의 집합(aggregated)으로 차등적인 서비스를 제공하는 방법이다. 본 논문에서는 aggregated flow로 서비스를 제공할 때 불특정 flow에 대한 QoS 손실을 막기 위해 Token Bucket Meter 처리 전에 사전 모니터링에 의해 자원공유의 공정성과 처리 속도를 향상시킬 수 있는 TC(Traffic Conditioner)를 설계, 구현하여 다수 subnetwork에서의 flow가 자원을 공정하게 공유함을 결과로 보였다.

라우팅 및 시그날링 프로토콜의 설계와 개발과정에서 가장 어려운 이슈들주의 하나가 개발된 프로토콜의 시험 및 성능을 측정하는 것이다. 이를 위해서는 시험 요소들의 구성 및 제어가 용이하면서 지리적으로 분산되어 있는 상태에서 시험을 가능하게 하는 방법과 도구가 필요하다. 본 논문에서는 인터넷 프로토콜 자체의 행동 및 성능 시험을 위한 WWW 기반의 분산 시험 시스템의 설계 및 개발에 관련된 내용을 다룬다. 특히 이 시험 시스템을 RSVP에 적용하는 방법과 RSVP에 관련된 시험 스위트들에 대해서 소개한다.

미래의 무선망에서는 자원의 한계를 극복하기 위해서 셀 크기가 작은 마이크로/피코 셀 구조를 갖을 것으로 기대된다. 하지만, 이런 구조는 핸드오프의 증가를 가져오기 때문에 시간과 위치에 따라 망의 상태는 급격히 변동하게 된다. 이러한 점은 QoS 보장이 어렵거나 저하시키는 원인이 된다. 따라서, 본 논문은 멀티미디어 서비스 분포를 제어함으로써 망의 변동폭을 완화시켜 이동 QoS를 개선시키는 호 수락 알고리즘(RCAC)을 제안하였다. 실험 결과, 제안된 방식이 QoS를 개선시킬 수 있음을 확인할 수 있다.

현재 인터넷이 제공하는 최선의 서비스(best-effort)를 개선하기 위해서 IETF(Internet Engineering Task Force)의 DiffServ(Differentiated Service)WG에서는 현재의 인터넷 서비스를 보다 차별화된 QoS를 제공할 수 있도록 하는 방안으로서 Differentiated Service를 제안하였다. 본 논문에서는 이러한 Differentiated Service의 개념과 구조를 살펴보고 Differentiated Service에서 트래픽 포워딩을 효율적으로 제공하기 위한 하나의 방법으로서 CBQ를 이용한 패킷 전송 기법을 제안한다. 본 논문에서 제안하고 있는 이러한 방법을 통해 서비스 측면에서 어느 정도까지의 QoS를 보장할 수 있는지를 실험적으로 보이고자 한다.

본 논문에서는 이동 컴퓨팅 환경에서 이동 호스트에게 실시간 서비스의 Quality of Service(QoS)를 제공하기 위한 자원 예약 프로토콜을 제시, 설명한다. 실시간 서비스를 제공하는데 있어 이동성은 통신 경로의 변경으로 인해 QoS에 심각한 영향을 끼치게 된다. 그러나 현재 QoS를 위한 signaling 프로토콜인 자원 예약 프로토콜(Resource ReServation Protocol , RSVP)은 고정 호스트만을 가정하고 있으므로 이동 컴퓨팅 환경에서 그대로 사용하기에는 적합하지 않다. 이에 본 논문에서는 이동 호스트를 지원하는 Integrated Network에서 RSVP Agent를 사용하여 Mobile IP와 연동하는 새로운 signaling프로토콜을 제안한다. RSVP Agent는 RSVP tunnel을 사용하여 이동호스트를 대신해서 주위의 ？들에 미리 자원을 예약해 주는 역할을 하게 된다. 이 후 이동 호스트는 RSVP Agent가 미리 예약해준 자원을 사용하게 됨으로써 고정 호스트에게 상대 노드의 이동성을 고려하여 자원을 예약하지 않아도 되도록 지원해주며, 경로 마다 관리해야 하는 soft-state 유지비용의 감소를 가져오고, 불필요한 bandwidth의 예약을 막고, 패킷 지연을 줄여 주는 효과를 가져오게 되며 그 결과를 시뮬레이션을 통하여 확인해 본다.

오늘날 인터넷 환경에서 높은 대역폭을 요구하는 멀티미디어 서비스의 제공 및 서비스 품질 (QoS)을 고려하기 위해서는 현재의 가입자망 접속 방법으로는 대역폭에 있어 한계를 가진다. 따라서 ATM 방식을 기반으로한 가입자망 접속 방법으로서 ADSL 방식이 제안되고 있다. 본 논문은 ADSL 라우터의 ATM Signaling과 ATM Driver에서 프로토콜별 호 관리 기능을 제공함으로써 기존의 TCP/IP환경을 지원할 수 있는 IPOA와 PPPOA를 한 장비에서 동시에 제공할 수 있는 효과적인 방법을 제시하며 이를 통해 IPOA와 PPPOA를 단일망으로 구성하는 방법에 대하여 기술한다.

기가비트 속도를 지원하는 고속 라우터의 IP 주소 검색은 소프트웨어로 구현할 수 없다는 일부의 믿음과는 달리 소프트웨어만으로도 고속 IP 주소 검색의 구현이 가능하다. 기가비트 라우터의 IP 주소 검색은 최장 프로픽스일치 기법을 사용하여 라우팅 엔트리를 검색하는데, 56Gbps 속도를 지원하기위해서는 평균 513byte의 패킷을 800 nsec 이하의 속도로 처리하여야 한다. 본 논문에서는 범용 펜티엄 프로세서의 캐쉬 크기에 적합한 고속 라우팅을 위한 포워딩 테이블 구조를 제안하였으며, 400 MHz의 페티엄 II 프로세서를 이용한 실험에서 초당 수백만개의 IP 주소 검색을 실현하였다. 제안된 포워딩 테이블은 약 48,000여개의 실제 라우팅 엔트리에 대해 284Kbyte의 매우 작은 크기로 작성되었는데, 이 크기는 펜티엄 프로세서의 L2 케쉬에 저장될 수 있는 작은 크기이다. 제안된 포워딩 테이블을 이용한 평균 검색 시간은 라우팅 테이블 별로 320~530 nsec가 소요되었다.

효율적이고 안정적인 라우팅은 인터넷 관리에서 매우 중요한 요구사항이다. 도메인간 라우팅의 경우는 여러 ISP 사업자들 사이에서 이루어지므로 라우팅 장애가 발생할 경우, 장애의 진단과 복구가 매우 어렵다. 본 논문에서는 라우팅 정보를 경계 라우터들로부터 중앙집중식으로 수집하고 관리함으로써, 라우팅 정보를 효율적으로 관리하고 라우팅 장애의 진단을 효과적으로 수행하기 위한 BGP 라우팅 관리 시스템 구조를 설계하고 구현하였다.

IPv6는 IPv4의 단점을 보완한 차세대 인터넷 프로토콜이다. IPv6 헤더는 플로우 레이블 필드를 제공하여 레이블 값에 따라 차등적인 서비스를 제공할 수 있는 기반을 갖추었다. 본 논문에서는 이러한 레이블의 용도 외에 레이블을 이용한 포워딩 방법을 제안한다. 레이블을 이용한 포워딩은 기존의 MPLS 와 유사한 방식으로 이루어진다. 두 방법의 차이점은, 첫째 MPLS는 속도를 빠르게 하기 위하여 대부분의 스위칭이 2 계층에서 이루어지지만 플로우 레이블을 이용한 방법은 3 계층에서 처리된다. 둘째, 패킷에 플로우 레이블을 기록할 때 기존의 IPv6 헤더 필드를 이용하기 때문에 MPLS에서와 같이 별도의 헤더가 필요치 않다. 또한, 레이블과 플로우에 대한 서비스 정보를 매핑시킬 경우 좀더 수월하게 차등적 서비스를 지원할 수 있다. 본 논문에서는 IPv6 레이블 포워딩을 구현해서 실험한 실험 망과 현재 리눅스 커널(2.2.X)상에서 구현되어있는 IPv6의 포워딩 구조, 그리고 구현된 플로우 레이블 포워딩에 대하여 논한다.

현재 전자상거래에서의 이용률이 저조한 경매시스템을 지능적인 소프트웨어 에이전트를 이용하여 사용자 측면에서 더욱 효율적이고 효과적인 경매시스템을 연구 및 개발은 커다란 이슈가 되고 있다. 따라서, 단순한 게시판 형식의 인터넷 경매 시스템의 인공지능 에이전트를 도입하여 해당 경매 상품에 대해 판매자에게 적정한 경매 시기와 초기값을 계산 및 예측하여 최대한의 마진을 남길 수 있도록 해주는 에이전트 시스템의 연구가 본 논문의 목적이다. 상품을 인터넷 경매에 올리는 판매자가 판매 하고자 하는 경매 상품에 대한 정보를 인터넷 경매 시스템의 에이전트에게 메일로 보내면 에이전트 해당 상품고 유사한 상품에 대해 클러스터링하여 이미 학습되어져 있는 유사 상품에 대한 정보 즉, 데이터 베이스에 저장되어 있는 경매 상품에 대한 입찰 히스토리와 경매시간, 경매방법, 낙찰가격 등을 계산하여 해당 상품에 대해 판매자가 어느 시기에 얼마의 초기 가격으로 경매를 시작하면 최대한의 마진을 남길 수 있는지에 대해 정보를 메일로 푸쉬해 주는 시스템을 설계하면 마진 알고리즘을 이용하여 만진 결정 에이전트에 의해 마진을 생성하며 생성된 마진은 푸쉬에이전트에 의해 경매자에게 메일로 결과값을 전송해 주는 시스템을 제안한다.

인터넷 경매는 경매인과 입찰자의 상호의사표현을 통한 구매 거래를 인터넷으로 하는 것을 말한다. 인터넷 경매는 상품을 게시하고 그 상품에 대해 경매 입찰자가 입찰에 참여하여 입찰마감시간에 가장 높은 입찰을 제시하는 경매 입찰자에게 상품이 낙찰되는 방법이 사용되고 있다. 국내에서도 인터넷 경매장이 활성화됨에 따라 인터넷 경매 사용자를 위한 소프트웨어 에이전트 시스템의 연구가 진행이 되고 있다. 그러나 현 에이전트 시스템은 경매장의 정보에 대한 검색기능만이 제공되고 있다. 일반 경매에서 경매 분석가를 통해 입찰정보와 입찰 참여에 대한 자문을 구할 수 있으나 인터넷 경매에서 이러한 경매분석가 시스템이 도입되어 있지 않다. 따라서 본 논문은 인터넷 경매에 있어서 경매인과 입찰자의 관계가 1:n인 점에 비해 제안한 시스템은 n:n 관계를 가능하게 하고 인터넷 경매에 있어서 이전의 경매결과인 사례를 통해 입찰자에게 경매 분석인 낙찰 예상가를 제시하여 보다 합리적인 가격으로 낙찰하도록 분석을 대행하는 에이전트 시스템인 Internet Auction Analyst를 제안한다.

통신 사업자는 많은 상호 독립적인 보이지 않는 네트워크를 제공하기 위해 가상의 네트워크를 운영한다. 기업 입장에서는 인트라넷이 주로 웹과 기타 IP 기술에 기초하는데, 이를 투명성 있게 확장하기 위해 IP VPN의 요구가 증가했었다. VPN은 사용자의 요구에 따라 WWW 및 멀티미디어 서비스 등의 IP 서비스를 수용하는 방향으로 전개되고 있다. 그러나 IP VPN으로 가는데 있어서의 단점인 터널링과 암호화에 따른 오버헤드 문제를 해결해야 하는데, 이를 위하여 인터넷 솔루션으로 도입하여 있는 MPLS 망을 기반으로 하여 VPN을 제공하면 터널링이 주는 오버헤드 없이 서비스를 제공할 수 있다. 본 논문에서는 MPLS 망에서 VPN을 지원하는 방안을 제안하고, MPLS VPN 제어 요소 및 동작 절차를 설계하였다.

본 논문은 통합 검색에서 이질의 정보원으로부터 정보를 검색할 때 주어진 질의에 대해 가장 적합한 정보원 선택에 대한 새로운 알고리즘을 제안한다. 제안된 알고리즘은 질의어와 검색에 참여한 정보원간의 관련성 분포 정보를 사용하였다. 이때 관련성 분포 정보는 질의어와 정보원 사이의 관련성 정도를 말하며, 이에 대한 평가는 질의에 대해 정보원으로부터 임의의 크기 N 만큼 검색 문서를 수집한 후에 이들을 평가하여 추정하였다. 본 논문에서 제안한 관련성 분포 정보는 검색 문서의 재평가 값, 관련 문서의 순서 정보, 정확도 등으로 평가한다. 또한 제안된 알고리즘은 정보원 평가에서 검색 인덱스 정보가 필요 없으며, tf, df, N등의 메타 데이터로만 평가할 수 있는 장점이 있어, 동적인 환경에 적용하기가 매우 쉽다.

이동 방송 환경(mobile broadcasting environment)은 정보를 가지고 있는 서버가 다수의 이동 클라이언트에게 모든 데이터를 주기적으로 방송하면 클라이언트가 자신이 원하는 데이터가 방송 채널에 나타날 때 이를 검색하는 환경을 말한다. 이 때 클라이언트는 일관적이면서 가장 최근에 갱신된 데이터를 필요로 하기 때문에, 병행성 제어 기법을 사용하여 이러한 요구 조건을 충족시켜야 한다. 이동 방송 환경에서는 클라이언트가 여러 가지 제약점을 가지고 있기 때문에 서버가 클라이언트의 일관성 검사를 위한 제어 정보를 데이터와 함께 방송해야 한다. 그러나, 매 방송 주기마다 방송해야 하는 제어 정보의 양이 크기 때문에 일관성 검사에 영향을 주지 않는 범위에서 이를 줄일 필요가 있다. 본 논문에서는 제어 정보의 양을 줄이기 위하여 데이터를 그룹화(grouping)하는 기법을 제시하고, 시뮬레이션을 통해 데이터 그룹화가 클라이언트의 트랜젝션 중단(abort)에 미치는 영향을 알아본다. 서로 다른 데이터들을 하나의 그룹으로 묶으면 클라이언트가 일관성을 검사할 때 트랜잭션이 불필요하게 중단되는 경우가 더 많아질 수 있다. 그러나, 실험 결과 전체 데이터 수의 20% 정도 크기로 데이터를 그룹화하면 불필요하게 트랜잭션이 중단되는 경우가 거의 없으면서 제어 정보의 크기를 줄일 수 있다는 사실을 알 수 있었다.

분산 환경에서 네트워크 관리 시스템을 구현하기 위한 연구가 오래 전부터 진행되어 왔다. 기존의 경우 CORBA, Java의 RMI와 네트워크 관리 시스템을 연동하여 게이트웨이를 만들거나 보편적인 인터페이스인 웹 기반의 관리 시스템이 연구되었다. 또 웹 기반의 관리 시스템은 WBEM, JMAPI 등으로 표준화하려는 노력이 있었다. 본 논문에서는 기존의 관리 시스템이 가지는 문제점을 해결하기 위해 Jini 기반 SNMP 에이전트의 구조를 제안한다. 본 시스템은 기존 시스템이 폴링 기반이어서 발생하는 자원 낭비를 배제하여 성능 개선이 예상된다.

본 논문에서는 비교 쇼핑 에이전트에 필수 요소인 wrapper를 자동으로 생성하는 방법에 대하여 제안한다. 상품 정보들을 추출하기 위하여 사용자로부터 URL, 질의 형식(Get 또는 Post), 입력 매개변수들, 검색된 HTML 페이지에서 출력 위치들(상품명, 모델명, 판매가...)을 추출한다. 또한, 상품명을 이용하여 검색을 실시하고, 검색 결과 문서들을 분석하여 상품가격을 추출하는 규칙을 생성하며, 생성된 규칙을 WIDL로 기술하여 데이터베이스에 저장한다.

기존의 웹 기반 의료 서비스는 환자 자신이 직접 해당 사이트를 찾아 읽어보고 의사들과 e-mail로 상담하는 수준이었다. 환자는 자신의 증상과 유사한 정보가 어디에 있는지 알아야하고 의사들은 e-mail을 일일이 읽고 답해 주어야만 한다. 그러나 메일 에이전트, 진단 에이전트 등이 존재하는 멀티 에이전트 시스템이 개발된다면 기존의 web 기반 의료 서비스의 단점을 보완할 수 있다. 본 논문에서는 JATLite 기반의 멀티 에이전트 시스템을 설계하여 자동으로 e-mail을 분석, 분류, 전달, 진단하는 시스템을 설계하였다. 제안된 멀티 에이전트 메일 에이전트, 진단 에이전트, 중재 에이전트 등으로 구성된다. 메일 에이전트는 환자를 상담, 요청, 증상 등을 분석하여 해당하는 진단 에이전트에게 전달하는 일을 한다. 진단 에이전트는 지식베이스를 이용하여 환자의 요구사항에 적절한 진단을 하게 된다. 중재 에이전트는 에이전트의 상태를 파악하여 작업을 지시하고 메일 에이전트와 진단 에이전트간의 통신을 관리한다.

이동 에이전트는 사용자를 대신하여 자신의 작업을 수행하기 위하여 분산된 시스템을 자율적으로 이동할 수 있는 하나의 객체이다. 이러한 에이전트 페러다임은 분산 시스템의 자원을 사용하고자 할 때 심각한 문제를 야기 시킬 수 있으므로 신중하게 고려되어야 한다. 본 논문에서는 현재 다양한 응용분야에서 많이 사용되고 있는 에이전트 시스템의 보안정책을 설명하고, 그 장단점을 비교 분석하였다. 또한 이질적인 에이전트 시스템간의 상호운용성(interoperability)을 지원하기 위하여 개발한 SMART 시스템의 자원 접근 정책을 자세하게 설명할 것이다. SMART 시스템은 JDK1.2 보안 메커니즘을 기반으로 하였으며, 독자적인 자원 접근 정책으로 자원등급에 따른 차별적인 서비스를 제공하는 모델을 제시한다.

에이전트의 객체가 사용자의 요구에 맞는 에이전트 시스템으로 이동하여 사용자의 요구를 충족시키기 위한 이동성은 이동 에이전트 시스템에서 가장 기본적이고도 중요한 문제이다. 이동성을 증가시키기 위해 URL을 이용한 많은 연구가 이루어져 왔다. 하지만 URL은 위치 의존성을 가지고 있기 때문에 이동 하고자 하는 에이전트 시스템의 위치가 달라지면 에이전트의 이동이 불가능해지고 가진고 있는 URL정보는 아무 쓸모가 없어진다는 문제를 가지고 있다. 이에 본 논문에서는 기존의 URL을 이용한 이동성 구현의 문제점을 보완하고자, URL 그리고 URC데이터 베이스를 이용한 에이전트 프로그램 언어를 설계하려 한다. 또한 에이전트 이동을 위하여 URN을 URC 데이터 베이스를 이용하여 URL로 매핑 시키는 과정에 있어서는 Resource Monitor이라는 개념을 이용하여 좀더 효과적인 방법을 제시한다. 이러한 이동성이 극대화된 에이전트는 사용자에게 보다나은 서비스를 제공할 것으로 기대된다.

본 논문에서는 XML(eXtensible Markup Language)을 이용하여 지능형 에이전트 시스템의 기능을 동적으로 확장할 수 있는 지능 에이전트 시스템을 설계하고 이를 구현한다. 본 논문에서 제안한 지능 에이전트 구조는 지능 에이전트가 XML로 제시된 다수의 지능(behavior)을 원격지의 에이전트 기능 서버에서 다운로드 받아, 실행 시점에서 조립하여 시행할 수 있는 구조를 갖고 있다. 이 구조는 에이전트에게 다양한 기능을 실행시점에서 제공할 수 있으므로, 기능 중심의 적응성과 확장성을 제공할 수 있을 것으로 기대된다.

본 논문에서는 통합 멀티미디어 스트리밍 프레임워크(ISSA)의 주요 모듈인 전송 및 세션 관리자에 대한 개발 경험을 소개한다. ISSA(Integrated Streaming Service Architectur)[1][2]는 유니캐스팅/멀티캐스팅 환경의 VOD 시스템과 실시간 방송시스템(라이브캐스팅)과 같은 통합 멀티미디어 스트리밍 서비스 응용을 개발하기 위한 스트리밍 프레임워크이며 RTP(Real-Time Protocol)/RTCP(Real-Time Control Protocol)[3][4], RTSP 등의 표준 실시간 전송 프로토콜을 사용함으로써 사용자에게 범용성을 제공한다. ISSA는 다양한 형태의 미디어를 지원하며, 이기종 운영체제와 네트워크에 독립적이며, 실시간 멀티미디어 데이터베이스와 연동하여 사용자에게 데이터베이스 서비스를 제공할 수 있다. 세션 관리자는 미디어 채널의 생성과 제어를 담당하는 기능과 멀티미디어 데이터베이스를 위한 트랜잭션 전송기능을 담당하는 기능을 제공하며 각각 RTSP와 RTTP 프로토콜을 이용하여 구현되었다.

멀티유저 인터넷 게임이란 서로 다른 장소에 있는 사람들과 인터넷이라는 가상의 공간에 모여서 하나의 게임을 즐기는 것을 말한다. 멀티유저 인터넷 게임은 현재 가장 각광받고 있으며 발전 가능성이 무한하다. 하지만 이 멀티유저 인터넷 게임을 위한 서버와 클라이언트의 구축이 만만하지는 않다. 본 논문에서는 멀티유저 인터넷 카드게임을 구현한다. 현재 발표되어 있는 여러 가지 멀티유저 인터넷 게임 서버들의 구조와 문제점들을 분석한다. 그리고 여러 가지 멀티유저 인터넷 카드게임 서버 설계의 표준이 될 수 잇는 메시지 전달 방식, 메시지의 구성 방법 등을 제시한다. 최종적으로 본 논문에서 제안한 방식으로 멀티유저 인터넷 카드게임을 구현할 것이다.

인터넷과 같은 WAN환경에서 멀티미디어 전송품질을 향상시키기 위해서 Proxy Cache가 많이 이용되고 있으며, 이에 기반하여 클라이언트에게 실시간으로 연속미디어를 서비스하기 위한 여러 가지 전송기법들이 요구되어지고 있다. 본 논문에서는 Proxy Cache안에 일정양의 메모리를 Relay Buffer로 할당하고 이를 이용한 흐름제어기법을 구현하며, RTSP서버의 전송스케쥴러의 idle time을 이용하는 재전송기법을 제안하고 구현한다. 실험 결과, 제안된 기법은 WAN상에서의 RTSP서버와 Proxy Cache사이 패킷손실량 현저하게 줄일 수 있음을 확인하였다.

WWW의 성장으로 인터넷은 과부하 상태에 이르렀으며, 현재 인터넷 상에는 오디오나 비디오 같은 연속미디어 데이터가 급격히 증가하는 추세에 있다. 본 논문은 인터넷상의 연속미디어 데이터의 효율적인 서비스를 위한 프락시 캐슁 기법을 제안한다. 연속미디어 스트림의 앞부분부터 점진적으로 캐슁하고, 스트림의 캐슁 길이를 유동적으로 변화시켜서 인기도에 따른 사용공간의 차별화를 수행한다. 그리하여 캐쉬의 제한된 저장공간을 보다 효율적으로 사용하고, 클라이언트의 서비스 지연시간을 최소화 시킬 수 있다. 그리고, 실험을 통하여 다른 알고리즘과의 성능을 비교 측정한다.

디지털 기술 및 통신 기술의 발달로 방송.통신.컴퓨터.가전의 경계가 불확실해지고 사용자에게 다양한 형태의 융합된 서비스 제공이 가능하게 되어, 일방적으로 서비스를 사용자에게 제공하는데 그치지 않고 사용자가 서비스를 직접 선택하고 서비스 공급자에게 자신의 정보를 제공하는 대화형 방송 기술이 주요한 디지털서비스 요소로 자리잡고 있다. 본 논문에서는 국내외의 대화형 방송 기술 개발 현황을 살펴보고, 한국전자통신연구원에서 개발중인 대화형 위성통신방송 시스템 기술, 대화형 위성통신방송 단말기술, 대화형 위성원격교육 기술에 대하여 기술한다.

본 논문은 인터넷 환경 하에서 B2B(Business to Business)사이에 이루어지는 비즈니스 전자문서의 구조를 내용 정의(Content Definition)와 정보 교환(Information Exchange)이 용이한 인터넷 문서 표준인 XML(eXtensible Markup Language)형태로 구성시켜, 상거래 응용의 비 호환적인 성질에 따른 상호 운영이 제대로 되지 못하는 문제점을 극복하기 위한 XML/EDI 시스템을 설계 구현한 것이다. 이를 위해 CommerceNet에서 제공하는 인터넷 전자 상거래 문서 서식인 CBL(Common Business Library)을 참조하여 XML 기반의 비즈니스 문서를 생성하고, 생성한 문서들은 상거래의 주체들인 판매, 운송, 지불, 구매측에 서로 전송을 하게 된다. 내용 정의와 정보 교환 기능이 강한 XML 문서로 구성되어 있어 시스템이 이해하기 쉽고 많은 양의 비즈니스 문서 내용을 담을 수 있게 되어 상호 운영이 가능하고 자동화된 상거래 트랜잭션이 이루어 질 수 있도록 설계 구현 되었다.

IP서브넷과 매체간의 이동성을 제공하기 위해서 IETF(Internet Engineering Task Force) Mobile IP WG(Working Group)에서 Mobile IP가 제안되었다. 현재 Mobile IP WG의 활동 방향은 그 동안의 Mobile IP가 특별히 지원을 하지 않던 무선 환경을 수용하는 쪽으로 초점이 맞추어 지고 있다. 특히 무선 환경에서는 무선 대역 및 전원 자원의 효율적인 활용이 커다란 이슈가 되며 이를 위해서는 이동 노드의 이동성 관리 상태의 지원이 하나의 해결책이 될 수 있다. 본 논문은 이동 호스트의 무선상에서의 대역 및 전원 자원의 효율적인 활용을 위한 이동성 관리 상태를 자원하기 위하여 Mobile IP를 활용한 페이징 기법을 제시한다. 제시하는 방법은 이동성 관리 상태를 정의하여 이동 노드의 관리 상태를 차별화하며 제어에 따르는 비용을 감소시켜 자원을 낭비를 줄인다. 특히 페이징 및 페이징 영역 관리를 위한 제어 메시지를 Mobile IP메시지를 수정하여 제시하게 되는데 수정된 Mobile IP를 활용한 페이징 제어 메시지는 새로운 부가적인 제어 메시지의 활용을 줄여 복잡함을 막고 모든 제어를 IP로 하는 이점을 얻을 수 있다.

Currently, lots of research s going on in the field of the load distribution within HTTP. RR-DNS and SWEB are the most representative load distribution research. But, there are still many problems: unbalancing of load, load increase of web server and cost increase. Also, clients that require lots of data like multimedia happens to increase network load. To solve these, research about client/agent/server architecture is going on. But, the clients must know the agent's address and there are complexity and migration problems for design of such as protocol. This paper proposes TBSMS that is capable of choosing the optimal server considering the service capacity of the server as well as the network load. This paper demonstrates that TBSMS uses the web to solve the problem that client must know the agent's address and uses SNMP to solve the complexity and migration problem.

본 논문에서는 CDMA셀룰라 시스템에서 핸드오프율을 알기 위한 식을 유도하였다. 셀의 넓이를 육각형으로 모델링하고 셀을 삼각형으로 세분화함으로써, 핸드오프 영역을 간단히 공식화 하였고, 이 영역을 이용하여 한 셀 내에 발생하는 핸드오프 확률과 핸드오프 호수를 구하였다.

본 논문에서는 대표적인 실시간 운영체제인 VxWorks를 대상으로 인터넷 접속 지원 모듈을 개발하고 기능을 시험하였다. 개발된 인터넷 접속 지원 모듈은 네트워크 라이브러리와 DHCP 클라이언트, TFTP 클라이언트/서버, 텔넷 클라이언트 프로그램으로 구성되어 있으며, VxWorks에서 인터넷 접속을 위한 네트워크 환경 설정과 파일 송/수신, 원격 시스템 접속 기능 등을 제공하고 있다.

컴퓨터와 네트워크의 보급이 일반화되면서 인터넷을 통한 정보 전달이 일상 생활처럼 되고 있다. 이러한 현상에 맞추어 등장한 인스턴트 메신저는 즉각적인 메시지의 전달이라는 장점으로 인해 국내에서도 사용자가 급속히 늘고 있다. 그러나 현재와 같이 아무런 보호장치 없이 네트워크를 통해 사용자 정보나 메시지가 노출되면 잠재적 보안 위험이 따르게 되며, 전송되는 정보의 암호화를 포함하는 안전한 인스턴트 메신저 서비스의 필요성이 대두되고 있다. 본 논문에서는 보안 기능이 포함된 안전한 인스턴트 메신저를 설계하고 자바 언어를 이용하여 구현하였으며, 시스템 설계는 일반 사용자도 쉽게 사용할 수 있고 관리가 편리한 시스템에 역점을 두었다.

물리적인 네트워크는 특정한 환경으로 설치된 후에는 고정적인 환경에서만 동작하므로 다양한 네트워크 환경을 요구하는 실험은 지원할 수 없는 문제를 갖고 있다. 일례로 실험실 내부에서 WAN 환경의 네트워크를 기반으로 실험을 하고자 할 때 현실적으로 WAN 네트워크를 구현하는 것은 불가능하다. 따라서 하나의 실험실용 네트워크를 이용하여 다양한 형태의 네트워크를 에뮬레이션 할 수 있도록 지원할 수 있는 도구가 필요하게 된다. 본 논문에는 Linux 시스템을 기반으로 하나의 네트워크에서 사용자가 요구하는 환경 설정 값으로 다양한 네트워크 토풀로지를 에뮬레이션 할 수 있는 네트워크 에뮬레이터를 설계, 구현하였다. 이 에뮬레이터는 사용자로부터 대역폭, 큐 지연시간 그리고 패킷 손실률 등을 입력 받아 능동적으로 네트워크 환경을 설정할 수 있다.

고속 네트워크 인터페이스 카드에서 수행되는 펌웨어의 기능이 다양해지고 그 개발이 자유로워짐에 따라 체계적인 펌웨어의 정형검증이 요구된다. 본 논문은 정형검증 도구인 SPIN을 사용하여 미리넷 네트워크 인터페이스 카드에서 수행되는 펌웨어인 MCP를 정형검증하여 데이터 송신에 오류가 없음을 보인다. 이를 통해서 본 논문은 펌웨어에 대한 가능한 정형검증 방법을 보이고 SPIN의 적용 범위를 확대한다.

ARM 프로세서는 이동 단말기의 표준으로 채택된 32 비트 범용 마이크로프로세서이다. 이동 단말기 내에서 ARM 프로세서는 실시간 운영체제 커널과 운영체제 그리고 API 로 구성되며 소형의 단말기에서 응용 프로그램을 운용하기 위해서는 ROM 에 응용 프로그램을 상주시켜 실행시켜야 한다. 이러한 ROM 상주를 위해서는 ROM 영역에 적재하기 위한 메모리 구성이 중요하다. 본 논문은 메모리 구성을 위한 메모리 이미지의 형성과 메모리의 맵을 통한 ROM 상주 프로그램의 적재 그리고 시스템 초기화를 통해서 응용 프로그램의 수행을 보장하는 방법론에 대해 분석한다.

본 연구에서는 인터넷상에 존재하는 웹 사이트를 새로운 도메인 네임으로 연결시켜주는 URL forwarding 서버를 설계 및 구현하였다. URL forwarding 서버는 수많은 인터넷 사용자들의 웹 사이트를 간단하고 다양한 형태의 URL로 매핑 시켜준다. URL forwarding 서버는 HTTP 프로토콜에서 redirection 응답코드를 기반으로 구현되었으며 Linux 시스템에서 실험을 하였다. 본 논문에서는 HTTP와 forwarding 서버를 서로 비교 분석하여 고찰해보고 구현된 forwarding 서버의 동작에 대해서 알아본다.

인터넷 사용자가 급증히 증가함에 따라 인터넷을 통한 멀티미디어 서비스에 관심이 집중되고 있다. 인터넷을 통한 화상회의나 인터넷 폰, 음성 메일 등이 그 대표적인 예이다. 그 중에서도 대부분의 사람들은 전자 메일을 통해 정보를 공유한다. 현재 대부분의 메일 Agent 프로그램들은 음성 메일을 보낼 수 없으며, 또한 웹을 기반으로 구축된 메일 시스템도 그러하다. 본 논문에서는 Web을 기반으로 하여 음성 메일을 전송하는 시스템을 설계하였다. 현재 웹 응용 시스템을 구축하는 핵심 기술로서 부상하고 있는 서블릿을 사용하여 사용자를 대신해 메일을 전송하는 Mail Agent를 구현하였다. 실시간의 음성처리가 필요하므로 이를 위해 RIP를 사용하였으며, 사용자의 음성을 Capture하고 RIP를 통해 Mail Agent로 보내기 위해 애플릿을 사용하였다. 본 시스템의 모든 컴포넌트들을 자바로 구현함으로써 최대한의 이식성을 얻을 수 있었다.

협력 시스템은 컴퓨터의 성능 향상과 네트워크 기술의 발전으로 인하여 분산 환경에서 다수의 사람들이 프로젝트나 어떤 작업을 동시에 수행이 가능하도록 하는 기술이다. 분산 환경과 개방형 정보 통신망을 이용하는 협력 시스템은 정보의 신뢰성이 보장되고 안전한 서비스를 제공해야 한다. 또한, 협력 시스템은 공유 객체 기술을 기반으로 함에 따라 공유 객체에 대한 보안 기술의 개발은 절대적으로 필요하다. 특히, 협력 시스템의 보안은 기존의 보안 정책을 그대로 적용하기보다는 각각의 협력 시스템의 특성에 맞게 새롭게 구성되어져야 한다. 본 논문은 실시간 산업 디자인 협력 시스템에서의 보안 프레임워크 중 접근 제어 프레임워크 부분에 대하여 논하고자 한다. 접근 제어는 사용자 정보, 세션 정보, 공유 객체 정보에 대한 접근 제어로 구성되며 사용자 정보 접근제어와 세션의 접근제어는 접근자의 접근 정보에 의해 정의된 규칙에 따른 정보에 접근을 제어하며 공유 객체 접근 제어는 공동 작업을 원활히 하기 위해 주체와 객체사이의 정보를 이용하여 제어하는 특징이 있다.

본 논문에서는 3-way 디스패치(dispatch) 기반의 대표적인 기법들인 Resonate 사의 Central Dispatch 와 IBM사의 Network Dispatcher에 대해 비교, 분석하고 보다 나은 부하 분산 기법을 구현하기 위해 두 가지 기법의 장점들을 선택하여 다양한 트래픽 상태에 대해 부하 균등(Load-Balacing)과 부하 분산(Load-Sharing)기법을 동적으로 선택하여 동작할 수 있는 부하 분산 스케줄러를 설계한다.

본 연구에서는 항만물류를 위해 XML/EDI에 기반한 PORT-MIS 사용자시스템을 설계하고 구현한 방법을 소개한다. 이를 위해 먼저 기존의 EDI 메시지를 분석하여 EDI 메시지를 XML 문서로 변환하는 방법을 보이고 이 변환된 XML 문서를 처리하는 사용자시스템을 구현한 방법을 보인다. 본 XML 사용자시스템은 기존의 EDI 및 웹 EDI 에 비해 저렴한 비용으로 구축할 수 있고 융통성이 뛰어난 특징이 있다.

현재 위성통신망의 활용도가 증가하고 있으며 그 의존도가 높아지고 있다. 그러나 위성통신망은 동보성, 광역성의 특성상 보안상의 취약점을 내포하고 있다. 본 논문에서는 위성통신망이 보안 위협요소를 분석하여 이에 필요한 보안기능 요구사항을 도출하며, 안전한 위성통신망 체계를 위해 통합 정보보호 엔진을 활용한 보안 프레임워크를 제시한다.

현재 각 국가별로 추진 중인 초고속 정보통신망은 지금까지 전화, 데이터 CATV 등 서비스별 특성에 따라 구축되어온 개별 망들을 대용량 전송, 광대역 교환, 고도지능형 관리 술을 바탕으로 통합하고, 이를 개별 망에서 제공하고 있는 서비스들은 물론 미래에 예상되는 멀티미디어 서비스들도 효과적으로 수용하는 것을 목표로 한다. 이를 가능하기 위하여 모든 초고속 정보통신망은 ATM(Asynchronous Transfer Mode)기술을 기반으로 하고 있다. 이에 따라 최근에는 ATM 기반 초고속 정보통신망 자원을 효율적으로 운용, 관리하는 방안이 통신망 사업자의 주요 관심사로 대두되고 있다. 본 논문에서는 ATM통신망에서의 자원 관리의 범주를 단순한 대역폭 할당 뿐 아니라 효율적인 자원관리를 위해 기본적인 트래픽 제어 등으로 폭넓게 고려하여 ATM 망자원 분배를 위한 다양한 접근 방법들을 분석하였다.

통신 기술의 발달은 컴퓨터를 활용한 정보 교환을 수월하게 만들었지만, 더불어 정보 유출의 가능성 또한 증가하였다. 특히 전자상거래와 같이 정보의 보호가 필요한 응용들도 급격히 활성화됨을 따라, 정보의 보안은 반드시 필요하며, 보안 서비스 중에서도 공정한 부인 봉쇄 서비스는 필수적이다. 기존에 제안된 부인 봉쇄 기법들은 보통 공정성을 위해 송.수신자는 중개자인 Trusted Third Party(TIP)를 두어 서로 통신한다. 하지만, 클라이언트수가 증가하면 중앙의 TTP에 네트웍 트래픽이 집중되어 효율적이지 못한다. 본 논문에서는 중앙 TTP에 집중되는 네트웍 트래픽량을 줄이기 위해 TTP를 분석시키는 새로운 부인봉쇄 프로토콜을 제시한다.

인터넷이 급속도로 발전되면서 트래픽이 폭발적으로 증가하여 현재 라우터에 많은 부담을 주고 있다. 반면 스위칭 기술은 라우팅보다 빠르게 데이터를 전송할 수 있다. 그 결과 라우터 병목 현상을 해결하고자 IP 라우팅에 스위칭 기술을 접목한 레이블 스위칭 네트웍이 출현하게 되었다. 레이블 스위칭 기술 중 데이터 기반 레이블 스위칭에서 매우 중요한 것은 캐쉬 테이블 관리이다. 캐쉬 테이블에는 흐름 분류를 위한 정보와 레이블 스위칭을 위한 정보를 저장하고 있는데 캐쉬테이블 크기는 라우터 자원에 의해 제약을 받으므로 캐쉬 대체 기법이 필요하게 된다. 따라서 효율적인 캐쉬 테이블 관리를 위해 인터넷 트래픽 특성을 고려한 캐쉬 대체 기법에 관한 연구가 필요하다. 본 논문에서는 인터넷 트래픽 특성을 고려해 기본적인 FIFO, LFC, LRU 기법을 실제 인터넷 트래픽을 사용해 성능 평가하고 새로운 가중치 우선순위 LRU 기법을 제안한다. 특히 가중치 우선순위 LRU 기법은 플로우 인앤아웃 현상이 없고 시간이 지나도 새로운 플로우를 적절히 생성해내는 일관성을 지니면서도 스위칭 비용을 줄이는 장점을 가지고 있다.

인터넷을 통한 실시간 멀티미디어 전송시 패킷손실에 따른 재생지연과 서비스 질이 낮아지는 문제가 발생한다. I-frame만을 전송하는 경우 패캣손실에 따른 에러전파를 제거할 수 있지만 네트워크의 대역폭이 작은 경우에는 압축율을 높여 I-frame을 전송하기 때문에 압축과 정에서 데이터의 손실이 발생하게 된다. 본 논문에서는 압축된 비디오 데이터를 멀티캐스트와 유니캐스트를 동시에 사용하여 I-frame을 FEC방식으로 전송하는 프로토콜을 제안한다. 기존의 단일 프로토콜을 사용하는 방식과는 달리 유니캐스트기법을 동시에 사용하여 허용범위 내에서 수신자들의 에러제어를 가능하게 한다. 유니캐스트 연결을 선별적으로 흐름제어 하여 추가적인 작업 없이 우선순위별로 QoS를 보장한다.

메시지 순서도(Message Sequence Chart,MSC)는 ITU-T에서 국제적인 표준으로 제안되어 주로 전기 통신 교환 시스템과 같은 실시간 시스템을 위한 통신 행위에 대한 개괄적인 표현 방법으로서 널리 사용되어지고 있으며 요구 명세, 인터페이스 명세, 시뮬레이션 및 검정을 위해 사용되어지고 있다. MSC의 장점이라면 표현된 시스템의 행위를 직관적으로 이해할 수 있게 해주는 그래픽 표현을 제공하는 것이다. 의미론 입장에서 보면 MSC는 폴세스 대수 ACP의 변형인 PA$\varepsilon$에 의해 의미를 부여받고 있긴 하지만 이해하기가 난해한 것이 사실이다. 본 논문에서는 MSC의 동작적 의미를 분석하며 ACSR로 변환하여 그 의미를 보다 쉽게 파악하는 방법론에 대해 다룬다.

실시간의 특성을 가지는 데이터의 경우 네트워크상에서 분실된 패킷을 복구시키기 위해서 FEC 방법을 사용한다. FEC는 최소한의 지연만으로 손실 패킷의 복구를 효율적으로 할 수 있는 장점을 가지고 있으나 네트워크상에서의 패킷 손실 특성에 많이 의존되는 경향이 있다. ITU-T의 Study Group 16 에서의 Real-Time Transport Protocol(RTP)를 사용하여 네트워크에서 분실된 패킷을 복원시키는 방법으로 Media-independent error-correction scheme을 정하였다. 이 Scheme에 의해 만들어진 error-correction을 위한 신호화 media bitstream은 UDP 에 의해 encapsulation될 RTP에 실리게 된다. Scheme은 real-time이라는 환경에 유리하도록 bandwidth 와 latency 그리고 cost를 최소화하려고 했으며 이에 따라 네 가지 scheme을 정하였다. 네 가지의 Scheme은 오버헤드와 지연시간이 크기가 차별화를 두어 네트워크 환경의 변화에 적응하도록 하였다. 그러나 네트워크 환경에 보다 더 탄력적이며 효율적으로 적응하기 위해서 또 하나의 scheme을 제안한다. 새로 고안한 이 다섯 번째 scheme은 scheme 3 에 비해 작은 latency를 가지고 장점이 있는 반면 연속적으로 분실된 패킷에 대한 복원확률이 다소 떨어진다. 하지만 scheme 1과 2에 비해서는 연속적인 패킷 분실의 복원확률이 높아 네트워크환경에 따라 scheme 4를 사용하면 네 개의 scheme을 사용하여 분실패킷의 복원을 하는 경우보다 보다 효율적인 전송과 복원이 이루어질 것이다.

최근 이동단말기나 PDA, 스마트폰과 같은 정보기기나 디지털 가전기기의 사용이 증대됨에 따라, ARM코어 시스템을 기반으로 하는 프로세서와 이를 운영하기 위한 소프트웨어 수요도 증가하고 있다. 본 논문은 프로세서를 운영하기 위한 소프트웨어 중에서 예외처리를 위한 일반적인 인터럽트 제어를 다룬다. ARM 시스템 상에서 임의의 주변 장치(타이머/카운터)에 의해 발생하는 인터럽트 처리 과정과 예외처리를 제어하기 위한 벡터 테이블을 구성하는 방법에 대해 분석한다. 그리고 인터럽트를 처리하는 인터럽트 코드부분과 벡터 테이블내의 인터럽트의 상호 연관성에 대해 논의한다.

무선 이동통신 네트워크 환경에서는 제한된 네트워크 대역폭과 모바일 호스트(Mobile Host)의 잦은 이동성에 기인한 핸드오프(Hand-Off)로 인하여 다양한 종류의 트래픽(Traffic)에 대한 QoS(Quality of Service)를 보장하기가 용이하지 않다. 그러나, 이렇게 예측하기 힘든 다양한 특징을 가지는 무선 이동통신 네트워크 환경에서도 특정 종류의 트래픽, 예를 들자면 실시간 트래픽(Real-time Traffic)에 대하여 요구된 범위 내에서의 QoS(Quality of Service)가 반드시 보장되어야 한다. 본 논문에서는 모바일 호스트의 이동성을 제공하는 차세대 무선 이동통신 네트워크, 즉 2.5 세대라 불리는 IS-2000 무선 네트워크에서 다양한 종류의 실시간 트랙픽에 대해 QoS를 보장하기 위한 개선된 레져베이션 프로토콜(Advanced Reservation Protocol) 및 GPS 베이스드 (Global-Positioning-System Based)핸드오프 프리딕션 (Hand-Off Prediction) 알고리즘을 제안하였다.

인터넷을 통한 그룹 통신이 활발해지면서 신뢰성을 보장하는 멀티캐스트 서비스를 요구하는 응용들이 점점 다양해지고 증가하고 있다. 이에 따라 멀티캐스트에서의 신뢰성을 보장하기 위하여 다양한 기술들이 발표되었으며 특히 트리를 기반으로 오류 및 혼잡 제어를 수행하여 신뢰성 뿐만 아니라 확장성을 보장하는 효율적인 방법에 대한 연구가 지속되고 있다. 본 논문에서는 이러한 트리 기반의 프로토콜에서 효율적이고 동적인 트리 형성 및 관리를 위한 방안을 제안한다. 하나의 멀티캐스트 그룹을 여러 개의 지역 그룹으로 나누어 트리로 구성할 때 지역 그룹에 속할 수 있는 그룹 수신자 수에 임계값을 두고 지역 대표자는 이 임계값이 초과되지 않을 때까지 새로운 참여자를 받아들일 수 있도록 하였다. 또한 새로운 노드가 그룹에 참여할 때 지역 대표자 뿐 아니라 일반 수신자들도 지역 대표자에 대한 정보를 전송해 줌으로써 참여시간의 감소와 그룹 내의 메시지 오버헤드를 줄일 수 있도록 하였다. 동적인 트리 형성 및 관리 과정에서 지역 그룹 대표자에 연결된 노드수가 적고 깊이가 깊어질수록 트리 관리에 관한 오버헤드가 증가하는 문제를 해결하기 위해 간단한 트리 재조정을 수행함으로써 트리에서 발생하는 오버헤드를 감소시킬 수 있도록 하였다.

ARM 프로세서는 CISC 보다는 간단하게 디자인된 RISC로서 내장 응용프로그램에 적합하기 때문에 앞으로 모든 디지털 기기에 ARM 코어를 기반으로 한 핵심 칩들이 생산된다. 그러나 명령어가 CISC보다는 적기 때문에 주어진 작업에 대해 완전한 처리를 위해서는 보다 많은 명령어들을 필요로 한다. 이러한 ARM 프로세서에서 데이터를 전송할 때 사용하는 메모리 영역과 레지스터들을 프로그램과 함께 분석하였다.

멀티캐스트는 수신자 그룹이 명확하지 않고 데이터 전송 중에 수신자가 그룹에 가입하고 탈퇴하는 것이 가능하다. 수신자가 그룹에 가입하고 탈퇴할 때마다 멀티캐스트 그룹의 키를 바꿔야 할 필요가 생기게 되는데, 이 때 키를 효율적으로 바꾸기 위한 멀티캐스트 구조로써(t, n)쓰레시홀드 크립토그래피를 응용한 구조를 제안한다. 이 경우 서브그룹을 관리하는 서버가 없이도 수신자 그룹에 의해서 안전한 멀티캐스트를 할 수 있다.

본 논문은 VOD 시스템에서 QoS를 보장해 주기 위한 흐름 제어 기법을 제안하고 실제 구현된 VOD 시스템에서 제안된 알고리즘을 적용하고 성능을 측정하였다. 기존의 버퍼를 관리하는 Leaky Bucket 알고리즘과 패킷의 손실률에 기반한 네트워크의 상태를 동시에 고려해서 클라이언트와 서버간에 전송 속도를 제어한다. 즉, 시간에 따라 변화하는 네트워크의 상태를 클라이너트 버퍼 관리에 반영해줌으로써 클라이언트 버퍼의 오버플로우 및 언더 플로우를 방지하고 QoS를 보장한다.

확장성 마크업 언어인 XML은 W3C에 의해 고안된 구조화된 표준이다. 이에 SGML의 부분집합으로서 문서의 내용에 관련된 태그를 사용자가 직접 정의할 수 있다. 이런 확장성이 뛰어난 XML을 이용하여 기업간에 사용되는 EDI 문서를 표현함으로써 이기종 시스테뫄 응용프로그램간의 원활한 문서유통을 이룰 수 있다. 그러나 그런 XML 표준전자문서의 인증이나 신뢰성이 보장되지 않는다면, 전송중 문서의 조작, 도청 및 오용등가 같은 위협 때문에 그 사용이 제한될 것이다. 본 논문에서는 그러한 위협을 방지하고 XML 표준전자문서의 신뢰성 있는 전송을 보장하기 위하여 Java 기반 서명 시스템을 설계하였다. 여기서 서명은 XML 기반으로 구성되었고, 시스템은 Java 애플릿과 애플리케이션을 이용한 두 가지 경우로 설계하였다.

멀티캐스트 전송 필요성이 커지면서 보안에 대한 요구도 높아지게 되었다. 멀티캐스팅 라우터와 호스트간 그룹에 대한 정보를 관리하기 위해 사용되는 IGMP는 자체의 취약점이 있어서 DoS 공격이 가능하다. 본 논문에서는 이러한 IGMP 취약점과 예상되는 DoS 공격 유형을 살펴보고, 취약점 최소화를 위한 방법으로 트래픽 비율 제한 및 새로운 상태와 타이머 사용의 간단하면서도 효과적인 기법을 제안한다. 이를 위하여 라우터에 대한 하나의 상태와 네 가지의 타이머를 새로이 정의하고 동작 특성을 설명한다.

PCS, Digital Cellular, CDPD, 그리고 Handheld PC와 같은 휴대단말기를 사용해 각종 정보망의 서비스를 받으려면 움직임이 점차 커지고 있다. 이에 발 맞추어 일반 이동단말기에서 인터넷을 접속 할 수 있는 여러 기술들이 개발되었으며, 현재 사용하는 것으로 Unwired Planet 사가 개발한 HDML(Handheld Device Markup Language)기술이 있고, WAP Forum에서 제시한 WAP(Wireless Markup Language)가 있다. WAP의 구조에서 가장 핵심적인 요소로서 WAP Gateway가 있으며, 현재까지 WAP Gateway에 대한 특별한 표준화가 이루어지지 않은 단계에서 각 컨텐츠 사업자가 WAP Gateway를 나름대로 구현하고 사용하는 실정이다. 본고는 보다 확장성을 가지고 무선이라는 환경에 적합하도록 서비스를 개선할 수 있는 WAP Gateway의 설계 및 구현 이슈에 대하여 다룬다.

JMS(Java Message Service)는 분산된 엔터프라이즈 시스템간의 메시지 생성, 전달, 수신 및 읽기를 위한 자바 기반의 표준 API를 제공한다. 이 API의 구조는 메시징 방식에 따라 Topic을 메시지 서버로 하는 Pulish-Subcribe모델과 Queue를 서버로 기자는 Point-To-Point 모델로 구분된다. IDL/SSO는 병행성(Concurrency), 영속성(Persistency), 필터(filter)등의 기능을 제공하는 공유객체 명세언어 시스템이다. 본 논문에서는 이 IDL/SSO를 이용하여 JMS를 구현하는 방법에 대하여 기술한다.

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.

컴포턴트 기반 소프트웨어 개발(CBD)은 점차 대중화되어 가고 있는 소프트웨어 개발 방법이며, 최근에는 여러 미들웨어들이 서버 컴포넌트를 이용한 CBD를 지원하고 있다. 본 논문에서는 Microsoft Transaction Server(MTS)를 이용하여 서버 컴포넌트를 기반으로 안전한 트랜잭션 시스템을 디자인하고 검증하는 방법을 제시한다. 위의 목적을 위해 우선 MTS를 이용한 트랜잭션 시스템을 정형화하고, 정형화된 프레임워크를 이용해, 디자인한 시스템이 명세를 만족하는지 검증해 볼 것이다. 또, 위의 프레임워크를 위해 MSDN에 있는 은행 시스템을 예로 들어서 그 시스템이 만족해야 하는 명세를 위배한다는 것을 보이고, 명세를 위배하지 않도록 시스템의 설계를 변경할 것이다. 우리는 MTS에서 컴포넌트가 트랜잭션에 참여하는 방식이 시스템의 확장성과 안전성에 영향을 줄 수 있다고 생각하며, 그렇기 때문에, 우리가 제시한 프레임워크가 트랜잭션 시스템의 안전성과 확장성을 평가하는데 있어 유용할 것으로 기대한다.

분석 모델은 개발자의 언어로 작성되어 정확성과 일관성이 있는 개발 산출물로 관리되어야 한다. 본 논문은 이를 지원하기 위해 정형명세를 위한 New FST를 정의하고, 분석 모델의 정확성과 일관성 검증 규칙을 제안하며, 사례 연구를 통하여 적용하여 이 규칙들을 시험하였다.

객체 지향 소프트웨어에 있어서, 테스팅의 중요성은 전통적인 소프트웨어의 개발에 있어서의 중요성과 크게 다르지 않다. 테스팅이 부적절하게 수행된 경우 프로그램의 버그를 성공적으로 검출 할 수 없으며, 소프트웨어 품질을 보장할 수 없다. 즉, 성공적인 소프트웨어를 위한 문제가 바로 테스팅이라 할 수 있다. 따라서 개발된 객체 지향 소프트웨어의 신뢰성을 향상시킬수 있는 객체 지향 테스팅 방법이 필요하다. 이 논문에서는 전통적인 소프트웨어 테스팅 기법과 객체 지향 특성을 결합하여 객체 지향 소프트웨어 테스팅을 위한 단위 설정을 위해 실시간 시스템에서 하나의 행위를 정의할 수 있는 객체 메소드의 결합에 대한 이벤트 그래프(Eent Gaph)와 제약적 메소드 시퀀스(M？ Sequence with Cnstraints)를 정의하고, 제약사항을 포함하는 이벤트 그래프와 메소드 시퀀스(sequence)를 정의하고, 제약사항을 포함하는 이벤트 그래프와 메소드 시퀀스(sequence)를 엘리베이터 시스템에 적용하여 객체 지향 실시간 시스템에 대한 객체 상태 행위 테스팅(object state behavior testing)을 통해 인트라 클래스 테스팅 및 인터 클래스 테스팅 기법을 제안한다.

인터넷을 기반으로 웹이 급속하게 성장함에 따라 웹 기반 어플리케이션의 품질이 점차 중요시되고 있다. 이로 인하여 웹 어플리케이션의 품질을 검증할 수 있는 수단이 필요하게 되었고 산업계에서도 연구가 활발히 이루어 지고 있는 실정이다. 하지만 대부분의 연구가 웹 사이트에 대한 부하시험들에 치중하고 있고, 기능적 측면의 시험은 제대로 지원하고 있지 못한다. 본 논문에서는 웹의 기능적 측면을 시험할 수 있는 기법을 제시하려 한다. 웹을 기반 모델로 보고, 웹의 동적 행위를 웹의 상태 전이로 정의하였다. 이러한 상태 전이를 표현하기 위한 상태 전이 그래프를 제안하였고, 이를 기반으로 기존의 상태 기반 시험 기법을 도입하여 시험사례를 생성하는 기법을 제시하였다.

대표적 분산 미들웨어인 OMG CORBA 는 이질적인 하드웨어와 소프트웨어가 다양한 매체를 통해 네트워크로 연결된 분산 컴퓨팅 환경에서 객체 지향적 시스템을 통합 기반 환경을 제공한다. 그러나 CORBA를 구현한 상용이나 연구용 제품은 CORBA 규격을 정의된 대로 지원하지 않아 OMG에서 CORBA를 통해 성취하려고 하는 중요한 목표인 상호운용성과 이식성 보장되지 못하는 결과를 야기하고 있다. 이러한 문제의 해결은 CORBA 규격 준수 여부를 시험하는 시험 도구를 필요로 한다. CORBA 규격 시험 도구는 규격에 정의된 API 등을 시험하기 위한 많은 분산 시험사례와 이들의 실행을 자동으로 제어해 줄 수 있는 실행제어기가 기본적으로 필요하다. 본 논문은 CORBA 규격 시험을 위한 분산 시험사례를 자동으로 실행시키는 분산 시험사례 제어기의 설계와 구현에 대하여 기술한다.

기존 객체 지향 방법론에 의한 소프트웨어 개발에서의 공통적인 문제점은 표기법이 복잡하고, 산출물도 많아서 사용자가 이해하기가 어렵다는 것이다. 또한 분석단계에 있어서도 객체추출의 자세한 가이드라인을 제시한지 않고 있어서 개발자들의 감각과 경험에 크게 의존하고 있어 일관성이 없으며, 추출된 객체들 사이의 연결을 찾기가 쉽지 않아 확장이 어렵다. 따라서, 본 논문에서는 간단한 표기법과 산출물로 개발 초기부터 사용자의 참여를 유도할 수 있는 정보 구조 모델링을 이용하여 분석 단계에서의 객체 추출에 대한 가이드 라인을 제시하고자 한다.

절차지향 SW를 객체자향 SW로 변환하면 SW 유지.보수 비용을 수 절감할 수 있으며, 시스템에 새로운 요구를 수용할 수 있게 되는 등 많은 장점을 가지게 된다. 본 논문은 객체지향 SW로 변환과정 중 필요한 클래스와 상속성 추출 방법을 제안하였다. 클래스와 상속성 추출 때 관계를 고려한 의미적인 방법을 제시하였으며 영역 모델과의 비교시 의미적이며 통계적인 방법을 사용하였다. 논문에서 제안한 방법을 사용함으로써 영역 전문가에게 다양한 선택 기회를 제공할 수 있어 의미 있는 코드 생성에 도움을 줄 수 있다.

소프트웨어 유지보수는 노력과 시간이 많이 소요된다. 유지보수 되는 기존의 시스템들을 규모가 크고 복잡하기 때문에 운영비용의 대부분이 소프트웨어 유지보수에 소요되는 실정이다. 소프트웨어의 재사용은 이러한 문제점들을 해결하기 위하여, 소프트웨어 역공학, 재공학, 컴포넌트와 같은 많은 기법들이 제안되었다. 이런 기법들 중에서 재공학은 재사용 하려는 소프트웨어를 분석, 재정의, 재문서화 등의 소프트웨어 역공학 방법을 통하여 좀더 효율적으로 소프트웨어를 분석할 수 있고, 순공학을 통해 문제점들의 교환과 새로운 구조와 시스템의 수정을 통해 더욱 경제적인 시스템을 만들 수 있다. 본 논문에서는 시스템의 유지보수와 재사용을 위한 재공학 Refactoring 기법을 제시한다.

객체지향 프로그램의 효율성과 설계의 품질을 평가하기 위해서는 필수적으로 정량적 메커니즘을 사용해야 한다. 특히, 개발비용을 예측하기 위한 요구가 커질수록 소프트웨어 개발 생명주기의 초기에 측량해야 하는 필요성은 더욱 강해진다. 따라서, 분석단계 산출물에 대하여 이루어지는 측량은 나머지 개발 주기 단계에서 발견될 수 있는 결함에 대한 예측이나, 시스템의 개발에 소요될 노력과 비용을 예측하는데 사용될 수 있으므로 그 중요성이 더욱 강조되고 있다. 본 논문에서는 클래스 기반(class-driven)의 분석 모델링 절차에 따라 작성되는 모델을 사용하여, 클래스의 책임과 협력 관계에 대한 정보가 주어진 클래스에 대한 복잡도를 측량하기 위한 메트릭을 제안한다. 제안된 메트릭은 클래스들 사이의 상호작용으로 나타나는 협력의 복잡도와 인터페이스 복잡도를 포함하며, 개별 클래스의 복잡도를 사용하여 전테 시스템의 복잡도를 계산하도록 확장할 수 있다. 개발 생명주기의 가장 초기 단계인 분석단계에서 클래스를 어떻게 분할할 것인지에 대한 선택적 직면했을 때, 올바른 클래스 분할을 선택하도록 도와줌으로써, 나머지 개발 단계에서 개발에 요구되는 노력과 시간을 예측하고 관리하는데 사용될 수 있다.

본 논문에서는 클러스터 정의시 사용하게 되는 특성으로 노드간 패스 수에 기반한 K-edge 컴포넌트의 그래픽 정의 방법과 노드를 클러스터화 하는 집합화(Aggregation)방법을 제시하였다. 집단화된 하이퍼텍스트 분리를 통해 이전 결과를 개선할 수 있으며, 집단내의 노드간 관련성을 가시화하여 비교할 수 있다.

본 연구에서는 통합 멀티미디어 통신시스템을 구축하기 위한 CASE 도구의 개발에서 시스템 구축에 필요한 객체를 설계, 확장하거나, 설계된 객체의 재사용성을 높이기 위한 방안으로 패턴지향형정보저장소를 설계하였다. 그리고 시스템 구축에 필요한 객체의 재사용시 중복성을 피하며 복잡도를 감소시키기 위해 CASE 도구의 설계단계에서 객체를 통합관리/이용할 수 있도록 하고, 재사용에 필요한 객체를 패턴화하여 저장함으로써 저장소의 재사용 효율성을 증가시킨다. 따라서 본 연구에서는 정보저장소에 저장된 패턴-객체의 재사용시 유지보수 비용을 감소시키고 멀티미디어의 특성을 수용할 수 있도록 표준화된 단일 패턴-객체와 이를 이용한 복합 패턴-객체로 확장 가능하도록 혼합형 정보저장소를 설계하였다.

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 UML 다이아그램들의 일관성과 완전성을 해결하기 위하여 UML 의 각 다이아그램을 ER 모델로 표현하고, 각 다이아 그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하며 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 정형 명세를 기반으로하여 일관성을 완전성 검사를 수행하기 위한 규칙을 제공한다. 이 규칙은 다이아그램의 구문(syntax)과 의미(semantic)에 대하여 모두 검사할 수 있게 하기 위하여 구문 완전성, 구문 일관성, 의미 완전성, 의미 일관성으로 나누어 생성한다. 이렇게 생성된 규칙들은 추후 CASE 도구에 포함되어 다이아그래밍의 일관성 및 완전성을 검사할 수 있는 CASE 도구로 발전할 수 있게 된다.

소프트웨어 시스템에 대한 요구사항이 증가하고 그 규모가 점차 거대.복잡해짐에 따라 시스템을 개발하기 위한 절차, 방법 등이 무수히 생겨나게 되었다. ISO/IEC 12207 소프트웨어 생명주기 공정 표준은, 존재하고 있는 소프트웨어 개발 및 유지보수에 대한 절차 및 방법에 대한 일반적인 지침을 제시하기 위해 제정되었다. 이 표준은 표준 자체의 특성의 하나인 보편성을 유지하기 위해, 특정 프로세서 모델에 치우치지 않고 기반 표준(Base Standard)의 성격을 갖는다. 결국 표준은, 어떠한 프로젝트에서 어떠한 프로세스 모델을 사용하고 임의의 방법론을 사용하든 모든 경우에 적용될 수 있어야 한다. 그런데 최근 소프트웨어 산업의 새로운 패러다임으로 받아들여지고 있는 컴포넌트 기반 소프트웨어 개발(CBSD)환경에서는, 전통적인 개발환경과 많은 차이점을 지적하며 새로은 개발 프로세서들이 제안되고 있다.[4]. 따라서 본 논문에서는 CBSD환경에서의 ISO/IEC 12207 표준의 적용성을 고찰해보고 표준의발전, 개선 방향에 대해 모색해 보고자한다.

실시간 시스템은 신뢰성이 중요하므로 실시간 시스템을 설계하는데 있어서 각 태스크의 기능적인 정확성의 검증은 물론 모든 태TM크에 대한 시간적인 요구사항들을 보장해야만 한다. 본 논문에서는 이러한 조건 즉, 실시간 시스템의 정확성과 시간성 보장을 위하여 기존의 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 TSC(Timed State Chart)에 자원(resource)의 개념을 추가한 TSCR(Timed State Chart with Resource)를 제안한다. TSCR을 통하여 실시간 시스템의 다양한 요구 사항을 명세하며, 태스크들의 시간성 보장을 위한 스케줄링 가능성 분석(schedulability analysis)을 할 수 있다. 실시간 시스템의 대표적인 예로 철도 건널목 제어 시스템을 TSCR를 이용하여 명세한다.

소프트웨어의 품질은 소프트웨어의 가치를 결정하는 중요한 요인이다. 최근, 소프트웨어의 품질에 대한 중요성이 증대되고 있으며 소프트웨어 제품의 품질인증에 대한 관심이 고조 되고 있다. 이러한 시점에서 소프트웨어 품질측정 및 평가 방법론에 국제 표준에 맞추어 체계화되고, 소프트웨어 제품 평가를 효율적으로 지원할 수 있도록 도구화할 필요가 대두되고 있다. 현재 소프트웨어 제품 평가에 관련된 국제 표준으로서 프로세서에는 ISO/IEC 14598이 있으며 제품 평가를 위한 품질특성에 관한 ISO/IEC 9126-2의 외부메트릭 체계와 9126-3의 내부메트릭 체계를 평가 메트릭 구축에 적용하고 평가 절차에 따라 메트릭 측정 결과를 입력하여 결과를 가시화하여 제공할 수 있는 도구를 설계하였다.

현재 대부분의 관리 시스템들은 관리의 특정 목적을 위해 특정 벤더나 프로토콜, 플랫폼에 의존적이므로 관리자는 비일치적인 하부 구조에 대한 충분한 이해와 네트워크 운영의 상세함을 파악해야 한다. 이는 분산 관리되는 네트워크 정보의 복잡성과 불확실성에 의해 관리자는 정보 관리의 신뢰성을 보장할 수 없으며 큰 유지보수 비용을 가진다. 따라서 본 논문에서는 CORBA를 이종 네트워크 자원의 추상적인 결합 매개체로, 웹 브라우저를 불일치 요소들의 통합된 엑세스 인터페이스로, Java를 서비스 관리 솔루션 개발 도구로 이용함으로써 이들 문제를 해결하고자 한다. 그러므로 Java-CORBA 연동 기술을 통해 이종의 네트워크 시스템 환경들이 통합된 인터네트워킹 상태에서 웹 상의 단일 인터페이스를 통해 네트워크 상태를 확인, 모니터링 할 수 있는 네트워크 관리 클라이언트 시스템을 개발하고자 한다,

소프트웨어 개발 생산성을 높일 수 있는 방법으로 주목받고 있는 컴포넌트는 구성 자체의 기능과 호환성도 중요하지만 무엇보다도 컴포넌트의 신뢰성 즉 품질의 보장이 중요하다. 컴포넌트 품질에 대한 접근 방법에는 인증(certification) 방법과 개발 과정을 감사(audit) 방법이 있다. 사용자의 만족도를 평가에 적용하여 프로세스 감사는 품질 보증 활동의 결과를 이용하고 인증 방법처럼 컴포넌트의 내부 특성을 조사하여 품질을 객관적으로 평가하며 사용자 만족도를 가미하는 방식으로 품질 평가에 접근하였다. 또한 ISO 9126을 기본으로 하여 이 표준에 컴포넌트 품질 평가 기준들을 추가하여 체크리스트 작성하고 세 가지 관점 즉 컴포너트 운영, 컴포넌트 변경, 컴포넌트 합성으로 나누어 품질을 평가함으로 제 3자가 완성된 컴포넌트의 품질을 평가하는 지침이 될 수 있는 방안을 제시하였다.

컴포넌트 소프트웨어의 개발은 재사용성의 확보로 인하여 개발기간 단축, 개발비 감소등과 같은 효과를 가져올수 있으나, 컴포넌트를 개발한 환경과 이를 적용하는 환경과의 차이점으로 인한 위험성은 절대적으로 고려해야할 사항 중의 하나이다. 또한 컴포넌트는 실행가능한 코드의 형태로 존재한다는 점 때문에 기존의 Whitebox Testing방법을 적용하기에는 무리가 있다. 따라서 기존의 소프트웨어와 컴포넌트와의 구별되는 요소를 찾아 이제 적용 가능한 테스트 방법의 연구가 요구되어 진다. 본 논문에서는 컴포넌트의 개념과 대하여 살펴보고 기존의 테스트방법을 응용하여 컴포넌트에 적용 가능한 테스트 방법을 제안하도록 한다.

소프트웨어 제품의 품질을 보증하는 일은 매우 중요하며, 국제표준인 ISO/IEC 9126은 소프트웨어 품질 및 특성 및 측정 메트릭 표준을 제공하고 있다. 이때 ISO/IEC 9126에서는 소프트웨어를 프로그램, 절차, 규칙 및 관련문서로 한정하고 있기 때문에 데이터의 품질에는 적용할 수 없다. 본 논문에서는 데이터 품질 평가 및 제어를 위하여 데이터 오류 형태를 분류하고, 이를 기반으로 데이트 품질 특성 및 부특성을 분류한다. 데이터 품질 특성 분류는 ISO/IEC 9126에 정의한 소프트웨어 품질 특성을 데이터 오류 형태에 대응시켜 추출한다. 본 논문에서 제시하는 데이트 품질특성 분류는 지식 공학(knowledge engineering)시스템이 최종 사용자에게 제공하는 데이터나 지식의 품질 측정 및 제어에 기준이 된다.

잘 정의된 인터페이스를 통해서 의미있는 서비스를 유도하거나 기술하는 소프트웨어의 식별가능한 조각인 컴포넌트를 개발하기 위한 방법론은 최근에 주목받고 있는 부분이다. 컴포넌트 기반 개발은 컴포넌트를 개발하기위한 단계와 이를 바탕으로 하나의 애플리케이션이나 시스템을 구축하는 과정이 병렬적으로 진행되는 프로세스가 특징적이다. 이러한, 단위 기능의 요소로써 컴포넌트는 새로운 요구사항에 대한 대치가능성이나 서로의 계약을 통한 조합이 가능한 것은 통합(integration)에 대한 개념이 기반이 되고 있다. 본 논문에서는 상이하게 개발된 컴포넌트 통합의 전반적인 개념을 소개하고, 단일한 컴포넌트의 통합과 통합된 컴포넌트 군을 재 통합하는 메커니즘을 정의한다. 또한, 이에 따른 컴포넌트 기반 개발의 전반적인 프로세스와 통합에 관련된 로직을 정의함으로써 체계적으로 컴포넌트를 개발할 수 있도록 도움을 주고, 컴포넌트 통합에 의한 재사용성과 효율성을 높이고자 한다.

CBD(Component Based Development)는 미리 만들어진 검증된 부품을 합성, 조립하는 작업으로, 최근에 빠른 속도로 생겨난 카타르시스는 객체와 프레임워크로 CBD를 위한 완벽한 지원을 제공하는 차세대 방법론이다. 네트워크 환경과 인터넷의 보급으로 인한 인프라 구축과 다양한 방법론의 개발은 소프트웨어 부품화로써의 컴퍼넌트 기반 소프트웨어 개발에 대한 관심을 높이고 제반 여건을 조성하는 계기가 되었다. 또한 네트워크 기반의 분산 환경이 응용의 개발과 활용을 위한 표준 아키텍쳐로 자리잡아 가면서 네트워크 관리가 개별 응용으로서 뿐 아니라 대부분의 응용에서 하부 계층 지원 서비스로 요구되는 중요한 응용 도메인이 된다. 따라서 다수의 개발자들이 환경적 제약없이 네트워크 관리를 위한 응용 컴퍼넌트를 획득, 조립함으로써 요구되는 서비스를 구현할 수 있다. 그러므로 본 논문에서는 컴포넌트 소프트웨어 설계를 위한 방법론인 카타르시스를 사용하여 네트워크 관리 시스템(NMS)을 위한 컴포넌트를 설계하고 필요한 컴포넌트를 식별, 개발한다. 이를 통해 NMS를 위한 공용의 컴퍼넌트를 확보함으로써 체계적인 CBD 방법론에 의한 NMS 개발로의 표준화된 접근할 수 있다.

본 논문은 ATM(Abstract Timed Machine)에 대해서 기술한다. ATM 은 임무 위급 시스템과 같은 실시간 시스템을 명세, 분석 및 검증할 수 있는 정형 기법이다. ATM 은 모드(mode), 전이(transition), 포트(port)로 구성된다. 모드는 머신의 압축된 상태를 의미하고 전이는 모드와 모드 사이의 변화를 말한다. 포트는 ATM 들 사이의 상호작용을 위한 진입을 나타내기 위한 것이다. ATM 은 소프트웨어 순환 공학을 위해 디자인 되었다. ATM은 재/역공학적 측면에서 계산 이론과 더불어 기존의 실시간 시스템의 소스코드에 대한 디지안 및 환경 정보를 나타낸다. 본 논문은 병렬성, 병렬적으로 동작하는 엔터티들 사이의 제어 정보이 흐름, ATM 타입과 클래스로부터의 인스턴스, 비/동기적 이벤트, 포트와 이벤트 타입, 포트의 타입, 통신, 입/출력, 예외처리, 시간에 관한 요구사항, 다수를 대상으로 하는 통신 주기적 작업등과 같은 ATM의 여러 개념을 기술하고 이러한 속성들을 Producer-Buffer-Consumer 예제로 살펴본다.

에이전트 분야가 인공지능에서 분리되어 지금까지 각 분야에서 연구되고 있다. 소프트웨어 공학 입장에서 에이전트를 연구할 때, 에이전트를 어떻게 모델링하고 설계하고 구현할 것인가는 가장 큰 이슈가 되어 왔다. 이에 에이전트지향의 소프트웨어 개발 방법에 대한 연구가 진행되었으나, 문제의 영역에서 어떻게 에이전트를 추출할 것인가에 대한 연구는 거의 전무하다고 할 수 있다. 본 논문은 이러한 에이전트 추출에 관한 기준을 정하고 전자상거래를 통한 적용방안을 보여주고 있다. 그리고 각각의 에이전트 속성과 에이전트 내부 구조가 어떻게 매핑 가능한 지를 보여 준다.

컴포넌트 시장이 활성화됨에 따라 컴포넌트의 수는 기하급수적으로 증가하고 있으며, 이러한 컴포넌트들을 효과적으로 재사용하기 위해서는 컴포넌트 분류체계가 잘 정의되어질 필요성이 있다. 현재 컴포넌트 유통시장의 현황을 살펴보니, 대체적으로 구현과 관련된 실행가능모듈로서의 컴포넌트 들이 언어, 기능성, 플랫폼정도로 분류가 되어 사용되어지고 있었다. 앞으로 다양한 컴포넌트들이 많이 개발되어질 것이며, 이들을 위한 체계적인 분류방법이 필요하다고 생각되어, 본 논문에서는 효과적인 컴포넌트 재사용을 위한 컴포넌트 분류체계를 제시하였다. 또, 이를 컴포넌트 모델링에 적용하기 위해 제시한 분류체계를 UML의 스테레오타입으로 정의하여 시각화하였다.

소프트웨어 부품 라이브러리나 소프트웨어 저장소(Repository)는 소프트웨어 재사용의 중요한 역할을 해왔고, 인터넷과 웹을 통한 그 검색 수요가 증가하고 있을 뿐 아니라. 개발되는 컴포넌트(Component)의 숫자도 급속도로 증가 하고 있다. 본 논문에서는 웹 기반 검색 엔진과 에이전트(Agent) 시스템을 결합해서 분산된 컴포넌트 저장소의 컴포넌트 정보를 통합 검색할 수 있는 검색 시스템을 제안한다. 웹 기반 검색을 통한 일반 사용자들의 컴포넌트 검색요구를 충족시키고, 모빌 에이전트(Mobile Agent)의 기능을 이용하여 효율적인 분산 저장소의 정보 검색 시스템의 구조를 구현한다. 또한 모빌 에이전트(Mobile Agent)로 구현된 검색 에이전트의 사용으로, 오프라인(Off-line)상태에서의 검색과 분산 저장소의 병렬 검색을 가능하게 하여 분산 저장소 검색의 성능을 높이고, 기존의 분산된 저장소와 검색 시스템간의 쉬운 결합 구조를 제안한다.

현재의 소프트웨어 개발은 구현 중심에서 설계 중심으로 변하고 있다. 설계 중심의 개발은 구현 프로그램의 자동생성을 바탕으로 설계 수준에서 정형화된 명세를 검증함으로써 설계와 구현 사이의 불일치를 없앨 수 있고, 유지보수가 효율적이다. 본 논문에서는 설계 중심의 개발 방법을 구축하기 위한 SDL과 CHILL 의 통합된 개발환경에서 디버깅 환경을 제공하기 위한 도구를 제안하고, 정합, 추적, 제어 언터페이스를 통하여 실행 주인CHILL 프로그램의 수행을 시스템 구현의 전단계 설계 문서인 SDL/GR의 심벌로 디버깅하는 SDL 심벌 디버거를 구현하였다.

COncurrent Design Approach for Real-Time System(CODARTS) 방법론은 Gomaa에 의해 제안된 실시간 소프트웨어 설계 방법론으로서 분석 단계에서 CORBA 방법을 사용하여 시스템의 객체와 함수들을 식별하고 행동 모델을 개발한다. 그리고 설계 단계에서는 병렬 태스크 구조화 지침 및 정보 은닉 모듈 구조화 지침을 적용하여 해동 모델의 객체와 함수들을 병렬 태스크와 정보 은닉 모듈들로 구조화한다. 마지막으로 병렬 태스크와 저오 은닉 모듈을 결합하여 소프트웨어 구조를 개발하고 구현 단계를 수행한다. 소프트웨어 구조를 개발하고 구현 단계를 수행하기 위해서는 병렬 태스크의 행동 특성이나 태스크간의 인터페이스가 정확히 명시되어야 한다. 이는 분석 단계에서 식별된 객체와 함수들에서 태스크에 대한 정보를 추출함으로써 이루어질수 있다. 본 논문에서는 행동 모델의 객체와 함수들로부터 병렬 태스크에 대한 행동 특성 정보 추출방법을 제안하고 태스크 사이의 인터페이스를 결정하는 방법을 보인다.

본 논문은 ATM(Abstract Timed Machine)에서의 시간 명세 방법에 대해서 기술한다. ATM은 임무 위급 시스템과 같은 실시간시스템을 명세, 분석 및 검증 할 수 있는 LTS(Labeled Transition System) 정형 기법이다. 실시간 시스템이 요구하는 많은 속성 중 특히 시간 제약에 대해서는 사용자나 개발자 모두에게 명확하고 간결한 명세기법이 요구된다. ATM에서는 전이와 모드의 시간 제약을 간략하게 표현할 수 있는 방법을 제공한다. 또한 주기적 동작을 패턴인식하여 보여주는 주기 주제 모드를 통하여 주기와 관련된 동작과 시간 제약을 쉽게 파악할 수 있게 하며 주기적 동작을 선택적으로 간략화하는 방법을 제공한다. 본 논문은 ATM의 다양한 시간에 대한 요구사항에 대한 표현방법을 기술하고 예를 통해서 살펴본다.

다양한 실행경로가 존재하는 실시간 시스템을 이해하기 위해 정적 정보와 함께 동적 정보의 이해가 필요하다. 본 논문은 매개언어 SRL을 사용하여 정적 정보와 동적 정보를 모두 표현할 수 있는 방법을 제안했다. SRL을 통해 표현된 정적 정보와 동적 정보는 많은 시스템 이해 도구에 사용될 수 있다. 또한 동적 정보를 얻기 위한 방법으로 실제 시스템이 아닌 가상기계를 통한 가상실행을 수행함으로써 안전성이 중요한 시스템을 검증이전에 위험부담 없이 검사할 수 있다.

컴퓨터의 보급과 네트워크의 확산, 그리고 업무의 자동화 흐름을 타고 많은 비즈니스 업무들이 자동화되고 있다. 이런 자동화를 위해 필요한 시스템이 워크플로우 관리 시스템이다. 최근 웹의 활성화롤 비즈니스 업무들도 웹상에서 수행될 필요성이 증가하였고 이를 지원하기 위해 워크플로우 관리 시스템도 웹에 맞게 변경될 필요성이 대두되었다. 기존의 워크플로우 시스템은 웹에 대한 고려가 되어 있지 않았다. 이에 본 논문에서는 웹기반 워크플로우 관리 시스템의 구조를 제안한다.

본 논문은 웹 기반의 Java 바이트 코드의 이해를 지원하는 XML(eXtensible Markup Language)문서를 생성하는 것을 목적으로 한다. 기존 XML 문서는 사용자가 임의로 태그를 생성하여 확장할 수 있는 장점이 있는 반면에 프로그램에 대한 태그의 정적인 정보만을 제공하는 단점이 있다. 따라서 정적인 정보만을 제공하는 XML 문서에 Java 바이트 코드를 Javap로 역어셈블(disassemble)하여 얻을 수 있는 메소드 호출의 동적인 정보를 추가할 필요가 있다. 본 논문은 이러한 Java 바이트 코드에 대해 동적.정적인 정보가 포함되어 있는 XML 문서를 웹 상에서 클라이언트에게 다운로드(down load)할 수 있는 기능을 제공하여 Java 프로그램의 이해도를 증진시키는데 그 의의가 있다.

시스템에 사용되는 데이터베이스 또한 소프트웨어이고 이를 유지보수 하기위해 데이터베이스 역 공학을 사용하고자 한다. 데이터베이스 역 공학 기법은 기존 시스템에서 사용되는 데이터베이스의 스크립트 파일들을 기준으로 현 데이터베이스의 구조를 역으로 도출하는 기법이다. 본 논문은 소프트웨어 유지보수를 위해 위와 같이 도출된 구조를 대상으로 검증 과정을 실시하여 문제점을 파악하고 해결 방법을 제시한다.

컴포넌트의 재사용은 기존 소프트웨어의 문제점인 소프트웨어의 수요충족, 신뢰성요구 및 유지보수 용이 등을 해결할 수 있는 방법중의 하나이다. 현재, 재사용 컴포넌트를 위한 웹 상에서의 정보서비스는 데이터요소의 불일치와 이미 검색된 정보를 다시 찾아야 하는 비효율적인 검색방법을 사용하고 있다. 이를 해결하기 위해, 본 논문에서는 이전에 찾은 컴포넌트 정보를 재사용 할 수 있도록 에이전트를 사용해 컴포넌트 정보를 수집하고 논문에서는 이전에 찾은 컴포넌트 정보를 재사용 할 수 있도록 에이전트를 사용해 컴포넌트 정보를 수집하고 XML 형태로 정보를 저장, 관리하는 컴포넌트 정보의 재사용 방법을 제시한다. 즉, 이용자별로 이미 검색된 정보를 저장, 갱신관리하여, 이후 컴포넌트 검색에 있어서 이런 정보를 재활용함으로써, 검색시간의 단축, 정확한 정보검색 그리고 이용자별 차별적인 정보제공과 컴포넌트 평가를 지원할 수 있다.

대규모 병렬 컴퓨터에서 메시지를 가진 한 노드에서 다른 모든 노드들로 그 메시지를 전달하는 방송은 데이터의 복제, 신호 처리와 같은 다양한 응용프로그램에서 이용되는 중요한 통신 패턴이다. 매크로-스타 그래프는 스타 그래프를 기본 모듈로 가지면서 스타 그래프가 갖는 노드 대칭성, 최대 고장 허용도, 계층적 분할 성질을 갖고, 스타 그래프보다 망 비용이 개선된 상호 연결망으로 최근에 제안되었다. 본 논문에서는 매크로-스타 그래프의 계층적 분할 성질과 기본 모듈을 이용한 매크로-스타 그래프에서의 일-대-다 방송알고리즘을 제안한다.

본 논문에서는 여러 개의 디스크를 클러스트화한 메시지 전송 기반의 병렬 멀티미디어 파일 시스템(PMFS: Parallel Multimedia File System)을 제안하고 설계, 구현하였다. 본 논문에서 구현한 PMFS는 이식성, 유연성 그리고 확장성을 고려한 멀티미디어 데이터를 지원하는 병렬 파일 시스템으로 2계층 분산 클러스트 구조에 적합하다. 그리고 제어 메시지와 TCP를 기반으로 서버들간에 통신을 하고 다양한 방법의 데이터 배치 기법을 제공한다. PMFS의 성능 평가 결과 데이터들이 임의 시작 블록과 DIS배치 기법으로 저장된 경우 가장 좋은 성능을 보였다.

분산 공유메모리 시스템(DSM)의 성능 향상을 위해 일관성 모델의 측면에서 많은 연구가 진행되었다. 분산 공유메모리 시스템의 성능을 저하시키는 가장 큰 요인은 거짓공유 문제와 별도의 통신비용 문제를 들 수 있는데, 동기화 연산에 의한 일관성 유지 방법, 홈-기반 접근방법 등의 보다 완화된 메모리 모델로서 이러한 문제점을 해결하려는 연구가 진행되어 왔고, 어느 정도 타당한 결과를 보였다. 본 논문에서는 동기화 연산에 의한 일관성 모델을 기초로 동적 홈-기반 접근방법을 제안하며, 이것은 홈에서의 이점 및 부하를 여러 프로세서에게 분산시켜 시스템 전반의 성능향상을 가져온다.

네트워크의 속도가 빨라짐에 따라 저비용으로 고성능의 성능을 얻고자 하는 클러스터 시스템에 대한 연구가 많아지고 있다. Fast Ethernet, ATM, Myrient, SCI와 같은 고성능 네트워크 시스템이 많이 사용되고 있다. 기존 분산시스템에의 부하 불균등 문제가 이런 클러스터 시스템에서도 역시 문제시 되고 있다. 일반적인 동적 부하균등화 방법은 실행시간중에 노드들의 부하량에 대한 정보를 얻어 전체 노드들이 평균의 부하량에 수렴하도록 하는 것을 목적으로 한다. 그러나, 통신비용과 노드 복잡도에 따라 완벽한 부하균등화를 하는 것이 효율적인 부하균등화를 얻는 것이 아니다. 부하균등화 노드 복잡도에 따라 완벽한 부하듄등화를 하는 것이 효율적인 부하균등화를 얻는 것이 아니다. 부하균등화 비용이 클때는 완벽한 부하균등화보다는 이득률이 크도록 하는 부분적 부하 균등화가 더 효율적일 수 있다. 본 논문에서는 클러스터 시스템을 모델링하고 이에 적합한 부분적 동적 부하 균등화 모델을 제시한다.

WWW의 대중화를 통한 인터넷 사용자의 증가로 발생되는 통신지연의 해결책으로 웹 캐싱 방법이 고려되어 왔다. 웹 서버의 용량초과로 서비스시스템을 확장하고자 할 때 서버 운영자의 측면에서는 사용자의 서비스 응답시간을 줄이는 것 못지 않게 서버를 확장하고 유지하는데 드는 비용을 최소화하는 것도 중요한 사항이다. 그러므로 본 논문에서는 인터넷상에서 프락시가 될 수 있는 잠재노드들이 양방향 통신을 지원하는 링크들로 선형(linear)과 고리(ring) 구조를 이룰 때 서비스 노드들 각각이 정해진 임계 응답시간을 보장하기에 필요한 최소한의 프락시의 개수와 그의 위치를 동시에 찾아내는 알고리즘을 제안한다. 여기서 프락시의 위치는 위상의 어느 족에 위치해도 무방하다고 본다.

하이퍼큐브의 성능을 좌우하는 중요한 요소 중 하나가 프로세서간의 통신이다. 그리고 병렬 컴퓨터에서 프로세서의 수가 증가함에 따라, 구성요소들이 오류가 날 확률도 높아졌다. 이러한 이유로, 오류 난 구성요소들이 있어도 다중 전송이 가능하게 효율적으로 설계하는 것이 중요하다. 본 논문에서는 최근에 제안된 완전 도달성 정보와 새로 추가한 국지적 정보를 이용해서 라우팅 알고리즘을 제안하고, 이것을 바탕으로 다중 전송 성공률이 높은 새로운 다중 전송 알고리즘을 제안하였다. 시뮬레이션을 통하여 제안한 기법은 기존의 기법 보다 통신량의 차이는 거의 없으면서, 다중 전송 성공률이 목적지 노드 수에 따라 5~15% 가량 향상시킬 수 있었다.

인터넷 상에 분산되어 있는 다수의 일반 컴퓨터들을 이용하여 높은 컴퓨팅 파워를 요구하는 응용문제를 병렬분산 처리함으로써 값 비싼 고성능의 수퍼컴퓨터를 사용하는 것 보다 경제적인 효과를 얻을 수 있다. 본 연구에서는 다중 에이전트 시스템을 이용해서 가장 병렬 시스템을 구성하고, 기존 방법들 보다 더 효과적인 방법으로 워커 에이전트와 작업 패키지를 분산하고 결과를 얻는 새로운 방법을 제안한다. IBM의 Aglet 시스템을 이용하여 이동 컴퓨팅 환경을 모델링 하였고, 제안된 분산 기법에 관한 성능 모델을 수학적으로 유도하여 그 결과를 기존 결과와 비교함으로써 본 논문에서 제안된 방법이 더 효율적임을 보인다.

거짓 공유(flase sharing) 및 추가적인 통신으로 인한 성능 저하를 방비하기 위해서 소프트웨어 분산공유메모리 시스템을 위한 다양한 메모리 모델들이 제안되었다. Scope Consitency 모델은 Brazos, JIAJIA와 같은 최근 시스템에 채택된 모델로서, consistency scope 개념을 사용해서 데이터와 동기화 변수 간의 관계를 자동으로 인식한다. 본 논문에서는 Scope Consistency 프로토콜의 설계, 구현, 그리고 성능 측정 결과에 관해서 설명한다.

대규모 분산 공유메모리 다중처리기는 공유메모리 접근 지연시간이 크다는 약점을 지니고 있다. 이러한 다중처리기에서 모든 메모리 요청이 홈노드를 통해 이루어지는 디렉토리 기반의 캐쉬 일관성 유지 기법의 사용은 메모리 접근 지연시간을 더욱 크게하는 요인으로 작용한다. 뿐만 아니라 메모리 접근 지연시간은 시스템의 규모가 커질수록 전체 성능에 중요한 요소로 작용하므로, 대규모 시스템에서 이를 줄이기 위해서 많은 연구들이 있었다, 본 논문에서는 메모리 읽기 지연시간을 줄이는 새로운 캐쉬 일관성 유지 기법을 제안한다. 제안된 기법은 적응적 메모리 갱신을 이용하여 구현되었다. 적응적 메모리갱신은 홈노드의 메모리를 미리 갱신함으로써 읽기 접근 지연시간을 줄이는 방법이다. 이를 위해서 홈노드는 메모리 접근 유형을 분석해야 한다. 대부분의 공유메모리 접근은 일정한 유형을 지니므로 이를 토대로한 홈노드의 갱신은 높은 적중률을 보인다. 제안된 프로토콜의 성능을 측정하기 위하여 모의실험을 하였다. 모의실험 결과는 제안된 프로토콜에서 읽기 지연시간과 실행시간이 감소하는 것을 나타낸다.

통신 오버헤드 및 거짓 공유(false sharing)등의 문제를 해결하기 위하여 소프트웨어 분산공유메모리 시스템을 위한 다양한 메모리 모델등이 제안되었다. HLRC(Home based Lazy Release)[1]는 Keleher에 의해 제안된 LRC[2] 모델에 home 개념을 도입한 모델로서 최근의 소프트웨어 분산공유 메모리 시스템에서 널리 채용되고 있다. 본 논문에서는 HLRC 모델을 기반으로 한 메모리 일관성 프로토콜의 설계, 구현, 그리고 성능 측정 결과에 관하여 기술한다.

루프를 병렬 처리하기 위해 공유 메모리 다중처리기에 루프를 할당하는 네 가지 기법들을 루프 캐리 종속성(loop-carried dependence)을 가진 루프의 할당에 적용하기 위해 하여 변형 후 그들의 성능을 비교 분석한다. 구현은 자바 쓰레드 환경에서 하였다. 또한, 반복들간에 종속 관계가 생기는 루프의 효율적 수행을 위해 CDSS(Carried-Dependence Self-Scheduling)할당 기법을 제안한다. 종속 거리, 쓰레드 수, 반복 수등을 다양하게 하여 시뮬레이션 해 본 결과 제안한 CDSS는 양호한 부하 균형을 유지하였으며 다른 기법들에 비해 루프 수행 시간을 줄여 효율적임을 알 수 있었다.

경합은 공유메모리 병렬프로그램의 비결정적인 수행결과를 초래하므로, 디버깅을 위해서 경합탐지는 중요하다. 임계구역을 가진 병렬프로그램을 위한 수행중 경합 탐지 기법은 공유 자료구조를 사용하므로, 매 접근 사건 시에 병목현상을 유발한다. 본 연구에서는 동기화가 있는 병렬프로그램에서 매 반복을 수행할 때마다 공유 자료구조의 접근 횟수를 기껏해야 임계구역의 수에 비례하도록 매 접근사건을 검사한다. 그러므로 이 기법은 수행중 경합탐지의 확장성과 효율성을 제공한다.

상호연결망을 기반으로 하는 공유메모리 다중처리기의 성능은 공유메모리 접근 속도에 많은 영향을 받는다. 선인출 기법은 프로세서의 계산과 데이터의 접근을 중첩시켜 메모리의 접근 속도를 줄인다. 기존의 선인출 기법들은 캐쉬미스 양을 줄이는 것만을 생각하여 상호연결망의 상황을 고려하지 않은 문제점이 있다. 본 논문에서는 응답이 늦은 선인출 이용하여 선인출 양을 조절함으로써 상호연결망의 경쟁을 줄이는 새로운 선인출 기법을 제안하고 프로그램 구동 모의실험을 통해 기존의 선인출 기법[1]에 비해 더 좋은 성능을 나타냄을 보인다.

가장 느린 서비스시템인 I/O의 성능이 전체적인 컴퓨터 시스템의 성능을 결정짓게 된다. 따라서 전반적인 시스템의 성능 향상을 위해서는 I/O의 성능이 높아져야 한다. 분산병렬환경에서 I/O의 성능을 높이기 위해서 parallel I/O를 사용한다. 하위레벨에서 최적화된 병렬 파일시스템을 사용하고, 어플리케이션 레벨에서 병렬 에플리케이션의 개발을 쉽게 해줄 수 있는 인터페이스를 사용하면 더 효과적인 parallel I/O를 구현할 수 있다. 본 논문에서는 MPI에서 병렬 파일시스템인 CrownFS를 지원하도록 하기 위해서 MPI-IO에 CrownFS를 추가하여 병렬환경에서 높은 성능을 나타낼수 있는 parallel I/O 환경을 구현한다.

캐쉬를 사용하는 분산 공유 메모리 시스템에서는 캐쉬들 사이의 일관성 유지를 위한 지연 시간이 성능에 큰 영향을 미친다. 최근에는 각 공유 메모리의 일반적인 접근 패턴을 학습하여 일관성 유지의 예측적 수행을 가능하게 하는 메모리 공유 패턴 예측기가 연구되고 있다. 기존의 메모리 공유 패턴 예측기는 패턴 정보를 저장하기 위해서 모든 메모리 블락마다 예측 테이블들을 할당하지만 실제로 성능 향상에 도움을 주는 테이블들은 소수에 불과하다. 본 논문에서는 적은 양의 패턴 저장 공간을 사용하면서 기존의 예측기와 유사한 성능을 낼 수 있는 캐쉬 구조의 메모리 공유 패턴 예측기를 제안한다, 제안된 예측기에서는 좋은 성능을 내는 예측 테이블들을 선택적으로 저장하게 하는 효율적인 테이블 교체 기법이 요구된다. 본 논문에서는 LRU 교체 기법을 캐쉬 구조의 예측기에 적용시켰을 때의 문제점을 분석하고 제안된 예측기의 특성에 적합한 테이블 교체 기법을 제안한다.

클러스터 시스템의 성능을 향상시키기 위해서는 Myrinet과 같은 고성능 통신망 인터페이스가 필수적이다. 그러나 Myrinet에서 동작하는 저수준 통신 계층들은 각기 고유한 기작을 사용하므로 호환성이 떨어진다. 따라서 MPI와 같은 통신 프로그래밍 표준을 효율적으로 구현하여 응용프로그램 수준에서 고성능과 호환성을 동시에 제공하여야 한다. 본 논문에서는 VMMC 통신 계층을 기반으로, 늦은 위치 갱신, 선택적 무복사 전송 등의 최적화 기법을 적용하여 우수한 성능의 MPI를 구현하였다.

본 논문에서는 멀티미디어나 데이터베이스 등 대용량 입출력을 효율적으로 지원하기 위하여 고속 네트웍으로 연결된 클러스터링 환경에서 동작하는 클러스터 파일 시스템인 OpenCFS를 설계하고 구현하여 성능을 평가한다. 구현된 클러스터 파일 시스템은 입출력 장치의 한계를 극복하기 위하여 스트라이핑(striping)기법을 통한 병렬 입출력(parallel I/O)을 수행하고, 능동적으로 시스템 내부 정책 병경을 가능하게 하는 오픈 임플리멘테이션(Open Implementation)방법론을 적용함으로써 응용프로그램의 시스템 내부 정책에 대한 접근 방법을 제공한다. 실험을 통하여 구현된 클러스터 파일 시스템의 성능을 분석한 결과, 사용자가 기존의 프로그래밍 환경을 유지하면서 시스템 내부 정책을 변경함으로써 개선된 성능의 입출력 서비스를 제공 받을 수 있다.

라우터의 기본적인 목적은 안정적으로 다량의 데이터를 전송하는 것이다. 현재 e양한 메시지를 효과적으로 처리하기 위한 여러 혼합형 라우터가 개발되고 있다. 이는 단순히 한가지 방식만 고수하는 것이 아니라 기존의 여러 기법을 혼합된 방식을 적용하는 것이다. 이러한 혼합형 기법은 기존의 단일 방식의 단점을 보완할 수 있어야 하며, 그에 따른 오버헤드를 감수할 수 있어야 한다. 이러한 목적으로 웜홀 스위칭(wormhole switching)과 파이프라인드 서킷 스위칭(Pipelined Circuit Switching)을 동시에 구현하기 위해 혼합형 라우터 구조가 제안되었다. 이 라우터는 두 스위칭 기법을 동시에 지원하여 다양한 메시지를 효과적으로 처리할 수 있는 특성이 있다. 그러나 이 구조는 각 스위칭 방식에 해당하는 내부 연결망을 독립적으로 구성함으로써 입력으로 들어오는 스위칭 비율이 불균형일 때 내부 자원을 효율적으로 사용할 수 없는 단점이 있다. 따라서 본 논문에서는 라우터의 내부 연결망을 공유하여 사용하는 새로운 혼합형 라우터를 제안하였다. 제안한 구조는 웜홀과 파이프라인드 서킷 스위칭을 지원하는 라우터로, 메시지를 전송할 때 내부 연결망을 서로 공유함으로써, 입력 메시지의 비율이 불균형할 때 효과적으로 자원을 이용할 수 있게 하였다. 시뮬레이션을 통하여 기존의 혼합형 라우터를 사용하는 것보다 더 높은 성능을 보인다는 것을 증명하였다.

WWW의 급격한 발전은 고성능 웹 서버의 구축을 필요로 하게 하였다. 특히 프로세스와 오버헤드를 줄이기 위해 도입된 멀티 쓰레드 기법을 이용한 병행 웹 서버들이 많이 연구되었는데 본 논문에서는 이런 웹 서버들을 리눅스가 탑재되어 있는 다중 처리가상에서 구현하였으며, 다양한 환경 하에서 성능을 비교, 분석하였다. 실험을 통하여 Thread Pool 구조 웹 서버가 가장 좋은 성능을 보임을 알 수 있었고, 작업 기반 웹 서버와 요구 기반 웹 서버의 성능은 환경에 따라 차이가 있음을 알 수 있었다. 이와 같은 실험 결과는 다중 처리기를 이용한 고성능 웹 서버를 구축하는 데 있어서 이용될 수 있을 것이다.

인터넷 사용의 일반화로 인터넷을 통한 전자 상거래가 점차 늘고 있다. 이 가운데 많은 사용자들이 이용하는 사이트는 하루 수 백만건의 접속이 이루어지고 있고 사용자의 요구도 다양해지고 있다. 이러한 사이트에서는 사용자에게 최적의 성능을 보장해야 될 뿐만아니라 시스템의 다운 타임을 최소화 할 수 있는 방안이 필요하게 된다. 기존의 단일 시스템 체계는 이런 면에서 한계에 도달하였다. 단일 시스템의 한계점을 극복하기 위해서 클러스터를 이용한 대안이 제시되고 있다. 따라서 본 논문에서는 리눅스 플랫폼 상에서 클러스터를 이용한 웹 서버를 설계 및 구현하였다.

네트워크 처리속도의 증가로 네트워크 컴퓨팅 환경에서의 작업이 늘고 있다. 플랫폼 독립성이라는 특성을 내세운 자바는 일반적인 이 기종간의 네트워크에서의 프로그래밍 언어로 많이 이용되고 있다. 그리고 이러한 네트워크 컴퓨팅 환경에서 병렬 프로그램 디버깅의 어려움으로 인해 자바 병렬 프로그램을 위한 디버거의 필요성이 요구되고 있다. 기존의 디버거들은 이런 병렬 환경에서의 디버깅을 각 프로세서에 하나의 순차디버거를 붙인 디버깅 환경을 제공한다. 그러나 병렬 프로그램은 순차프로그램과 다른 재실행시의 비결정적인 특성을 가지고 있음으로 일반적인 순차 디버거를 이용한 디버깅은 의미가 없다. 본 논문에서는 자바로 구현된 네트워크 컴퓨터(JaNeC)에서 병렬프로그램을 디버기하기 위하여 재실행 시 실행 순서를 보장하는 자바 디버거를 소개한다.

오늘날 네트웍의 발달로 인하여 사용자가 원하는 영상매체를 실시간으로 요구하는 멀티미디어 서비스에 대한 사용자의 요구가 날로 증가하고 있다. 때문에 영상매체를 제공하는 서버는 여러 사용자들이 동시에 접속하였을 때 서비스를 제공 할 수 있는 능력을 가져야 한다. 본 논문에서는 멀티미디어 서비스를 위한 VOD(Video-On-Demand)시스템을 설계 및 구현한다. VOD 시스템은 미디어를 분석하여 BES(Back-End-Server)에 저장하는 영화 관리자(Movie Manager), 분산 저장된 데이터를 읽어 들여 사용자나 연결된 FES(Front-End Server)로 보내는 BES, 사용자에게 미디어 데이트를 전송하는 FES와 전송된 데이트를 받아서 재생하는 클라이언트(Client)를 구성된다. 또한 다수의 서버를 연결하기 위하여 SCI(Scalabel Coherent Interface)를 이용한 효율적인 메시지 전송방법을 구현한다.

본 논문에서는 방향 네트웍에서 안전한 통신 프로토콜을 연구한다. 본 논문은 Dolev 등의 방법[6]을 따라 일반적인 네트웍을 한 쌍의 전송자와 수신자가 여러개의 채널을 통해 연결되어 있는 모델로 단순화한다. Dolov 등은 채널이 모두 양방향이거나 또는 방향이 ？ 전송자에서 수신자인 경우만 다루었으나 여기서는 양방향과 단방향 채널이 동시에 존재하는 경우를 다룬다. 단방향 채널에는 전송자에서 수신자로의 방향 뿐만아니라 그 역방향으로만 통신이 가능한 채널도 포함된다. 본 논문은 정보이론적으로 안전한 통신이 가능하기 위한 필요충분조건을 구하고 효율적인 알고리즘을 제시한다. 이 알고리즘은 단순화한 모델에서의 채널을 정점분리 경로로 대응시켜 일반적인 방향 네트웍에서 적용될 수 있다.

공개키 암호 알고리즘의 암호화 함수는 한 방향으로의 계산은 매우 쉬우나, 역 계산은 매우 어렵다는 일방향성과 특별한 정보를 가지면 역 계산이 가능하다는 트랩도어(trapdoor)성질이 있어야 하기 때문에 NP 문제나 계산상 풀기 어려운 수학 문제에 기반하여 연구되고 있다. 본 논문에서는 정수 계획법이라는 NP-완전 문제를 이용한 새로운 공개키 암호 알고리즘을 제안한다. 이 알고리즘의 키 생성 방식은 기존의 배낭꾸리기 암호 TTMXPA의 방식과 유사히지만 기존 시스템의 공격 대상이었던 비밀키가 가지는 취약성을 보완하였다.

현실세계에서 사이버 세계로의 전환은 우리에게 많은 생활의 변화를 가져옴과 동시에 혼란을 동반 하고 있다. 이러한 상황에서 암호기술은 사이버 세계의 질서를 잡는 핵심기술로 발전하고 있다. 본 논문에서는 기존의 공개키 기반 구조의 단점들을 보안 하는 방법으로 생체인증 기술인 지문 인식시스템과 RSA암호 알고리즘을 결합한 새로운 인증 시스템을 제안한다.

최근 들어 계산분자생물학 분야에서 문자열 알고리즘과 관련된 유전자 재배열 문제가 많은 관심을 끌고 있다. 특히 이러한 문제에는 전도(reversal)나 전치(transpositon)와 같은 재배열 연산들이 사용되고 있다. 전도와 전치 두 가지 연산을 모두 사용하는 정렬은 필요한 최소 연산 회수의 3배 이내의 연산 수행만으로 가능하다고 알려져 있다. 이 논문에서는 기존의 알고리즘을 분석하고 휴리스틱을 사용함으로써 실제 연산 수행 회수를 대폭 줄일수 있음을 보였다. 또한, 기존의 알고리즘보다 간단한 새로운 알고리즘을 제시하고, 이 알고리즘과 휴리스틱을 같이 사용하는 경우 수행 시간과 근사비(approximation ratio)에 있어서 매우 효과적임을 보였다.

대칭성(symmetry)은 그래프를 가시화하여 기학학적 표현을 구축하는 그래프 드로잉 분야에서 그래프의 구조와 특성을 효율적으로 표현해주는 가장 중요한 평가 기준이다. 하지만 현재까지는 이차원 평면에서의 대칭성 문제에 대해서만 기존 연구가 이루어져왔을 뿐 해상도를 증가시키고 대칭성을 보다 풍부하게 표현할 수 있는 그래프의 삼차원 대칭 드로잉에 관한 연구는 아직 제시된 바 없다. 본 논문에서는 그래프 드로잉에서의 삼차원 대칭성 문제를 연구하였다. 먼저 그래프의 삼차원 대칭 드로잉을 구축하기 위해 필요한 삼차원 대칭성 모델을 제시하고 이를 기반으로 하여 트리에서 삼차원 대칭성을 탐지하는 알고리즘을 제시하였다. 이 알고리즘은 트리의 최대의 대칭성을 보여주는 삼차원 드로잉 알고리즘으로 쉽게 확장이 가능하다.

이 논문은 에지와 정점에 고장이 있는 이중 루프 네트워크의 해밀톤 성질을 고려한다. 이중 루프 네트워크 G(mn;1,m)은 m$\times$n 그리드 그래프에 에지를 추가한 4-정규 그래프이다 m과 n이 모두 짝수인 이중 루프 네트워크G(mn;1,m)은 고장난 요소(에지와 정점)의 수가 1이하인 경우에 해밀톤 연결되어 있고, 고장난 요소의 수가 2이하인 경우에 항상 해밀톤 사이클을 가짐을 보인다.

이 논문에서는 새로운 중앙 소거 방식과 행렬 이분법의 개념을 시스톨릭한 구조 위에 결합시켜{{{{ { O}^{ } }}}}({{{{ { N}^{ 3} }}}})의 문제를 해결한다. 새로운 중앙 소거 방식은 주어진 시스톨릭한 구조의 병렬성을 최대한 증가시키는 것을 가능하게 해주며, 행렬 이분법은 기존의 가우스 소거 방식 상에서 나타나는 {{{{ { O}^{ } }}}}({{{{ { N}^{ 2} }}}})의 복잡도를 요구하는 후진 대입을 효과적으로 제거 시켜준다. 새로운 소거 방법은 독립적인 선형방정식으로 이루어진 시스템의 차수를 N이라 할 때 2N(N+1)의 저장 공간과 4N+2log2N-4의 시간 복잡도를 갖는다. 제안 한 새로운 소거 방식은 단순한 구조와 연결 방식을 가진 그물 구조의 시스톨릭 병렬 시스템에 적용되기에 충분히 적합한 단순한 알고리즘을 사용하면서도 이전의 방법과 동일한 구조의 저정공간을 요구하고 동시에 훨씬 우수한 시간 성능을 나타내는 것이 가능하다.

본 논문에서는 광 네트워크에서 파장(Wavelength)의 라우팅(Routing)문제와 파장할당 (Wavelength Assignment)문제 해결에 필요한 파장의 개수를 찾아내는데 있어서 Ants System의 적용이 기존의 다른 방법과 유사하거나 일부 더 좋은 결과를 나타냄을 보인다. 또한, 광 네트워크에서 각 링크가 균등하게 사용되도록 함으로써 광경로(lightpath)의 개수를 최소화하여, 주어진 네트워크에서의 파장의 최소 개수를 찾아내는데 Ants System이 효과적으로 적용될 수 있음을 보인다.

대칭성(symmetry)은 그래프를 가시화하여 기하학적 표현을 구축하는 그래프 드로잉 분야에서 그래프의 구조와 특성을 명확하게 표현해주는 가장 중요한 평가 기준이다. 하지만 현재까지는 이차원 평면에서의 대칭성 문제에 대해서만 기존 연구가 이루어져왔을 뿐 해상도를 증가시키고 대칭성을 보다 풍부하게 표현할 수 있는 그래프의 삼차원 대칭 드로잉에 관한 연구는 아직 미약한 실정이다. 본 논문에서는 직병렬 유향 그래프에서의 삼차원 대칭성을 탐지하는 알고리즘을 제안하였다. 직병렬 유향 그래프는 소프트웨어 가시화난 네트워크 모델링 등에 자주 사용되는 유용한 그래프이다. 이 알고리즘은 직병렬 유향 그래프의 최대의 대칭성을 보여주는 삼차원 드로잉 알고리즘의 기반이 된다.

본 논문에서는 이진 트리 형태를 가지는 다관절체의 균형을 잡거나 이진 트리 모양으로 연결된 네트워크 상에서 단말 노드들의 부하를 균형 있게 하는데 이용할 수 있는 무게 있는 리프 이진 트리 균형 문제를 제안한다. 또한 무게 있는 리프 이진 트리 균형 문제를 리프들의 무게 변화량의 쌍의 {{{{ { l}_{ 1} }}}}-norm, {{{{ { l}_{2 } }}}}-norm, {{{{ { l}_{3 } }}}}-norm 각각을 최소로 하면서 해결하는 방법들을 제안한다. 이 방법들은 무게 있는 리프 이진 트리 균형 문제의 특성을 이용하여 n개 변수를 하나의 변수의 양의 상수배로 나타냄으로써 해결할 수 있음을 보인다.

트리는 실세계의 모델을 가시적으로 알기 쉽게 표현하기 위한 자료구조로서 자주 이용되어진다. 따라서 트리의 이해도와 판독성을 증가시켜 정보의 의미를 명확하게 전달하는 것음 매우 중요하다. 이를 위해서는 공간과 시각적 측면을 고려하여 적절한 노드의 위치 배정이 필요하다. Tilford는 최소면적의 공간에 트리를 보기 좋게 도시하는 알고리즘을 제시하였는데, 이는 트리의 전체적 구조가 왼쪽으로 치우칠 뿐 아니라, 도시시에 노드의 불필요한 이동이 많이 일어나는 등의 단점을 가지고 있다. 본 논문에서는 이러한 단점을 개선하여 트리를 도시하는 알고리즘을 제시한다.

원활한 RTS 게임의 진행을 위해서 경로 찾기의 역할은 절대적이다. 경로 찾기는 게임 유닛의 진행이나 행동에 따라 무한 발생하며 게임의 특성에 따라 변하기 쉽기 때문에 유연해야 한다. 이는 게임의 자유도를 높이는데 중요한 요소가 된다. 그러나 경로 찾기는 맵의 속성이나 환경 또는 사용자의요구에 따라 행동 패턴들이 무한 발생하므로 체계적 알고리즘을 만들기가 어려워 많은 문제를 일으킨다. 기존의 게임에서는 알고리즘이 맵 상의 협곡에서 속성 처리를 제대로 하지 못하였다. 본 논문에서는 대기모드의 추가를 통한 해결에 방안을 제시 한다.

본 논문에서는 정규 기저 표현(normal bases repersentation)을 갖는 GF(2n)상에서의 병렬 멱승 연산에 있어서 2 가지의 개선 사항을 기술한다. 첫째는,k를 윈도우 길이로 할 때 라운드가 [log k]+[log[n/k]]로 고정된 경우에 현재까지 알려진 방법보다 더 작은 수의 프로세서를 갖는 방안이다. 둘째는 점근적인(asymptotic)분석을 통하여 GF(2n)상에서의 병렬 멱승 연산이 O(n/log2n)개의 프로세서로 O(logn)라운드에 수행될 수 있음을 보인다. 이것은 m로세서 $\times$라운드의 바운드를 O(n/logn)으로 하는 것으로 이전까지 알려졌던 O(n)을 개선한 것이다.

두 명 또는 그 이상의 통신 참가자가 통신 채널을 개설하여 통신을 종료하기까지를 하나의 세션으로 정의하였을 때, 기존의 세션 키 생성 프로토콜은 하나의 세션에서 하나의 비밀 세션 키만을 생성한다. 방대하고 다양한 정보를 빠른 시간에 전송하는 초고속 네트워크 환경에서는 하나의 통신 세션에서 하나의 세션 키만을 사용하는 기존의 방법만으로는 안전한 데이터의 전송이 보장되지 않는다. 본 논문에서는 하나의 세션에서 별도의 키 분배 프로토콜의 수행 없이 서로 다른 다수의 세션 키를 생성하여 사용할 수 있도록 함으로써, 초고속 네트워크 상에서 보다 안전한 데이터의 전송이 이루어질 수 있도록 한다. 이를 위해 키드 해쉬 함수(keyed hash function)를 이용하여 간단하고 효율적인 멀티 세션 키 생성 프로토콜을 제시한다.

본 논문은 광네트워크(optical network)에서 정보의 송/수신에 필요한 광경로를 설정하기 위한 방법으로 유전자 알고리즘을 이용한 라우팅 전략을 제시하고 있다. 논문에서 제시하는 유전자 알고리즘(genetic algorithms)은 메쉬형(mesh-like)광 네트워크의 각 링크에 적은 수의 광경로(lightpath)가 통과하도록 하여 네트워크 전체 링크의 사용빈도를 감소시키고 광경로들이 특정 링크로 집중되는 현상을 감소시켜 네트워크의 효율을 증가시키는 라우팅 전략을 제시할 수 있음을 보이고 있다.