• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

デバイスドライバ生成支援システムの実装と評価

Research Project

Project/Area Number 14780232
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionUniversity of Miyazaki

Principal Investigator

片山 徹郎  宮崎大学, 工学部, 助教授 (50283932)

Project Period (FY) 2002 – 2004
Project Status Completed (Fiscal Year 2004)
Budget Amount *help
¥2,900,000 (Direct Cost: ¥2,900,000)
Fiscal Year 2004: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2003: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2002: ¥1,400,000 (Direct Cost: ¥1,400,000)
Keywordsデバイスドライバ / オペレーティングシステム / USB (Iniversal Serial Bus) / SpecC / Linux / 生成支援 / UML (Unified Modeling Language) / コデザイン / オペレーティングシステム(OS) / USB(Universal Serial Bus) / UML(Unified Modeling Language) / オブジェクト指向設計開発
Research Abstract

本研究の目的は、多種多様なデバイスが次々と登場することに対応すべく、デバイスドライバの生成支援システムを実現し、今後の高度情報化社会の要求に迅速に対応できる基盤を与えることにある。今年度は以下のことを行なった。
OSは、Linuxを対象とし、デバイスは、USB (Universal Serial Bus)を例にとり、マウス、ハブ、プリンタの3種類のデバイスに対して、デバイスドライバ内の関数を抽象化した。この事例と結果について、SWoPP2004と宮崎大学工学部紀要にて、発表した。次に、この抽象化の結果に基づき、デバイスドライバの生成支援ツールを試作した。試作したツールは、デバイスドライバ仕様とデバイス依存仕様とを入力とし、デバイスドライバのコードを出力する。その際、デバイスドライバ仕様は、デバイスドライバの雛形のような位置づけを持ち、上記3種類のデバイスに対して1つ用意するだけでよく、再利用性を持つ。このため、デバイスドライバの生産性に寄与できる。この結果について、ComSys2004にてポスター発表を行なった。
加えて、UML (Unified Modeling Language)からのデバイスドライバの記述について考察した。記述言語は、システム・レベル言語SpecCを利用して、デバイスドライバのコデザインを見込み、その実現のための基礎となる、変換規則と並行性とを抽出した。その事例について、SWEST6と第2回CLUSS次世代組み込みソフトウェアワークショップにて、発表した。

Report

(3 results)
  • 2004 Annual Research Report
  • 2003 Annual Research Report
  • 2002 Annual Research Report
  • Research Products

    (9 results)

All 2005 2004 Other

All Journal Article (5 results) Publications (4 results)

  • [Journal Article] UMLから並行性の抽出について2005

    • Author(s)
      佐々木 心也
    • Journal Title

      第2C回 CLUSS (CLUster for Silicon Sea Belt)次世代組み込みソフトウェアワークショップ論文集

      Pages: 125-137

    • Related Report
      2004 Annual Research Report
  • [Journal Article] UMLからシステム設計言語への変換規則と並行性の抽出について2004

    • Author(s)
      佐々木 心也
    • Journal Title

      第6回組込みシステム技術に関するサマーワークショップ(SWEST6)

      Pages: 9-16

    • Related Report
      2004 Annual Research Report
  • [Journal Article] LinuxのUSBデバイスドライバの抽象化に関する考察2004

    • Author(s)
      水川 晶太
    • Journal Title

      情報処理学会OS研究会,2004-OS-97(SWoPP2004)

      Pages: 9-16

    • Related Report
      2004 Annual Research Report
  • [Journal Article] LinuxのUSBデバイスドライバのコード分割による抽象化に関する研究2004

    • Author(s)
      水川 晶太
    • Journal Title

      宮崎大学工学部紀要 No.33

      Pages: 367-374

    • Related Report
      2004 Annual Research Report
  • [Journal Article] LinuxのUSBデバイスドライバの抽象化とデバイスドライバ生成支援システムに関する考察2004

    • Author(s)
      水川 晶太
    • Journal Title

      情報処理学会第16回コンピュータシステム・シンポジウム(ComSys2004) (ポスター発表)

    • Related Report
      2004 Annual Research Report
  • [Publications] T.Katayama: "A Study of Co-design for Systems with Interfaces of USB Devices in SpecC"Proc.7th World Multiconference on Systemics, Cybernetics and Informatics (SCI2003). Vol.7. 234-240 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 片山 徹郎: "USBデバイスのソフトウェアを対象としたSpecCによる協調設計"情報処理学会研究報告,2002-OS-91(SWoPP 2002). Vol.2002, No.79. 39-46 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] T.Katayama: "Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML"Proc.2002 Asia-Pacific Softw.Eng.Conf.(APSEC 2002). 475-484 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 片山 徹郎: "UMLにおけるダイアグラム作成支援のための変換規則の提案"第65回情報処理学会全国大会. (発表予定). (2003)

    • Related Report
      2002 Annual Research Report

URL: 

Published: 2002-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi