课题基金 / 基金详情

Automatic verification method for large scale embedded object-oriented design based on predicate abstraction

Automatic verification method for large scale embedded object-oriented design based on predicate abstraction
基于谓词抽象的大规模嵌入式面向对象设计自动验证方法
批准号：
19500025
负责人：
YAMANE Satoshi
金额：
$1.91万
依托单位：
Kanazawa University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2009
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19500025/
关键词：
組込みシステム述語抽象化検証オブジェクト指向リアルタイムオブジェクト指向抽象化精錬検証構造とリアルタイム性の抽象化動的リアルタイムCEGARモデル検査オブジェクトの生成消滅動的再構成組込みシステムハイブリッドオートマトン仕様記述言語検証述語抽象化洗練

项目摘要

项目成果

YAMANE Satoshi的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
リアルタイムオブジェクト指向言語を開発して、オブジェクトが生成消滅するシステムに対して、構造と時間の抽象化精錬で直接に検証できる、動的リアルタイムCEGARの開発と実装に取り組んだ。その結果、動的リアルタイムCEGARの実現により、オブジェクトの生成消滅といった構造の変化及びリアルタイム性を同時に抽象化精錬して、リアルタイムオブジェクト指向システムの効率的なモデル検査が実現できることを明らかにした。
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
並列動作する確率時間システムに対する拡張CEGAR
用于并行运行的随机时间系统的扩展 CEGAR
DOI： --
发表时间： 2008
期刊：
影响因子： --
作者： [安井雅俊, 山崎真一, 山根智]
通讯作者： 山根智
動的再構成可能組込みシステムのモデル化と仕様記述
动态可重构嵌入式系统的建模和规范
DOI： --
发表时间： 2012
期刊： 第10回 ディペンダブルシステムワークショップ (DSW 2012)
影响因子： --
作者： [柳瀬 龍, 酒井 辰典, 酒井 誠, 山根 智]
通讯作者： 山根 智
"階層構造の抽象化精錬によるステートチャートの自動検証", コンピュータソフトウェア
“通过层次结构的抽象细化自动验证状态图”，计算机软件
DOI： --
发表时间： 2009
期刊： 日本ソフトウェア科学会 Vol.26,No.3
影响因子： --
作者： [山崎真一, 山根智]
通讯作者： 山根智
階層構造の抽象化精錬によるステートチャートの自動検証
通过层次结构的抽象细化自动验证状态图
DOI： --
发表时间： 2009
期刊： コンピュータソフトウェア 26(3)
影响因子： --
作者： [山根智, 山崎真一]
通讯作者： 山崎真一
共 24 条
    Fundamental of 3D adaptive model in Robotic welding
    • 批准号：
      15K06456
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.08万
    • 财政年份：
      2015
    • 负责人：
      YAMANE Satoshi
    • 依托单位：
      Saitama University
    Advanced methods of design and verification for dynamically reconfigurable embedded systems
    • 批准号：
      24500034
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.16万
    • 财政年份：
      2012
    • 负责人：
      YAMANE Satoshi
    • 依托单位：
      Kanazawa University
    Development of Automatic Control System in Plasma-MIG Hybrid Welding
    • 批准号：
      23560862
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.33万
    • 财政年份：
      2011
    • 负责人：
      YAMANE Satoshi
    • 依托单位：
      Saitama University
    Development of design methodologies and support environments of high-reliability embedded systems based on hybrid models
    • 批准号：
      14580368
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.41万
    • 财政年份：
      2002
    • 负责人：
      YAMANE Satoshi
    • 依托单位：
      Kanazawa University