可信软件风险多层次综合管理技术
批准号:
90718021
项目类别:
重大研究计划
资助金额:
50.0 万元
负责人:
许满武
依托单位:
学科分类:
软件理论、软件工程与服务
结题年份:
2010
批准年份:
2007
项目状态:
已结题
项目参与者:
李千目、杨献春、张琨、朱怀宏、胡方炜、王小民、张雄、刘志军、陈宏兵
中文摘要
本课题关注导致软件失效和系统发生灾难性事件的风险,通过研究避错、容错、排错和预测技术在软件开发过程中不同阶段的应用,构造软件的风险评估的完整方案。具体技术包括:1、基于增长曲线模型与正交风险分类的可信软件避错技术;2、融合重要性取样原理和防危分析理论的可信软件排错技术;3、基于贝叶斯网络的可信软件风险预测技术;4、基于多决策标杆管理的可信软件风险修正(容错)技术。并研究上述技术在软件需求分析、设计
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI:
--
发表时间:
--
期刊:
计算机科学
影响因子:
--
作者:
[徐建, 许满武, 严悍, 李千目, XU Jian1,2 XU Man-wu2 YAN Han1 LI Qian-mu1,2(State]
通讯作者:
XU Jian1,2 XU Man-wu2 YAN Han1 LI Qian-mu1,2(State
DOI:
--
发表时间:
--
期刊:
计算机应用研究, 2009,26(03):920-923
影响因子:
--
作者:
[]
通讯作者:
A Novel Dependable System Security Risk Diagnosis Method
一种新型可靠的系统安全风险诊断方法
DOI:
10.4028/www.scientific.net/kem.439-440.623
发表时间:
2010-06
期刊:
Key Engineering Materials
影响因子:
--
作者:
[]
通讯作者:
The Design of Data Security Synchronization in the Network of Satellite and Ground Security Management Instrument
星地安全管理仪器组网数据安全同步设计
DOI:
10.4028/www.scientific.net/kem.439-440.208
发表时间:
2010-06
期刊:
Key Engineering Materials
影响因子:
--
作者:
[]
通讯作者:
DOI:
--
发表时间:
--
期刊:
计算机科学.2010,37(5):112-114-142.
影响因子:
--
作者:
[]
通讯作者:
共 11 条
计算系统的软件抗衰与自愈技术研究
-
批准号:60273035
-
项目类别:面上项目
-
资助金额:22.0万元
-
批准年份:2002
-
负责人:许满武
-
依托单位:
基于Java/CORBA的可视化对象建模研究
-
批准号:69973020
-
项目类别:面上项目
-
资助金额:13.0万元
-
批准年份:1999
-
负责人:许满武
-
依托单位:
非标准合一的理论及应用
-
批准号:69573015
-
项目类别:面上项目
-
资助金额:7.0万元
-
批准年份:1995
-
负责人:许满武
-
依托单位:
合一理论及其在知识推理描述语言实现中的应用
-
批准号:69273010
-
项目类别:面上项目
-
资助金额:5.0万元
-
批准年份:1992
-
负责人:许满武
-
依托单位:
国内基金
海外基金