デバイス・ドライバの開発を支援するドメイン特化言語の設計と実現

2003 Fiscal Year Annual Research Report

• Project/Area Number: 15700026
• Research Institution: The University of Electro-Communications
• Principal Investigator: 河野 健二 電気通信大学, 電気通信学部, 講師 (90301118)
• Keywords: ドメイン特化言語 / デバイス・ドライバ

Research Abstract

本研究の目的は,デバイス・ドライバの開発を支援するドメイン特化言語(domain-specic language)を実現することにある.一般に,ある特定の問題領域(ドメイン)に特化したプログラミング言語のことをドメイン特化言語と呼ぶ.ドメイン特化言語は,対象とするドメインに特化した抽象化や記法を持ち,汎用的なプログラミング言語よりも高い記述性を持つ.また,プログラムの正当性の検証など,汎用的なプログラミング言語では難しい高度な解析が可能となり,通常では検出困難な誤りを静的に検出できる場合が多い.
本研究では,デバイス・ドライバの開発に特化したドメイン特化言語を実現し,それによってデバイス・ドライバの開発効率を向上させ,その可搬性を高めることを目標とする.
本年度は既存のデバイス・ドライバについて詳細に調査を行った.この調査は主にLinuxを対象として行った.その結果,すべてのデバイス・ドライバを対象とした汎用的な言語を設計することは現時点では困難であり,対象を限定して調査をすすめるべきであるとの結論に達した.研究進展のための足がかりを得るため,比較的に簡単なドライバであるマウス用のドライバを対象に現在は調査を行った.この結果,ドメイン特化言語に必要な機能がある程度明らかになった.この機能を用いて,他のドライバにもどの程度適用できるのかを調査する必要がある.

Research Products

• [Publications] Takahiro Shinagawa, Kenji Kono, Takashi Masuda: "A Hierarchical Protection Model for Protecting against Executable Contents"Int'l Conf.Computer Science and Technology. 194-202 (2003)
• [Publications] 揚妻 匡邦, 河野 健二, 岩崎 英哉, 益田 隆司: "モバイルコード技術によるアプリケーション層プロトコルのユーザ透過な配布機構"電子情報通信学会論文誌. J86-D-I・6. 389-401 (2003)
• [Publications] 河野 健二, 金子 済, 清水 謙多郎: "資源濫用攻撃に耐性のアル資源管理方式"情報処理学会論文誌:コンピューティングシステム. 44・SIG11. 191-200 (2003)
• [Publications] 小藤 哲彦, 河野 健二, 竹内 郁雄: "¬<><∪∪(notavaCC):オブジェクト指向抽象構文木を生成するコンパイラ・コンパイラ"情報処理学会論文誌:プログラミング. 44・SIG13. 84-99 (2003)
• [Publications] Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda: "Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation"Lecture Notes in Computer Science (LNCS) 2896, Advances in Computing Science - ASIAN 2003. 18-32 (2003)
• [Publications] Takahiro Shinagawa, Kenji Kono: "Implementing a Secure Setuid Program"Int'l Conf.on Parallel and Distributed Computing and Networks (PDCN'2004). (2004)