课题基金 / 基金详情

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

デバイス・ドライバの開発を支援するドメイン特化言語の設計と実現
设计和实现特定于领域的语言以支持设备驱动程序开发
批准号：
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ディスク用のデバイス・ドライバ程度であれば,ほぼ記述できる程度の完成度となっている.
期刊论文(15)
专著(0)
科研奖励(0)
会议论文
Takahiro Shinagawa, Kenji Kono: "Implementing a Secure Setuid Program"Int'l Conf.on Parallel and Distributed Computing and Networks (PDCN'2004). (2004)
Takahiro Shinakawa、Kenji Kono：“实施安全 Setuid 程序”并行和分布式计算和网络国际会议 (PDCN2004)。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Using Attack Information to Reduce False Positives in Network IDS
使用攻击信息减少网络 IDS 中的误报
DOI： --
发表时间： 2006
期刊： IEEE Int'l Symp.on Computers and Communications (To appear)
影响因子： --
作者： [M.Shimamura, K.Kono]
通讯作者： K.Kono
河野 健二, 金子 済, 清水 謙多郎: "資源濫用攻撃に耐性のアル資源管理方式"情報処理学会論文誌:コンピューティングシステム. 44・SIG11. 191-200 (2003)
Kenji Kono、Susumu Kaneko、Kentaro Shimizu：“一种抵抗资源滥用攻击的资源管理方法”日本信息处理学会杂志：计算系统 44·SIG11（2003）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
需要変化に動的に対応する伸縮自在サーバ群の基本機構
动态响应需求变化的弹性服务器组基本机制
DOI： --
发表时间：
期刊： 電子情報通信学会論文誌 掲載予定
影响因子： --
作者： [揚妻 匡邦, 河野 健二, 岩崎 英哉, 益田 隆司]
通讯作者： 益田 隆司
共 15 条
    Persistent TEE: データ・プライバシ保護のための堅牢な実行基盤
    • 批准号：
      23K28063
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $5.82万
    • 财政年份：
      2024
    • 负责人：
      河野 健二
    • 依托单位：
      Keio University
    Persistent TEE: データ・プライバシ保護のための堅牢な実行基盤
    • 批准号：
      23H03373
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $9.15万
    • 财政年份：
      2023
    • 负责人：
      河野 健二
    • 依托单位：
      Keio University
    サーバ配送による堅牢なインターネット・サーバ
    • 批准号：
      18700034
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $1.92万
    • 财政年份：
      2006
    • 负责人：
      河野 健二
    • 依托单位：
      Keio University
    先進的コンパイル技法を用いたセキュアなインターネット・サーバの実現
    • 批准号：
      13780212
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $1.41万
    • 财政年份：
      2001
    • 负责人：
      河野 健二
    • 依托单位：
      The University of Electro-Communications