Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2007.06b
  • /
  • Pages.455-459
  • /
  • 2007
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Linux device driver development by using SCADE

SCADE를 이용한 리눅스 디바이스 드라이버 개발

  • Song, Gwan-Ho (Dept. of Computer Science and Engineering, Korea University) ;
  • Sim, Jae-Hwan (Dept. of Computer Science and Engineering, Korea University) ;
  • Ahn, Young-Jung (Dept. of Computer Science and Engineering, Korea University) ;
  • Choi, Jin-Young (Dept. of Computer Science and Engineering, Korea University)
  • Published : 2007.06.25
Download PDF
⟨ Previous Next ⟩

Abstract

본 논문에서는 정형기법을 이용한 리눅스 디바이스 드라이버 개발에 대한 내용을 다룬다. Device Driver 는 Reactive system에 속하는 대표적인 경우이다. 또한 Reactive system을 효과적으로 명세하고 검증하기 위한 정형기법 도구로 SCADE가 있다. 본 논문에서는 SCADE를 이용하여 실제 Linux device driver중 하나를 설정하여 이를 그 툴로 명세하고 검증한 후 구현한 후 발생한 여러 문제점을 통하여 실제 정형기법이 Linux device driver에 개발에 사용될 수 있는지를 논의한다.

Keywords