권호 표지

The KIPS Transactions:PartA (정보처리학회논문지A)

Korea Information Processing Society

  • Bimonthly
  • /
  • 1598-2831(pISSN)

Domain

  • Information/Communication ＞ Information Processing Theory

Aim & Scope

The KIPS Transactions:PartA publishes original research papers in information processing focusing on computer system and theory. Application oriented papers are also accepted. Technical fields of this journal in detail are as follows; computational theory, algorithm theory, formal languages, grid/clustering computing, middleware, multimedia theory (synchronization, indexing, compacting), parallel/distributed processing theory, computational learning theory, computer graphics & CAD, computer networks, computer system applications, real time processing system.

KSCI

Volume 12A Issue 7 Serial No. 97

  1. Park, Sa-Choun;Kwon, Gi-Hwon;Ha, Soon-Hoi 563
    https://doi.org/10.3745/KIPSTA.2005.12A.7.563 PDF KSCI
    하드웨어와 소프트웨어를 통합 설계하는 프레임워크인 PeaCE(Ptolemy extension as a Codesign Environment)에서는 데이터 흐름과 제어흐름을 모두 표현할 수 있다. PeaCE에서 제어 흐름을 표현하는 fFSM 명세를 정형 검증하기 위해 fFSM의 단계 의미를 정의하였다. 본 논문에서는 이전 연구에서 정의된 정형 의미를 바탕으로 개발한 자동 검증 도구를 소개한다. 이 도구는 내부 모델체커로 SMV를 사용하며 사용자는 직접 논리식을 기술하지 않고도 레이스 조건, 애매한 전이, 순환 전이 등의 주요한 버그들을 검증할 수 있다.
  2. Lee Tae-hoon;Park Song-hwa;Kim Tae-hoon;Lee Sang-gi;Lee Joo-Kyong;Chung Ki-Dong 571
    https://doi.org/10.3745/KIPSTA.2005.12A.7.571 PDF KSCI
    NAND 플래시 메모리는 저전력 소비, 비휘발성, 읽기 속도의 항상 등의 장점이 있다. 그러나 제자리 덮어쓰기(in-place-update)가 불가능하고 지우는 횟수에 제한이 있으며 페이지 단위로 연산이 수행되는 단점이 있다. 이러한 NAND 플래시 메모리를 위한 전용 파일 시스템으로 YAFFS가 개발되었지만 여러 가지 문제점이 존재한다. 본 논문에서는 빠른 복구를 위한 기법, 효율적인 데이터 갱신 기법 그리고 균등한 메모리 사용을 위한 플레인 지움 정책을 사용하는 파일 시스템을 제안한다 전원 오류 발생시, 로그 정보를 사용하여 빠른 복구를 지원한다. 그리고 플래시 메모리의 효율적인 사용을 위해 데이터 쓰기 양을 최소화하고 이를 위해 새로운 메타 데이터 구조를 제안한다. 또한 플레인 지움 정책은 플래시의 균등 사용과 임베디드 시스템의 제한된 자원을 고려하여 연산을 최소화한다. 제안된 기법들의 성능을 실험을 통해 증명하고 그 결과를 분석한다.
  3. Park Myeong-Chul;Kim Young-Joo;Ha Seok-wun;Jun Yong-Kee;Lim Chae-Deok 583
    https://doi.org/10.3745/KIPSTA.2005.12A.7.583 PDF KSCI
    임베디드 시스템에서 요구하는 SoC 프로그램을 개발하기 위해서는 자원이 풍부한 호스트 시스템에서 원격으로 디버깅할 수 있는 도구가 필요하다 그러나 GDB를 이용하는 기존의 원격 디버깅 도구는 SoC 프로그램의 수행 시에 정보를 실시간으로 제공하지 못하므로 프로그램의 수행 양상을 실시간으로 감시하기 어렵고, 도구에 제한적인 고가의 어댑터를 사용한다. 본 논문은 지정된 명령문의 수행시마다 SoC의 상태를 수행 중에 기록할 수 있는 실시간 추적도구를 소개하고, 원격 디버깅을 위한 경제적인 USB-JTAG 어댑터를 제안한다 그리고 본 도구가 PXA255 프로세서 기반의 타겟 시스템에서 합성 프로그램의 수행을 실시간으로 추적할 수 있음을 보인다.
  4. Hong Jang-Eui 589
    https://doi.org/10.3745/KIPSTA.2005.12A.7.589 PDF KSCI
    임베디드 소프트웨어는 하드웨어 플랫폼에 탑재하기 전, 소스 코드에 대한 품질을 검증하는 작업이 매우 중요하다. 임베디드 소프트웨어의 코드 품질을 향상시키기 위해서는 분석 및 설계 단계의 모델에 대한 품질과 생성된 코드에 대한 품질이 관리되어야 한다. 본 연구에서는 임베디드 소프트웨어의 소스 코드 품질을 향상시키기 위한 방법으로 Practice Pattern을 제안한다. 이는 모델링 과정이나 코딩 과정에서 개발자를 가이드 하는 절차 패턴으로써, 모델의 품질과 소스 코드 품질을 향상시키는 방법으로 사용될 수 있다. 제시하는 패턴의 적용은 기능의 정확성뿐만 아니라 성능, 모듈화, 재사용성 및 이식성 등과 같은 품질 요소들을 향상시킬 수 있을 것으로 보인다.
  5. Kim Do-Hyung;Yun Min-Hong;Kim Sun-Ja;Lee Cheol-Hoon 597
    https://doi.org/10.3745/KIPSTA.2005.12A.7.597 PDF KSCI
    본 논문에서는 스마트폰 미들웨어 및 기본 응용 프로그램으로 구성된 임베디드 리눅스 기반의 스마트폰 에디션의 구현에 대해 기술한다. 기존의 스마트폰 플랫폼들은 상용화 시 로열티를 지불해야 하고, 소스 코드가 공개되어 있지 않아 기능 확장의 문제점이 있었다. 임베디드 리눅스 기반의 GPE는 상용화 시 로열티 문제점은 해결하지만, PDA 급 장치들을 목표로 개발되어 스마트폰과 같은 작은 LCD 크기 및 키 입력만으로 응용 프로그램을 수행할 수 없는 문제점이 있었다. 구현된 Qplus-P스마트폰 에디션에서는 임베디드 리눅스 기반으로 개발되어 로열티가 없으며, 사용자가 키 입력만으로 폴더 이동 및 특정 응용 프로그램을 수행할 수 있는 키 네비게이션 기능을 제공한다. 그리고, 기존의 셀룰러폰과 유사한 화면 구조 및 인디케이터를 제공함으로써 사용자가 보다 편리하게 스마트폰 에디션을 사용할 수 있는 환경을 제공한다.
  6. Nam Young-Jin;Park Chan-Ik 605
    https://doi.org/10.3745/KIPSTA.2005.12A.7.605 PDF KSCI
    스토리지 시스템의 성능과 용량이 증가됨에 따라서, 스토리지 시스템은 이제 다양한 사용자에 의해서 공유되어 사용되는 것이 일반화 되고있는 추세이다. 본 논문은 네트워크에서 널리 이용되는 토큰 버킷을 이용하여 공유 스토리지 시스템 상에서 각 사용자 원하는 스토리지 입출력성능을 확률적으로 보장하는 기법을 설계한다. 또한, 다양한 형태의 작업부하를 이용한 시뮬레이션을 통해서 제안된 알고리즘의 동작 및 성능을 검증한다.
  7. Kang, Chang-Hoon;Park, Kie-Jin;Kim, Sung-Soo 613
    https://doi.org/10.3745/KIPSTA.2005.12A.7.613 PDF KSCI
    인터넷 사용자들에게 신뢰성 있는 차별화된 고품질의 서비스를 제공하기 위해서, 클러스터 기반 웹 시스템에서 클라이언트의 계층별 요청형태에 따라 서비스 제공자와 클라이언트간의 서비스 계약 조건(SLA: Service Level Agreement)을 만족시킬 수 있는 차별화 서비스(Differentiated Service)에 대한 연구가 활발하다. 본 논문에서는 클라이언트의 요청을 클러스터를 구성하는 각각의 웹 서버에 분배하는 이중화 웹 스위치와 서버들을 서로 다른 기능 도메인(Function Domains)으로 구분한 이질(Heterogeneous) 웹 시스템의 성능분할(Performance Isolation) 및 승인제어(Admission Control) 기법을 연구하였으며, 다양한 실험을 통해 제안된 구조와 기법이 적용된 웹 시스템의 가용도(Availability), 응답시간 및 승인제어 성능을 분석하였다
  8. Chung Tae-Sun;Park Dong-Joo;Cho Sehyeong 621
    https://doi.org/10.3745/KIPSTA.2005.12A.7.621 PDF KSCI
    플래시 메모리는 비휘발성(non-volatility), 빠른 접근 속도, 저전력 소비, 그리고 간편한 휴대성 등의 장점을 가지므로 최근에 다양한 임베디드 시스템에서 많이 사용되고 있다. 그런데 플래시 메모리는 그 하드웨어 특성상 플래시 변환 계층(FTL: Flash Translation ayer)이라는 시스템 소프트웨어를 필요로 한다. 본 논문에서는 LSTAFF(Large Sate Transition Applied Fast Hash Translation Layer)라 명명된 대블록 플래시 메모리를 위한 새로운 FTL 알고리즘을 제안한다. LSTAFF는 운영체제가 다루는 데이터 섹터 크기 보다 큰 플래시 메모리의 페이지를 고려한 FTL 알고리즘이며, 기존 FTL 알고리즘과 제안될 LSTAFF를 구현하여 플래시 시뮬레이터를 이용하여 성능을 비교하였다.
  9. Chung, Sang-Hwa;Oh, Soo-Cheol;Yoon, Won-Ju;kim, Hyun-Pil;Choi, Young-In 627
    https://doi.org/10.3745/KIPSTA.2005.12A.7.627 PDF KSCI
    본 논문에서는 분산 VOD 서버의 내부 통신망에 발생하는 부하를 줄이기 위해 channel bonding 기반 M-VIA 및 인터벌 캐쉬를 적용하는 방법을 제안한다. 분산 VOD 서버의 각 노드는 클러스터상에 분산 저장된 비디오 데이터를 서버 내부 통신망을 사용하여 전송받아 사용자에게 제공한다. 이 때, 대량의 비디오 데이터가 서버 내부 통신망을 통하여 전송됨으로 서버 내부 통신망에 부하가 증가한다. 본 논문에서는 서버 내부 통신망의 부하를 감소시키기 위해서 두 가지 기법을 적용하였다. 첫째, channel bonding을 지원하는 M-VIA를 개발하여 Gigabit Ethernet기반 서버 내부 통신망에 적용하였다. M-VIA는 TCP/IP의 통신 오버헤드를 제거한 사용자 수준 통신 프로토콜로 통신에 소요되는 시간을 감소시켜준다. 이러한 M-VIA에 복수개의 네트워크 카드를 사용하여 통신이 가능하게 하는 channel bonding 기법을 적용함으로써 서버 내부 통신망 자체의 대역폭을 증가시켰다. 두번째, 인터벌 캐쉬 기법을 적용하여 원격 서버 노드에서 전송 받은 비디오 데이터를 지역 노드의 메인 메모리에 캐쉬함으로써, 서버 내부 통신망에 발생하는 통신량을 감소시켰다. 실험을 통하여 분산 VOD 서버의 성능을 측정하였으며, TCP/IP에 기반하고 인터벌 캐쉬를 지원하지 않는 기존의 분산 VOD 서버와 성능을 비교하였다. 실험결과, channel bonding 기반 M-VIA의 적용으로 약$20\%$의 성능 향상, 그리고 인터벌 캐쉬 기법을 적용하여 추가로 약 $10\%$의 성능 향상이 생겨 총 $30\%$의 성능 향상을 얻을 수 있었다.