基于定理证明的可信嵌入式软件建模与验证平台研究
基本信息
批准号：90718039
项目类别：重大研究计划
资助金额：250.00
负责人：顾明
学科分类：
依托单位：清华大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：樊海宁,郭陟,贺飞,赵曦滨,肖力田,孔宪旺,刘基顺,宋晓宇,陈钢
关键词：
软件可信性模型检测嵌入式软件定理证明
结项摘要
随着信息技术的发展，嵌入式系统在众多行业中得到广泛使用。为了避免由于嵌入式软件系统本身缺陷或系统中微小的错误而导致系统整体崩溃，嵌入式软件系统的可信性得到了广泛关注。本课题的目标是以定理证明为框架，结合模型检测方法，针对嵌入式软件自身特性，构建基于定理证明的可信嵌入式软件设计过程中建模与验证平台，实现系统级可信属性的验证。为此，本课题拟开展嵌入式软件建模理论及说明语言、基于组合验证的模型分解技术、
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
2
中国参与全球价值链的环境效应分析
中国参与全球价值链的环境效应分析
DOI：10.12062/cpre.20181019
发表时间：2019
3
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
DOI：
发表时间：2022
4
基于细粒度词表示的命名实体识别研究
基于细粒度词表示的命名实体识别研究
DOI：10.3969/j.issn.1003-0077.2018.11.009
发表时间：2018
5
基于全模式全聚焦方法的裂纹超声成像定量检测
基于全模式全聚焦方法的裂纹超声成像定量检测
DOI：10.19650/j.cnki.cjsi.J2007019
发表时间：2021
顾明的其他基金
批准号：91018015
批准年份：2010
资助金额：50.00
项目类别：重大研究计划
批准号：90715040
批准年份：2007
资助金额：200.00
项目类别：重大研究计划
批准号：50178049
批准年份：2001
资助金额：22.00
项目类别：面上项目
批准号：91015002
批准年份：2010
资助金额：50.00
项目类别：重大研究计划
批准号：51404236
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：60553002
批准年份：2005
资助金额：23.00
项目类别：专项基金项目
批准号：81803598
批准年份：2018
资助金额：21.00
项目类别：青年科学基金项目
相似国自然基金
1
高可信嵌入式软件建模与验证方法的研究
批准号：61572253
批准年份：2015
负责人：庄毅
学科分类：F0203
资助金额：64.00
项目类别：面上项目
2
构建高可信软件中的自动定理证明问题研究
批准号：61003043
批准年份：2010
负责人：李兆鹏
学科分类：F0203
资助金额：18.00
项目类别：青年科学基金项目
3
嵌入式软件的可信属性分析与验证
批准号：90718019
批准年份：2007
负责人：罗蕾
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
4
航天多核嵌入式软件可信验证与系统原型
批准号：61272174
批准年份：2012
负责人：周宽久
学科分类：F0203
资助金额：20.00
项目类别：面上项目