会议背景介绍：

为进一步促进载人航天工程软件工程技术水平提升，载人航天工程办公室拟于2016年10月下旬（具体时间待定）召开载人航天工程软件工程化新技术研讨会，就航天软件开发、测试验证等新技术进行交流研讨。会议开展论文征集活动，将邀请优秀论文作者进行会议交流，优秀论文奖汇编成集，并向相关核心期刊推荐。

征文范围及要求：

征文范围（不限于）

（一） 模型驱动开发技术；

（二） 智能化软件开发技术；

（三） 需求建模及确认技术；

（四） 形式化验证技术；

（五） 软件产品化技术；

（六） 数字化仿真测试技术；

（七） 空间飞行器软件安全保密性技术。

联系人： 李书良

联系电话： （010）66301867，13811944198

E-MAIL： zhengwen_2016@bjsasc.com

会议网站： http://123.124.166.21/art/2016/7/22/art_810_28314.html