Testing and model checking of IoT protocols

物联网协议的测试和模型检查

基本信息

  • 批准号：
    17H01719
  • 负责人：
    Hagiya Masami
  • 金额：
    $ 11.81万
  • 依托单位：
    The University of Tokyo
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 财政年份：
    2017
  • 资助国家：
    日本
  • 起止时间：
    2017-04-01 至 2020-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices
使用设备的虚拟时间和状态分布加速物联网软件的基于模型的测试
ネットワークシミュレータを組み込んだモデルベーステスト環境
具有内置网络模拟器的基于模型的测试环境
  • DOI：
  • 发表时间：
    2021
  • 期刊：
    信学技報
  • 影响因子：
    0
  • 作者：
    Horleang Choeng;Koji Hasebe;Hirotake Abe;Kazuhiko Kato;福田昂祐，田辺良則，萩谷昌己
  • 通讯作者：
    福田昂祐，田辺良則，萩谷昌己
Model-based Network Fault Injection for IoT Protocols
基于模型的物联网协议网络故障注入
モデルベーステストツールModbatによるIoTソフトウェア検証に向けて
使用基于模型的测试工具 Modbat 进行物联网软件验证
  • DOI：
  • 发表时间：
    2019
  • 期刊：
    電子情報通信学会信学技報
  • 影响因子：
    0
  • 作者：
    Jun Yoneyama;Cyrille Artho;Yoshinori Tanabe;Masami Hagiya;田辺弘太郎，田辺良則，萩谷昌己
  • 通讯作者：
    田辺弘太郎，田辺良則，萩谷昌己
Model-Based Testing for MQTT Applications
MQTT 应用程序基于模型的测试
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Hagiya Masami其他文献

High-Dimensional Outiler Detection Algorithm via Locality Sensitive Hashing
基于局部敏感哈希的高维异常点检测算法
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Aubert-Kato Nathanael;Hagiya Masami;Zhuo Qin and Kenta Nakai
  • 通讯作者：
    Zhuo Qin and Kenta Nakai
Designing Controllers for Molecular Robots with the PEN DNA Toolbox
使用 PEN DNA 工具箱设计分子机器人控制器
A reservoir computing approach for molecular computing
分子计算的储层计算方法
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Aubert-Kato Nathanael;Yahiro Wataru;Hagiya Masami
  • 通讯作者：
    Hagiya Masami

Hagiya Masami的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Hagiya Masami', 18)}}的其他基金

Automatic generation of programming questions by symbolic execution
通过符号执行自动生成编程题
  • 批准号：
    20K12106
  • 财政年份：
    2020
  • 资助金额：
    $ 11.81万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Learning by Molecular Robot Swarm
分子机器人群学习
  • 批准号：
    17K19961
  • 财政年份：
    2017
  • 资助金额：
    $ 11.81万
  • 项目类别：
    Grant-in-Aid for Challenging Research (Exploratory)
Software model checking methods for cloud computing middleware
云计算中间件软件模型检验方法
  • 批准号：
    23240003
  • 财政年份：
    2011
  • 资助金额：
    $ 11.81万
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)

相似海外基金

トランスデューサ理論に基づくソフトウェア検証の深化
基于换能器理论的深化软件验证
  • 批准号：
    24K14891
  • 财政年份：
    2024
  • 资助金额：
    $ 11.81万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
分離論理を用いたソフトウェア検証の発展
使用分离逻辑开发软件验证
  • 批准号：
    21H03421
  • 财政年份：
    2021
  • 资助金额：
    $ 11.81万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
型システムとモデル検査の融合によるソフトウェア検証
类型系统和模型检查相结合的软件验证
  • 批准号：
    16650004
  • 财政年份：
    2004
  • 资助金额：
    $ 11.81万
  • 项目类别：
    Grant-in-Aid for Exploratory Research
日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
日美科学合作项目“软件验证的逻辑方法”更新计划研究
  • 批准号：
    15630002
  • 财政年份：
    2003
  • 资助金额：
    $ 11.81万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了