课题基金 / 基金详情

Preparing Unanticipated Situation : Software Analysis, Design, and Verification for Cyber-Physical Systems

Preparing Unanticipated Situation : Software Analysis, Design, and Verification for Cyber-Physical Systems
准备意外情况：网络物理系统的软件分析、设计和验证
批准号：
24240003
负责人：
HONIDEN Shinichi
金额：
$28.7万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (A)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2015-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-24240003/
关键词：
ゴール指向要求分析ソフトウェアアーキテクチャモデル検査ソフトウェア工学ソフトウェア開発プロセス空間制御ソフトウェアソフトウェア進化ソフトウェア分析ソフトウェア設計ソフトウェア検証

项目摘要

项目成果

HONIDEN Shinichi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(17)
专著(0)
科研奖励(0)
会议论文
Fast Live Migration with Small IO Performance Penalty by Exploiting SAN in Parallel
DOI： 10.1109/cloud.2014.16
发表时间： 2014-06
期刊： 2014 IEEE 7th International Conference on Cloud Computing
影响因子： --
作者： [Soramichi Akiyama;Takahiro Hirofuchi;Ryousei Takano;S. Honiden]
通讯作者： Soramichi Akiyama;Takahiro Hirofuchi;Ryousei Takano;S. Honiden
Towards Dynamic Evolution of Self-adaptive Systems Based on Dynamic Updating of Control Loops
基于控制环动态更新的自适应系统动态演化
DOI： --
发表时间： 2012
期刊：
影响因子： --
作者： [Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden]
通讯作者： Shinichi Honiden
Sample Efficiency Analysis of Neuroevolution Algorithms on a Quadruped Robot
四足机器人神经进化算法的样本效率分析
DOI： --
发表时间： 2013
期刊：
影响因子： --
作者： [Shengbo Xu, Hirotaka Moriguchi and Shinichi Honiden]
通讯作者： Hirotaka Moriguchi and Shinichi Honiden
CMA-TWEANN: Efficient Neuroevolution via Synthetic Evolution
CMA-TWEANN：通过综合进化实现高效神经进化
DOI： --
发表时间： 2012
期刊：
影响因子： --
作者： [Takeuchi, A., Hirotaka Moriguchi and Shinichi Honiden]
通讯作者： Hirotaka Moriguchi and Shinichi Honiden
共 45 条
    Models@run.time for software tolerant to unforseen changes in the environment
    • 批准号：
      16K12414
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.16万
    • 财政年份：
      2016
    • 负责人：
      HONIDEN Shinichi
    • 依托单位：
      National Institute of Informatics
    A middleware for open wireless sensor networks
    • 批准号：
      19200003
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $27.21万
    • 财政年份：
      2007
    • 负责人：
      HONIDEN Shinichi
    • 依托单位：
      National Institute of Informatics
    Software Development Methodologies and a Supportive Environment for Grid-based Services
    • 批准号：
      15200003
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $29.2万
    • 财政年份：
      2003
    • 负责人：
      HONIDEN Shinichi
    • 依托单位：
      National Institute of Informatics
    海外基金