2014年7月22日，国家自然科学基金委员会发布“可信软件基础研究”重大研究计划2014年度项目指南。计划以国家关键应用领域中软件可信性问题为主攻目标，分析、研究和解决相关科学问题，在嵌入式软件和基于网络的大型应用软件中开展示范应用，为改善国家重大工程中的软件可信性提供科学支撑。2014年度计划资助经费约1000万元，拟对滚动提升的项目以“重点支持项目”形式资助5-10项，资助强度每项100-200万元，资助期限为2年。 

　　1. 核心科学问题 

　　2. 可信软件开发与运行保障的集成与验证研究 

　　来源：国家自然科学基金委员会 

　　如需了解详细内容，请联系：xxhkb@cashq.ac.cn