权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

设计和实现特定于领域的语言以支持设备驱动程序开发

基本信息

批准号：
15700026
负责人：
河野健二
金额：
$ 2.11万
依托单位：
Keio University (2005)The University of Electro-Communications (2003-2004)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2003
资助国家：
日本
起止时间：
2003 至 2005
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15700026/
关键词：
デバイス・ドライバドメイン特化言語

项目摘要

昨年度までの研究により,デバイス・ドライバが守るべき暗黙の約束事には1)関数定義の義務,2)関数の呼び出し順序の指定,3)状況に依存した関数呼び出しの義務・禁止の3種類に大別できることがわかっている.昨年度は,これらの暗黙の約束事を形式的に記述できる一種のプログラミング言語の設計を行った.本年度は,この言語の有効性の検証を行うことを目標に,いくつかのテストケースとなるデバイス・ドライバを選択し,その記述を行った.具体的にはマウス用のデバイス・ドライバ,イーサネット・カード用のデバイス・ドライバを対象に暗黙の約束事の記述を試みた.しかし,実際にデバイス・ドライバの記述をすすめてみると,関数の呼び出し順序や,状況に応じた関数呼び出しの義務および禁止を十分に記述できないことが判明した.これは,デバイス・ドライバによっては制御の流れが想定以上に複雑になる場合があり,そのような場合に記述力が十分でないことが明らかになったためである.本研究の当初の目的は,暗黙の制約を満たしているかどうかを検証可能なデバイス・ドライバ記述用言語の設計を行うことであった.しかし,実際には検証可能なような記述法でありながら,実際のデバイス・ドライバの記述に耐えるだけの表現力をもつものを実現するのは難しかった.現時点では,やや限定された表現力しかない言語で妥協し,どのような拡張を行えばよいのか検証を進めている.現在,RAMディスク用のデバイス・ドライバ程度であれば,ほぼ記述できる程度の完成度となっている.

In the past year, the research has focused on the following three aspects: 1) the definition and obligation of the relationship, 2) the designation of the order of the relationship, 3) the dependence of the relationship, the obligation of the relationship, and the prohibition of the relationship. Last year, a new type of language design was introduced. This year, the language of the effective evidence of the implementation of the goal, in the middle of the time to start the process of selection, all the description of the implementation. The detailed description of the constraint of the object is given below. In the event of an accident, the number of calls and the order of exit, the status, the number of calls and the obligation to exit, the prohibition, the description, the identification, the For example, if you want to change your mind, you can change your mind. The purpose of this study is to demonstrate the possibility of designing descriptive language in the context of hidden constraints. In fact, it is difficult to prove the possibility of describing the method, and it is difficult to realize the expression of the method. The present point is to limit expression, compromise speech, compromise behavior and evidence. Now,RAM is used to describe the degree of completion of RAM.