注册 |登录

东北大学嵌入式技术实验室论坛论坛大型软件可信度量问题研究 › 查看主题

1091

查看

3

回复
返回列表

Rank: 7Rank: 7Rank: 7Rank: 7Rank: 7Rank: 7Rank: 7

最后登录
2010-8-26 
贡献
377  
注册时间
2009-4-26 
阅读权限
100 
精华
积分
377 
帖子
190 

博士 实验室成员

go

国家自然科学基金委去年起投1.5亿研究可信软件

1#
发表于 2009-5-9 15:04 | 只看该作者 | 倒序看帖 | 打印
国家自然科学基金委拟投1.5亿研究可信软件
http://www.edu.cn   2008-05-28 作者:

      记者从国家自然科学基金委信息科学部获悉,国家拟在可信软件基础研究方面投入1.5亿元,该计划的周期自2008年1月至2015年12月,旨在解决由相对不可信构件开发可信软件和可信软件运行保障的问题。

  由于日趋庞大的软件系统越来越脆弱,各种故障和错误直接/间接地对用户造成损害。一方面软件的规模越来越大导致软件开发、集成和持续演化变得越来越复杂,相关的可信软件的构造技术严重缺乏,导致软件产品在推出时总会含有很多已知或未知的缺陷,这些缺陷对软件系统能否安全、可靠地运行构成了严重的威胁;另一方面,软件的运行环境和开发环境从传统的封闭静态环境延伸到了开放、动态、多变的互联网环境下,互联网环境下计算实体的行为存在不可控性和不确定性,既对传统的软件开发方法和技术提出了挑战,也对运行的可信保障提出了严峻的挑战。

  据了解,目前,与可信软件研究相关的学科在国内已具备很好的基础,在国内高等院校北京大学、北京航空航天大学、南京大学、国防科技大学、吉林大学和上海交通大学设立了6个国家级重点学科,在全国范围内约有50个左右的代表性研究单位,具有上千人的研究队伍。

  2000年以来,基金委在可信软件方向上申请的课题875项,资助了137项。此次基金委的重大研究计划的科学问题是:软件可信性度量与建模,可信软件的构造与验证,可信软件的演化与控制等。
1

评分人数

TOP

管理员

唯心且唯物,两极亦模糊.

Rank: 9Rank: 9Rank: 9Rank: 9Rank: 9Rank: 9Rank: 9Rank: 9Rank: 9

最后登录
2010-9-3 
贡献
1243  
注册时间
2009-4-24 
阅读权限
200 
精华
积分
1243 
帖子
514 

实验室成员 博士 勤奋的贡献者 论坛技术组

2#
发表于 2009-5-9 15:22 | 只看该作者
有句老话叫历史总是惊人的相似,不过今天已被改为历史总是雷人地相似。

TOP

Rank: 7Rank: 7Rank: 7Rank: 7Rank: 7Rank: 7Rank: 7

最后登录
2010-7-8 
贡献
8  
注册时间
2009-4-29 
阅读权限
100 
精华
积分
帖子

博士 实验室成员

3#
发表于 2009-5-12 08:38 | 只看该作者

TOP

Rank: 3Rank: 3Rank: 3

最后登录
2010-9-1 
贡献
322  
注册时间
2009-4-25 
阅读权限
30 
精华
积分
322 
帖子
191 

论坛技术组 实验室成员

4#
发表于 2009-5-12 09:00 | 只看该作者
My Future is not a dream

TOP

东北大学嵌入式技术实验室论坛 |联系我们

GMT+8, 2010-9-3 18:16, Processed in 0.049128 second(s), 10 queries.

Powered by Discuz! X1

© 2001-2010 Comsenz Inc.