课题基金 / 基金详情

Research on the verification of highly parallel and concurrent embedded software

Research on the verification of highly parallel and concurrent embedded software
高度并行并发嵌入式软件验证研究
批准号：
20680001
负责人：
AOKI Toshiaki
金额：
$15.81万
依托单位：
Japan Advanced Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (A)
财政年份：
2008
资助国家：
日本
项目状态：
已结题
起止时间：
2008 至 2011
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20680001/
关键词：
形式手法形式検証モデル検査ソフトウェア工学ソフトウェア開発効率化・安定化ディペンダブル・コンピューティング

项目摘要

项目成果

AOKI Toshiaki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
We focus on parallel/concurrent software which is controlled by real-time operating system(RTOS) and RTOS itself. We have proposed an algorithm and tool to verify the behavior of parallel/concurrent software which contains scheduling by RTOS and real-time for the former. For the latter, we have proposed a method and tools to verify the design and implementation of RTOS. In addition, we have applied those method and tools to RTOS products. We succeeded in proposing verification methods based on model checking in practical settings and conducted that they are applicable to practical software products.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification
基于组件的软件验证最小化假设生成方法的改进
DOI： --
发表时间： 2012
期刊：
影响因子： --
作者： [Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama]
通讯作者： Takuya Katayama
RTOS設計検証の経験から
来自 RTOS 设计验证的经验
DOI： --
发表时间： 2010
期刊：
影响因子： --
作者： [森信介, 笹田鉄郎, Neubig Graham, 高岡晃教,佐藤昇志,宮崎忠昭,南山堂, K. Tanaka, 青木利晃]
通讯作者： 青木利晃
モデル検査によるリアルタイムオペレーティングシステムの設計検証
通过模型检查进行实时操作系统设计验证
DOI： --
发表时间： 2008
期刊：
影响因子： --
作者： [Kanamori, T., Hido, S., Sugiyama, M., 渡辺正夫, 青木利晃,山崎真吾]
通讯作者： 青木利晃,山崎真吾
環境モデリングによるモデル検査スクリプトの自動生成
通过环境建模自动生成模型检查脚本
DOI： --
发表时间： 2009
期刊：
影响因子： --
作者： [関谷毅, 染谷隆夫, 矢竹健朗,西端浩和,青木利晃]
通讯作者： 矢竹健朗,西端浩和,青木利晃
共 40 条
    Maintaining and improving QOL using social network in potential marginal villages
    • 批准号：
      18K04382
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.75万
    • 财政年份：
      2018
    • 负责人：
      AOKI Toshiaki
    • 依托单位：
      Tohoku University
    Effectiveness of reversible decision making toward solution of social conflict and its mechanism
    • 批准号：
      15K11963
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.83万
    • 财政年份：
      2015
    • 负责人：
      AOKI Toshiaki
    • 依托单位：
      Tohoku University
    Integration of Formal Methods for Seamless Software Developments
    海外基金