Development of model checking technology for dependable distributed systems

可靠分布式系统模型检测技术的开发

基本信息

  • 批准号:
    23H03370
  • 负责人:
  • 金额:
    $ 11.73万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
  • 财政年份:
    2023
  • 资助国家:
    日本
  • 起止时间:
    2023-04-01 至 2027-03-31
  • 项目状态:
    未结题

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ 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 }}

土屋 達弘其他文献

Verifying Feature Interactions in Home Network Systems
验证家庭网络系统中的功能交互
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    T. Matsuo;パッタラリーラープルット;土屋 達弘;菊野 亨;タカフミ マツオ;リーラープルット パッタラ;タツヒロ ツチヤ;トオル キクノ;Leelaprute Pattara;Tatsuhiro Tsuchiya;T. Kikuno
  • 通讯作者:
    T. Kikuno
A Requirements Coverage Visualization Approach Based on Document Similarities
一种基于文档相似性的需求覆盖可视化方法
  • DOI:
    10.11309/jssst.35.1_67
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    松井 勝利;中川 博之;土屋 達弘
  • 通讯作者:
    土屋 達弘

土屋 達弘的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('土屋 達弘', 18)}}的其他基金

ディペンダブルな分散システム実現のためのモデルチェッキング技術の開発
开发模型检查技术以实现可靠的分布式系统
  • 批准号:
    23K28060
  • 财政年份:
    2024
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
グラフデータベースをバックエンドとするソフトウェアに対するテスト手法の確立
图数据库后端软件测试方法的建立
  • 批准号:
    20K11747
  • 财政年份:
    2020
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
分散環境におけるディペンダブル情報システム実現のためのテスト・検証アプローチ
分布式环境下实现可靠​​信息系统的测试验证方法
  • 批准号:
    18049055
  • 财政年份:
    2006
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
高信頼ソフトウェアを実現する強力なテストケース生成手法の開発
开发强大的测试用例生成方法以实现高可靠性软件
  • 批准号:
    17700033
  • 财政年份:
    2005
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発
使用模型检查进行设计错误检测的软件分析系统的开发
  • 批准号:
    14019055
  • 财政年份:
    2002
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
設計誤り検出のためのモデル検査を用いたソフトウェア解析システムの開発
使用模型检查进行设计错误检测的软件分析系统的开发
  • 批准号:
    13224060
  • 财政年份:
    2001
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas (C)
悪意ある攻撃に対してデータの安全性を保障する高信頼多重化データ管理方式の研究
保障数据安全免受恶意攻击的高可靠复用数据管理方法研究
  • 批准号:
    12780224
  • 财政年份:
    2000
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
分散システムにおける相互排除機構の高信頼化に関する研究
分布式系统中互斥机制增强可靠性研究
  • 批准号:
    10780190
  • 财政年份:
    1998
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

IoTによる最適スケールアップのための分散システム設計理論の構築
使用物联网构建分布式系统设计理论以实现最佳扩展
  • 批准号:
    24K17299
  • 财政年份:
    2024
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
大規模分散システムにおける自律制御と安全性確保に関する研究
大规模分布式系统自主控制与安全研究
  • 批准号:
    24K02937
  • 财政年份:
    2024
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
ディペンダブルな分散システム実現のためのモデルチェッキング技術の開発
开发模型检查技术以实现可靠的分布式系统
  • 批准号:
    23K28060
  • 财政年份:
    2024
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
胎盤による両親の運動情報の集約と次世代への臓器特異的な情報分散システムの解明
阐明胎盘和器官特异性信息分配系统对下一代的父母运动信息的聚合
  • 批准号:
    24H00674
  • 财政年份:
    2024
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
動的自律分散システムにおけるプロセス選出のための相互作用パターンの解明
阐明动态自治分布式系统中进程选择的交互模式
  • 批准号:
    23K11059
  • 财政年份:
    2023
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Collaborative Proposal: CRCNS US-German Data Sharing Proposal: DataLad - a decentralized system for integrated discovery, management, and publication of digital objects of science
合作提案:CRCNS 美德数据共享提案:DataLad - 一个用于集成发现、管理和出版科学数字对象的去中心化系统
  • 批准号:
    2148700
  • 财政年份:
    2021
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Standard Grant
自律アラート機能を有した超低コストガスセンサ開発と分散システムによる漏洩可視化
使用分布式系统开发具有自主警报功能和泄漏可视化的超低成本气体传感器
  • 批准号:
    21K18787
  • 财政年份:
    2021
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
Collaborative Proposal: CRCNS US-German Data Sharing Proposal: DataLad - a decentralized system for integrated discovery, management, and publication of digital objects of science
合作提案:CRCNS 美德数据共享提案:DataLad - 一个用于集成发现、管理和出版科学数字对象的去中心化系统
  • 批准号:
    1912270
  • 财政年份:
    2019
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Standard Grant
Collaborative Proposal: CRCNS US-German Data Sharing Proposal: DataLad - a decentralized system for integrated discovery, management, and publication of digital objects of science
合作提案:CRCNS 美德数据共享提案:DataLad - 一个用于集成发现、管理和出版科学数字对象的去中心化系统
  • 批准号:
    1912266
  • 财政年份:
    2019
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Continuing Grant
大規模分散システムのエコモデルの研究
大规模分布式系统生态模型研究
  • 批准号:
    18J10022
  • 财政年份:
    2018
  • 资助金额:
    $ 11.73万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了