日前，嵌入式系统与服务计算教育部重点实验室曾国荪、闫春钢教授，分别接到国家基金委通知，他（她）们申请的“支持自验证自演化的可信网络软件体系结构及其机理”和“面向可信管理的软件病态模型、机理及理论研究”两课题，获得国家“可信软件基础研究”2007年国家基金重大研究计划课题资助。
国家重大研究计划“可信软件基础研究”，是针对我国信息化发展和重大工程应用对可信软件的战略需求，以国家关键应用领域中软件可信性问题为主攻目标，为改善国家重大工程中的软件可信性提供科学支撑前瞻性研究。通过该项的研究，以促进我国软件从传统的单一度量理论到综合性的可信度量理论及其构造方法的集成得到升华，提高我国在可信软件领域的原始创新能力和国际影响力，为国家相关重大计划和工程的可信软件研发提供科学支撑，培养一批高水平的研究人才，促进我国软件产业的崛起和发展。
据悉，本重大研究计划主要以“培育项目”、“重点支持项目”和“集成项目”的形式予以资助。2007年度重点支持领域主要为“培育项目”和“重点支持项目”。其中资助“培育项目”40项，“重点支持项目”5项左右，2007年度拟资助项目总经费约3300万元。（毛广山）
