基于失信因子的软件系统可信性分析
基本信息
批准号：90718036
项目类别：重大研究计划
资助金额：50.00
负责人：周献中
学科分类：
依托单位：南京大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：王加存,赵佳宝,周运森,杨佩,朱美琳,李迁,李檬,萧毅鸿,王莉
关键词：
失信因子可信软件可信性分析复杂系统Petri网
结项摘要
软件正驱动着我们的世界，人们对软件的需求已从功能正确性转向功能、可信等方面的综合要求。本项目以国家重大研究计划项目"可信软件基础研究"为导向，以"失信因子"为基础概念，运用复杂系统、Petri网以及软件工程等相关理论，并结合实证，系统、深入地研究影响软件可信性的因素及其作用机理。主要内容和意义是：（1）失信因子的识别与分析，可在最基础层次了解和掌握"失信因子"存在的方式与形态、时空变化的特性与特征
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
3
DeoR家族转录因子PsrB调控黏质沙雷氏菌合成灵菌红素
DeoR家族转录因子PsrB调控黏质沙雷氏菌合成灵菌红素
DOI：10.3969/j.issn.1673-1689.2021.10.004
发表时间：2021
4
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
5
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
周献中的其他基金
批准号：70971062
批准年份：2009
资助金额：25.00
项目类别：面上项目
批准号：61876079
批准年份：2018
资助金额：62.00
项目类别：面上项目
批准号：71171107
批准年份：2011
资助金额：42.00
项目类别：面上项目
批准号：70571032
批准年份：2005
资助金额：17.00
项目类别：面上项目
相似国自然基金
1
面向威胁的软件可信性分析模型
批准号：90718005
批准年份：2007
负责人：傅建明
学科分类：F0206
资助金额：50.00
项目类别：重大研究计划
2
基于Petri网的网络化软件行为可信性分析方法研究
批准号：61272153
批准年份：2012
负责人：方贤文
学科分类：F0201
资助金额：81.00
项目类别：面上项目
3
基于软件缺陷预测的软件可信性度量方法研究
批准号：90718024
批准年份：2007
负责人：宋擒豹
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
4
基于软件网络的可信性度量体系研究及其分析工具的实现
批准号：60973022
批准年份：2009
负责人：赵海
学科分类：F0203
资助金额：29.00
项目类别：面上项目