面向复合可信属性的软件可信性监控与优化
基本信息
批准号：90718033
项目类别：重大研究计划
资助金额：50.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.16085/j.issn.1000-6613.2022-0221
发表时间：2022
2
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
3
基于ESO的DGVSCMG双框架伺服系统不匹配 扰动抑制
基于ESO的DGVSCMG双框架伺服系统不匹配 扰动抑制
DOI：
发表时间：2018
4
一种改进的多目标正余弦优化算法
一种改进的多目标正余弦优化算法
DOI：
发表时间：2019
5
二维MXene材料———Ti_3C_2T_x在钠离子电池中的研究进展
二维MXene材料———Ti_3C_2T_x在钠离子电池中的研究进展
DOI：10.19964/j.issn.1006-4990.2020-0450
发表时间：2021
黄涛的其他基金
批准号：31460586
批准年份：2014
资助金额：52.00
项目类别：地区科学基金项目
批准号：11102160
批准年份：2011
资助金额：28.00
项目类别：青年科学基金项目
批准号：71562016
批准年份：2015
资助金额：31.00
项目类别：地区科学基金项目
批准号：41476165
批准年份：2014
资助金额：92.00
项目类别：面上项目
批准号：10675132
批准年份：2006
资助金额：30.00
项目类别：面上项目
批准号：31271717
批准年份：2012
资助金额：83.00
项目类别：面上项目
批准号：31060295
批准年份：2010
资助金额：25.00
项目类别：地区科学基金项目
批准号：10075053
批准年份：2000
资助金额：11.00
项目类别：面上项目
批准号：41106162
批准年份：2011
资助金额：26.00
项目类别：青年科学基金项目
批准号：21273289
批准年份：2012
资助金额：80.00
项目类别：面上项目
批准号：18670169
批准年份：1986
资助金额：0.60
项目类别：面上项目
批准号：19835060
批准年份：1998
资助金额：70.00
项目类别：重点项目
批准号：51805053
批准年份：2018
资助金额：27.00
项目类别：青年科学基金项目
批准号：11705189
批准年份：2017
资助金额：20.00
项目类别：青年科学基金项目
批准号：31901616
批准年份：2019
资助金额：24.00
项目类别：青年科学基金项目
批准号：51705176
批准年份：2017
资助金额：25.00
项目类别：青年科学基金项目
批准号：11871323
批准年份：2018
资助金额：52.00
项目类别：面上项目
批准号：51877181
批准年份：2018
资助金额：57.00
项目类别：面上项目
批准号：10475084
批准年份：2004
资助金额：24.00
项目类别：面上项目
批准号：31600965
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：30870209
批准年份：2008
资助金额：32.00
项目类别：面上项目
批准号：11601333
批准年份：2016
资助金额：18.00
项目类别：青年科学基金项目
批准号：10975144
批准年份：2009
资助金额：39.00
项目类别：面上项目
批准号：40302033
批准年份：2003
资助金额：25.00
项目类别：青年科学基金项目
批准号：81072760
批准年份：2010
资助金额：33.00
项目类别：面上项目
批准号：61572480
批准年份：2015
资助金额：68.00
项目类别：面上项目
批准号：81301255
批准年份：2013
资助金额：23.00
项目类别：青年科学基金项目
批准号：20673146
批准年份：2006
资助金额：28.00
项目类别：面上项目
批准号：61007013
批准年份：2010
资助金额：20.00
项目类别：青年科学基金项目
批准号：31701151
批准年份：2017
资助金额：23.00
项目类别：青年科学基金项目
批准号：61173003
批准年份：2011
资助金额：64.00
项目类别：面上项目
批准号：41503075
批准年份：2015
资助金额：21.00
项目类别：青年科学基金项目
批准号：51703024
批准年份：2017
资助金额：25.00
项目类别：青年科学基金项目
批准号：60573126
批准年份：2005
资助金额：24.00
项目类别：面上项目
批准号：81802826
批准年份：2018
资助金额：21.00
项目类别：青年科学基金项目
批准号：10275070
批准年份：2002
资助金额：18.00
项目类别：面上项目
批准号：31400706
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：39200081
批准年份：1992
资助金额：6.50
项目类别：青年科学基金项目
批准号：51408576
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：30901014
批准年份：2009
资助金额：20.00
项目类别：青年科学基金项目
相似国自然基金
1
面向威胁的软件可信性分析模型
批准号：90718005
批准年份：2007
负责人：傅建明
学科分类：F0206
资助金额：50.00
项目类别：重大研究计划
2
基于多维属性的软件可信性度量模型的研究
批准号：90718013
批准年份：2007
负责人：陈仪香
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
3
面向软件可信性演进的软件测试技术研究
批准号：90818027
批准年份：2008
负责人：徐宝文
学科分类：F0203
资助金额：260.00
项目类别：重大研究计划
4
可信软件测试和可信性评估研究
批准号：90718037
批准年份：2007
负责人：杨善林
学科分类：G0103
资助金额：50.00
项目类别：重大研究计划