关于“可信软件基础研究”国家自然科学基金资助项目（资料1）

     2007年国家自然基金重大研究计划“可信软件基础研究”项目被各大科研机构所推倡，本人有幸参与该研究项目的申请立项工作，所以摘取部分背景资料。

 

新闻网讯 (管院新闻中心 杨婉 报道) 2007年 9月3日下午在管理学院新大楼126 教室，管理学院院长张金隆教授为管理学院师生做了一场关于国家自然基金重大研究计划“可信软件基础研究”的讲座。
    张金隆首先为大家介绍了“可信软件基础研究”项目的背景。国家自然科学基金资助项目分为面上项目、重点支持项目、重大研究项目等几个不同层次，而此次的“可信软件基础研究”项目属于国家重大研究项目，国家为此投入1.5亿的资金，由数理科学部、信息科学部、管理科学部共同参与。
   什么是可信软件？“可信软件基础研究”的研究内容和意义又是什么呢？张金隆介绍说：“可信软件”是指软件系统的运行行为及其结果总是符合人们的预期，在受到干扰时仍能提供持续的服务。而软件的可信性，目前以成为国际上致力于解决的重要课题。“可信软件基础研究”具有战略性、基础性和前瞻性，对我国的软件业发展具有重大意义。张金隆对此项目的立项原因、国际现状、研究内容的设立思路、目标与研究成果、计划框架做了具体的讲解。
    最后，张金隆教授对这个项目在管理科学方面的若干重大研究方向提出了一些立项建议，并鼓励管理学院的师生积极参与此项目的研究中来。（完）