【摘要编号】60673118 - - 基金摘要完结 - 小木虫论坛-学术科研互动平台

版块导航: 正在加载中...

客户端APP下载

论文辅导

申博辅导

登录注册

应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜

返回列表

本帖产生 1 个基金HEPI ，点击这里进行查看

当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

book2005593

主管区长 (文坛精英)

stonnie(金币+4, 基金HEPI+1): 谢谢 2011-01-23 23:07:04

项目编号 60673118
项目名称安全关键软件的故障诊断、隔离与恢复技术研究
项目类型面上项目
申报学科1 软件理论与软件方法学(F020201)
研究性质应用基础研究
资助金额 27.00万元
开始日期 2007年1月1日
完成日期 2009年12月31日
项目摘要由于安全关键软件自身及其环境的复杂性，软件故障难以完全避免。这使得软件故障诊断、隔离与恢复成为确保已部署和运行的软件全面、连续地支持系统任务，以及在发生故障情况下尽可能减免严重后果的重要途径。本项目将以航天、武器控制等领域的典型安全关键软件案例为背景，结合近年来软件形式模型与设计验证理论、程序静态与动态分析技术等方向的最新进展，研究自动高效的软件故障诊断、隔离和恢复理论框架及关键技术。具体研究内容包括：安全关键软件的故障机理以及支持故障诊断的软件形式模型和设计方法；构件级诊断与程序级诊断相结合的软件故障诊断技术，以支持对故障原因和缺陷代码的准确、快速定位；基于代码隔离、控制隔离和软硬件隔离等不同方式的软件故障隔离技术，以保证软件在完成修正和重新部署前能持续支持主要任务的执行；安全关键软件的运行时恢复技术；具有较高自动化程度、与主流软件工程环境相结合的软件故障诊断、隔离与恢复支持环境。
获资助单位中国人民解放军国防科学技术大学(项目负责人)

赞一下

回复此楼

2楼2011-01-23 07:42:29

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

相关版块跳转我要订阅楼主 stonnie 的主题更新

返回列表