デバイスドライバ生成支援システムの実装と評価
设备驱动生成支持系统的实现与评估
基本信息
- 批准号:14780232
- 负责人:
- 金额:$ 1.86万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Young Scientists (B)
- 财政年份:2002
- 资助国家:日本
- 起止时间:2002 至 2004
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
本研究の目的は、多種多様なデバイスが次々と登場することに対応すべく、デバイスドライバの生成支援システムを実現し、今後の高度情報化社会の要求に迅速に対応できる基盤を与えることにある。今年度は以下のことを行なった。OSは、Linuxを対象とし、デバイスは、USB (Universal Serial Bus)を例にとり、マウス、ハブ、プリンタの3種類のデバイスに対して、デバイスドライバ内の関数を抽象化した。この事例と結果について、SWoPP2004と宮崎大学工学部紀要にて、発表した。次に、この抽象化の結果に基づき、デバイスドライバの生成支援ツールを試作した。試作したツールは、デバイスドライバ仕様とデバイス依存仕様とを入力とし、デバイスドライバのコードを出力する。その際、デバイスドライバ仕様は、デバイスドライバの雛形のような位置づけを持ち、上記3種類のデバイスに対して1つ用意するだけでよく、再利用性を持つ。このため、デバイスドライバの生産性に寄与できる。この結果について、ComSys2004にてポスター発表を行なった。加えて、UML (Unified Modeling Language)からのデバイスドライバの記述について考察した。記述言語は、システム・レベル言語SpecCを利用して、デバイスドライバのコデザインを見込み、その実現のための基礎となる、変換規則と並行性とを抽出した。その事例について、SWEST6と第2回CLUSS次世代組み込みソフトウェアワークショップにて、発表した。
The purpose of this study is to create a variety of multi-dimensional multi-layered materials. We support the rapid implementation of the current and future requirements of a highly information-based society and the rapid implementation of the new system and the new system. This year, the following is the のことを行なった. OSは、Linuxを対肖とし、デバイスは、USB (Universal Serial Bus)をExample: にとり, マウス, ハブ, プリンタの3 types of のデバイスに対して、デバイスドライバ内の宷をAbstractionした.このcases and resultsについて, SWoPP2004 and Miyazaki University Faculty of Engineering Minutes にて, 発表した. The results of the abstraction of the times, the base of the base, and the デバイスドライバの generation support ツールを trial production. Prototype したツールは、デバイスドライバShi様とデバイスdependence Shi様とを入力とし, デバイスドライバのコードを出力する.その记、デバイスドライバShi様は、デバイスドライバの精品のようなpositionづけをThe above mentioned three types of のデバイスに対して1 are intended to be used, and the recyclability is をholding.このため, デバイスドライバのproductive に Send and できる.このRESULTSについて、ComSys2004にてポスター発 table を行なった. Kato, UML (Unified Modeling Language) からのデバイスドライバのnarrative についてinvestigationした. Descriptive languageは、システム・レベル语SpecCをutilizationして、デバイスドライバのコデザインを见込み, その実 appearances of のためのbasic となる, 剉change rule and parallelism とをdraw out した.そのcase について, SWEST6 と 2nd CLUSS next generation group み込みソフトウェアワークショップにて, 発表した.
项目成果
期刊论文数量(9)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
LinuxのUSBデバイスドライバの抽象化とデバイスドライバ生成支援システムに関する考察
Linux USB设备驱动抽象及设备驱动生成支持系统的思考
- DOI:
- 发表时间:2004
- 期刊:
- 影响因子:0
- 作者:佐々木 心也;佐々木 心也;水川 晶太;水川 晶太;水川 晶太
- 通讯作者:水川 晶太
T.Katayama: "Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML"Proc.2002 Asia-Pacific Softw.Eng.Conf.(APSEC 2002). 475-484 (2002)
T.Katayama:“提议一种支持 UML 中转换规则的图表生成方法”Proc.2002 Asia-Pacific Softwarew.Eng.Conf.(APSEC 2002)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
片山 徹郎: "UMLにおけるダイアグラム作成支援のための変換規則の提案"第65回情報処理学会全国大会. (発表予定). (2003)
Tetsuro Katayama:“支持 UML 中图表创建的转换规则的提案”第 65 届日本信息处理学会全国会议(计划发表)(2003 年)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
UMLからシステム設計言語への変換規則と並行性の抽出について
关于UML到系统设计语言的转换规则和并发提取
- DOI:
- 发表时间:2004
- 期刊:
- 影响因子:0
- 作者:佐々木 心也;佐々木 心也
- 通讯作者:佐々木 心也
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
片山 徹郎其他文献
Proposal for Rotating 3D Text-based CAPTCHA Using Subjective Contour
使用主观轮廓旋转基于 3D 文本的验证码的提案
- DOI:
10.14923/transcomj.2019wfp0007 - 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
臼崎 翔太郎;油田 健太郎;山場 久昭;片山 徹郎;椋木 雅之;朴 美娘;岡崎 直宣 - 通讯作者:
岡崎 直宣
リレーアタック耐性とボット耐性の両立を目指したインタラクティブな動画CAPTCHAの提案と評価
旨在实现抵抗中继攻击和抵抗机器人的交互式视频验证码的提案和评估
- DOI:
10.20729/00214230 - 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
油田 健太郎;臼崎 翔太郎;山場 久昭;片山 徹郎;椋木 雅之;朴 美娘;岡崎 直宣 - 通讯作者:
岡崎 直宣
フルデマンド型交通における利便性と経済性を考慮した配車手法の検討
探讨全需求交通中兼顾便利性和经济性的车辆分配方法
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
油田 健太郎;臼崎 翔太郎;山場 久昭;片山 徹郎;椋木 雅之;朴 美娘;岡崎 直宣;柳原貴明・藤原明広;Tomohiro Koide and Masato Uchida;若園裕太,石田繁巳,白石陽 - 通讯作者:
若園裕太,石田繁巳,白石陽
主観的輪郭を用いた回転3Dテキスト型CAPTCHAの提案
使用主观轮廓的旋转 3D 文本类型 CAPTCHA 的提案
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
臼崎 翔太郎;油田 健太郎;山場 久昭;片山 徹郎;椋木 雅之;朴 美娘;岡崎 直宣 - 通讯作者:
岡崎 直宣
片山 徹郎的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('片山 徹郎', 18)}}的其他基金
並行処理プログラムを対象としたテストケース生成技法の確立
并行处理程序测试用例生成技术的建立
- 批准号:
11780222 - 财政年份:1999
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似海外基金
Study of secure system software for attack prevention and data protection
攻击防范和数据保护的安全系统软件研究
- 批准号:
23K16882 - 财政年份:2023
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
機器毎のソフトウェア構成変更による攻撃難化と攻撃耐性を持つ基盤ソフトウェアの研究
通过改变各设备的软件配置,研究更难被攻击、更能抵抗攻击的基础软件
- 批准号:
22H03592 - 财政年份:2022
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
ソースコード解析に基づく初期UNIXにおける実装と発展経緯の解明
基于源码分析了解早期UNIX的实现和发展历史
- 批准号:
21K00256 - 财政年份:2021
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
不揮発性メモリの特徴を生かした高速なプログラム実行とファイル操作の制御法の研究
利用非易失性存储器特性的高速程序执行和文件操作控制方法研究
- 批准号:
21K11830 - 财政年份:2021
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
遠隔授業と反転授業の親和性の高さに着目した主要3システム対応のリモート授業の手法
兼容三大系统的远程教学方式,注重远程教学与翻转教学的高度兼容。
- 批准号:
21K00779 - 财政年份:2021
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Research on High-speed Packet I/O with P2P DMA
基于P2P DMA的高速分组I/O研究
- 批准号:
20K19781 - 财政年份:2020
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
高性能計算技術とマイクロサービス化技術の融合に関する研究
高性能计算技术与微服务技术融合研究
- 批准号:
20K11837 - 财政年份:2020
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
FPGAを含む計算資源管理のためのオペレーティングシステム基盤
用于管理包括 FPGA 在内的计算资源的操作系统平台
- 批准号:
20K11751 - 财政年份:2020
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Intelligent Intrusion Detection and Protection Method Based on Reliable Access Control
基于可靠访问控制的智能入侵检测与防护方法
- 批准号:
19K11974 - 财政年份:2019
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
A Study on Detecting and Analyzing Unidentified Cyber Attacks through Process Behavior Examination
通过进程行为检查检测和分析不明网络攻击的研究
- 批准号:
19K20246 - 财政年份:2019
- 资助金额:
$ 1.86万 - 项目类别:
Grant-in-Aid for Early-Career Scientists














{{item.name}}会员




