| 查看: 356 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】60673118
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
E0414, 我的本子有没有希望？
已经有13人回复
-
看《给阿ma的情书》有感
已经有4人回复
-
雷雨
已经有3人回复
-
青A35岁以下通知答辩了吗
已经有3人回复
-
希望面上有个好结果
已经有7人回复
-
三区计算机方向期刊推荐
已经有5人回复
-
sci论文二审求助
已经有5人回复
» 抢金币啦！回帖就可以得到:
-
郑州大学急招1名2026级博士生
+1/471
-
山东征女友，坐标济南
+1/175
-
征一人，此生平安欢喜度日常
+1/79
-
青年拔尖人才还有指标 25w*8年
+1/74
-
Cu2O纳米线
+5/70
-
坐标北京，诚征男友，找到会删帖。试试运气！说不定就有了！
+1/64
-
国家青年基金祈福
+1/47
-
上海交通大学刘祖明课题组招聘博士后
+1/30
-
西南交通大学环境科学与工程学院龙明策团队诚聘博士后
+1/30
-
中山大学智能工程学院【智能视觉方向】金枝教授团队招聘博士后
+2/30
-
湖南师范大学(211)—招收2026年入学的“申请-考核”制博士（有微纳光学经验者优先）
+1/24
-
密苏里大学生物材料合成生物学博士后招聘
+1/7
-
墨尔本大学(26年QS19)招全奖博士/CSC博士(补齐全奖)/访问学者等-材料/生物医学等
+1/7
-
密苏里大学生物材料合成生物学博士后招聘
+1/6
-
密苏里大学生物材料合成生物学博士后招聘
+1/5
-
密苏里大学生物材料合成生物学博士后招聘
+1/5
-
密苏里大学生物材料合成生物学博士后招聘
+1/4
-
香港中文大学陈也课题组、香港中文大学（深圳）陈仲欣课题组招收联合培养博士后
+1/1
-
密苏里大学生物材料合成生物学博士后招聘
+1/1
-
哈尔滨工业大学（深圳）赵怡潞课题组诚招博士后、2027学年博士生
+1/1
book2005593
主管区长 (文坛精英)
- 基金HEPI: 1182
- 应助: 123 (高中生)
- 贵宾: 64.97
- 金币: 161270
- 帖子: 17949
- 在线: 1647.8小时
- 虫号: 539655
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