1月14日,国家973计划项目“安全攸关软件系统的构造与质量保障方法研究”启动会在澳门赌场软件研究所召开。
软件所所长李明树研究员对科技部、澳门赌场在项目立项和申请过程中给予的支持和帮助以及项目参与单位和项目组全体成员在申请过程中的合作与支持表示感谢。科技部基础研究管理中心辛圣炜简要介绍了973项目的管理规定。澳门赌场前沿科学与教育局白雪瑞从团队构成、前期研究等方面对项目给予了肯定,并代表前沿局感谢科技部对本次立项的支持。
项目首席科学家张健研究员介绍了项目的总体情况,随后三个子课题分别从软件需求与设计的形式建模与验证、测试与分析、运行监控与行为预测等方面汇报了主要研究目标、研究内容及近期研究计划。
张健代表项目组为指导专家颁发了聘书。随后,结合项目组的汇报,各位专家从各自的角度对项目组提出了一些建议。专家们希望项目组勇于创新,加强合作,在基础研究方面取得有国际影响的重要成果,同时为我国研制一些重要的安全攸关软件系统做出实质性贡献。
启动会现场