面向领域的可信嵌入式软件系统试验验证环境研究

基本信息
批准号:91018015
项目类别:重大研究计划
资助金额:50.00
负责人:顾明
学科分类:
依托单位:清华大学
批准年份:2010
结题年份:2011
起止时间:2011-01-01 - 2011-12-31
项目状态: 已结题
项目参与者:荔建琦,赵曦滨,贺飞,张荷花,孔辉,万海,周旻,王前,张连怡
关键词:
领域知识可信基准线形式验证嵌入式软件领域建模语言
结项摘要

软件可信性是系统层次的概念,如何对现有专注于软件开发生命周期某一阶段的传统方法和技术进行有效集成,形成对软件可信性的整体评估,是目前亟待解决的问题。此外,软件可信性评估与领域紧密相关,应用于不同领域的软件系统因其自身固有特性,在软件可信性评估上具有不同的侧重点。.本课题以嵌入式软件系统为应用载体,研究面向特定领域的软件可信建模验证方法与技术,基于领域知识有效抽取可信需求、降低可信建模难度和提高可信验证有效性。研究设计和开发能够将可信需求描述、软件行为建模以及可信验证等各阶段有效综合的集成建模验证工具,并在典型嵌入式软件系统案例上进行检验,展示研究成果的集成效果。

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

出租车新运营模式下的LED广告精准投放策略

出租车新运营模式下的LED广告精准投放策略

DOI:10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间:2020
2

口腔扁平苔藓研究热点前沿的可视化分析

口腔扁平苔藓研究热点前沿的可视化分析

DOI:10.7507/1672-2531.202012076
发表时间:2021
3

区块链技术:从数据智能到知识自动化

区块链技术:从数据智能到知识自动化

DOI:
发表时间:2017
4

融合字符串特征的维吾尔语形态切分

融合字符串特征的维吾尔语形态切分

DOI:
发表时间:2022
5

带复杂水力系统的水轮机多机微分代数模型

带复杂水力系统的水轮机多机微分代数模型

DOI:10.13334/j.0258-8013.pcsee.190606
发表时间:2020

顾明的其他基金

批准号:90715040
批准年份:2007
资助金额:200.00
项目类别:重大研究计划
批准号:50178049
批准年份:2001
资助金额:22.00
项目类别:面上项目
批准号:91015002
批准年份:2010
资助金额:50.00
项目类别:重大研究计划
批准号:51404236
批准年份:2014
资助金额:25.00
项目类别:青年科学基金项目
批准号:60553002
批准年份:2005
资助金额:23.00
项目类别:专项基金项目
批准号:90718039
批准年份:2007
资助金额:250.00
项目类别:重大研究计划
批准号:81803598
批准年份:2018
资助金额:21.00
项目类别:青年科学基金项目

相似国自然基金

1

高可信嵌入式软件系统典型案例研究及试验验证环境设计

批准号:91018001
批准年份:2010
负责人:蔡开元
学科分类:F0203
资助金额:50.00
项目类别:重大研究计划
2

可信的网络应用软件系统试验验证环境预先研究

批准号:91018004
批准年份:2010
负责人:胡春明
学科分类:F0203
资助金额:50.00
项目类别:重大研究计划
3

航天多核嵌入式软件可信验证与系统原型

批准号:61272174
批准年份:2012
负责人:周宽久
学科分类:F0203
资助金额:20.00
项目类别:面上项目
4

基于行为认证的电子银行可信软件验证试验环境研究

批准号:90818023
批准年份:2008
负责人:蒋昌俊
学科分类:F0202
资助金额:260.00
项目类别:重大研究计划