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

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

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