可信软件风险多层次综合管理技术

批准号:
90718021
项目类别:
重大研究计划
资助金额:
50.0 万元
负责人:
许满武
依托单位:
学科分类:
F0203.软件理论、软件工程与服务
结题年份:
2010
批准年份:
2007
项目状态:
已结题
项目参与者:
李千目、杨献春、张琨、朱怀宏、胡方炜、王小民、张雄、刘志军、陈宏兵
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点,提供专业选题建议
深度指导申报书撰写,确保创新可行
指导项目中标800+,快速提高中标率
微信扫码咨询
中文摘要
本课题关注导致软件失效和系统发生灾难性事件的风险,通过研究避错、容错、排错和预测技术在软件开发过程中不同阶段的应用,构造软件的风险评估的完整方案。具体技术包括: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.
影响因子:--
作者:
通讯作者:
计算系统的软件抗衰与自愈技术研究
- 批准号:60273035
- 项目类别:面上项目
- 资助金额:22.0万元
- 批准年份:2002
- 负责人:许满武
- 依托单位:
基于Java/CORBA的可视化对象建模研究
- 批准号:69973020
- 项目类别:面上项目
- 资助金额:13.0万元
- 批准年份:1999
- 负责人:许满武
- 依托单位:
非标准合一的理论及应用
- 批准号:69573015
- 项目类别:面上项目
- 资助金额:7.0万元
- 批准年份:1995
- 负责人:许满武
- 依托单位:
合一理论及其在知识推理描述语言实现中的应用
- 批准号:69273010
- 项目类别:面上项目
- 资助金额:5.0万元
- 批准年份:1992
- 负责人:许满武
- 依托单位:
国内基金
海外基金
