A Study on Analysis Support Tools for Unexpected Obstacle Specification of Embedded Software

嵌入式软件意外障碍规范分析支持工具的研究

基本信息

  • 批准号:
    21700037
  • 负责人:
  • 金额:
    $ 2.25万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
  • 财政年份:
    2009
  • 资助国家:
    日本
  • 起止时间:
    2009 至 2011
  • 项目状态:
    已结题

项目摘要

In order to improve the quality of embedded software, we studied the analysis method for extracting unexpected obstacles such as exceptions and failures. The method integrates the Embedded Systems Improving Method(ESIM) using an Analysis Matrix, and a method that uses an Information Flow Diagram(IFD). The former is a statical requirement analysis method focused on the flow of information, the latter is a dynamical analysis method focused on the state transition model. We also introduced practical techniques to decrease the analysis scope in the integrated method.
为了提高嵌入式软件的质量,我们研究了提取异常、故障等意外障碍的分析方法。该方法集成了使用分析矩阵的嵌入式系统改进方法(ESIM)和使用信息流图(IFD)的方法。前者是侧重于信息流的静态需求分析方法,后者是侧重于状态转换模型的动态分析方法。我们还介绍了减少综合方法分析范围的实用技术。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
問題フレームに基づく家電製品の非正常系シナリオの発見
基于问题框架发现家电异常场景
組込みシステム非正常系分析手法の定性推論による定式化
利用定性推理制定嵌入式系统异常系统分析方法
  • DOI:
  • 发表时间:
    2009
  • 期刊:
  • 影响因子:
    0
  • 作者:
    片峯恵一;新屋敷泰史;三瀬敏朗;中谷多哉子;鵜林尚靖;橋本正明
  • 通讯作者:
    橋本正明
組込みシステム非正常系分析手法の統合
嵌入式系统异常系统分析方法集成
非正常系現象に着目した組込みシステムの障害シナリオ分析手法
关注异常现象的嵌入式系统故障场景分析方法
  • DOI:
  • 发表时间:
    2011
  • 期刊:
  • 影响因子:
    0
  • 作者:
    三瀬敏朗;新屋敷泰史;片峯恵一;橋本正明;中谷多哉子;鵜林尚靖
  • 通讯作者:
    鵜林尚靖
組込みシステム非正常系分析手法
嵌入式系统异常系统分析方法
  • DOI:
  • 发表时间:
    2010
  • 期刊:
  • 影响因子:
    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 }}

KATAMINE Keiichi其他文献

KATAMINE Keiichi的其他文献

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

{{ truncateString('KATAMINE Keiichi', 18)}}的其他基金

Training Program for Software Engineers based on Software Process
基于软件过程的软件工程师培训计划
  • 批准号:
    20K03180
  • 财政年份:
    2020
  • 资助金额:
    $ 2.25万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
A study on learning support system for software process
软件过程学习支持系统研究
  • 批准号:
    15K01077
  • 财政年份:
    2015
  • 资助金额:
    $ 2.25万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
A study on support environment for software process education
软件过程教育支撑环境研究
  • 批准号:
    24501192
  • 财政年份:
    2012
  • 资助金额:
    $ 2.25万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了