| 查看: 383 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】60673118
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
关于核磁制样
已经有5人回复
-
说走就走，走到哪便是哪
已经有10人回复
-
亲密关系
已经有13人回复
-
27秋申博自荐
已经有4人回复
-
郑州大学申博
已经有8人回复
» 抢金币啦！回帖就可以得到:
-
安徽工程大学徐珍珍课题组招聘博士后
+1/383
-
澳门大学智慧城市物联网国重”基础设施智能监测“及”智慧城市“研究方向博士生招生
+1/185
-
经济危机不是生产过剩
+1/135
-
原子层沉积（ALD）等微纳代工服务：18817872921
+1/83
-
四川大学卢伟课题组招收2027年秋季入学博士生2名
+1/77
-
南开大学环境科学与工程学院 环境与人体健康方向 招博士研究生、硕士研究生各1名
+1/76
-
华南师范大学（211）- 光电科学与工程学院招收物理学（一流学科）2027级博士
+1/45
-
华南理工大学黄哲昊课题组招收博士研究生
+2/44
-
Claudin-2 重组蛋白来啦
+1/44
-
香港城市大学（东莞）雷进程课题组博士研究生、研究助理招聘
+1/39
-
郑州招聘博士
+1/38
-
四川大学先进制造技术团队招硕士博士
+1/37
-
环境地球化学地球生物学博士招生
+1/36
-
澳大利亚皇家墨尔本理工招收phd
+1/32
-
北京化工大学杨琪教授 邱介山教授，招收博士1-2名，2027年秋季入学
+1/29
-
华南理工大学 郎超课题组 招收2027级博士研究生
+1/28
-
河南医药大学艾思志教授招收2027级内科学同等学力硕士研究生
+1/17
-
河南医药大学艾思志教授招收2027级内科学同等学力硕士研究生
+1/16
-
赤藓糖醇-聚合物复合相变材料的潜热长期储存
+1/15
-
社科后期
+1/5
book2005593
主管区长 (文坛精英)
- 基金HEPI: 1182
- 应助: 123 (高中生)
- 贵宾: 65.77
- 金币: 162720
- 帖子: 17951
- 在线: 1648.5小时
- 虫号: 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