そこで本論文では、それらの負担を軽減するために、デバイスドライバ生成支 援システムを提案し、試作を行なう。このシステムは、デバイスドライバの仕 様とデバイス依存仕様、OS 依存仕様を入力とし、デバイスドライバのソース コードを出力とする。対象とするOSとしてFreeBSDとし、デバイスの例として、 既存のネットワークデバイスを取り上げる。
提案するシステムを用いて、デバイスドライバを生成するための具体的な入力 と生成手法とについて述べる。生成したソースコードの動作確認を行ない、シ ステムの有効性を確認した。