재사용성 및 신뢰성을 고려한 리눅스기반 임베디드 디바이스 드라이버 개발 기법 = A Technique of Reusable and Reliable Device Driver Development For Embedded-Linux System

국문 초록 (Abstract)

최근 임베디드 시스템의 급격한 발전으로 인해, 임베디드 시스템의 활용 범 위와 복잡도는 증가하고 있지만 임베디드 시스템의 개발생산성과 품질은 그러한 현실에 부합하지 못하고 있다. 이것은 임베디드 시스템 개발 특히 소프트웨어의 개발에 있어서는 특정 하드웨어 환경에 종속적인 개발방식에 비롯된 것이며 임베디드 시스템의 개발생산성 및 품질을 향상시키기 위해서는 이러한 개발방식에 대한 개선이 시급하다. 이러한 개발방식의 개선을 위한 기존 연구들에서는 별도의 인터페이스 명세언어나 복잡한 템플릿을 이용하여 디바이스 드라이버를 자동으로 생성하도록 하고 있지만 명세기법의 높은 복잡도나 부족한 유연성으로 인해 실제로 적용하기에는 많은 노력이 필요하다. 이에 따라 본 논문에서는 재사용 가능한 디바이스 드라이버 개발을 위해 가벼운 템플릿을 정의하고 모델링 측면을 감안하여 XML로 표현되는 하드웨어 정보를 결합하여 디바이스 드라이버를 생성하는 방안을 제시한다. 이것은 개발자가 손쉽고 적용 가능한 템플릿으로 디바이스 드라이버를 정의하고, XML로 명세된 특정 하드웨어 정보를 결합하여 실제 드라이버를 생성함으로써 높은 개발생산성을 보장하며 발전적으로 설계 단계에서의 검증을 통한 품질향상도 기대할 수 있다.

다국어 초록 (Multilingual Abstract)

According to the development of embedded systems, they are used in various fields. However, the productivity and the quality of embedded systems are not acceptable because of the hardware environment-oriented development. Several works has proposed new techniques using a formal specification method or complex template, but due to high complexity and low flexibility of the method, it is difficult to be used. Accordingly, this paper presents a new approach to develop embedded device drivers which are kinds of embedded system software. In our approach, we define a light device driver template for ensuring high flexibility and productivity and generate the device driver by incorporating with embedded system information represented by XML. By using XML we consider the design phase in device driver development process for the quality of the driver. Our approach, improves the reusability of embedded device driver and finally, it will improve productivity and quality of embedded system.

참고문헌 (Reference)

1 "http://idaemon.com.ne.kr/Linux/Linux_Kernel/tlk8.html"

2 Hybus, "X-Hyper255B Specification"

3 VDC, "The Embedded Software Strategic Market Intelligence Program 2002/2003" ii : 2003.

4 Laurent R´eveill`ere, "The Devil Language release 0.4" 2000.

5 Katayama, "Prototype of the device driver generation system for UNIX-like operating systems Principles of Software Evolution 2000. Proceedings. International Symposium on 1-2 Nov 2000 Page" 302-310, 2000.11

6 Yingxi Yu, "New Approach for Device Driver Development - Devil+ Language" me 3605/2005 : 2005

7 Alessandro Rubini, "Linux Device Drivers" O’Reilly 2000

8 Corebell, "LDS2000 Specification"

9 Laurent R´eveill`ere, "Devil: An IDL for Hardware Programming" 2000.

10 Lei Luo, "A formal semantic definition of DEVIL" sigplan (sigplan): 47-56, 2003

11 Tetsuro Katayama, "A Method for Automatic Generation of Device Drivers with a Formal Specification Language" pp.183-187 : 1998.