各有关单位：
为进一步促进载人航天工程软件安全性可靠性技术水平提升，我办拟于2018年12月中旬（具体时间待定）召开载人航天工程软件安全性可靠性技术研讨会，就航天软件安全性可靠性技术等进行交流研讨。
会议开展论文征集活动，将邀请优秀论文作者进行会议交流，优秀论文将汇编成集，并向相关核心期刊推荐。现将征文有关要求通知如下：
一、征文范围（不限于）
（一）软件安全性和可靠性分析及设计技术；
（二）软件安全性和可靠性验证技术；
（三）软件可靠性建模和度量技术；
（四）形式化验证技术；
（五）模型驱动软件开发技术；
（六）软件自动化测试验证技术；
（七）基于数字化仿真的测试验证技术；
（八）安全关键软件研制管理技术。
二、有关事项说明
（一）论文截止日期：2018年11月30日；
（二）内容要求：主题突出、论点明确、层次清晰、文字通达、数据须准确无误，注重专业性、创新性和实用性，未公开发表，篇幅控制在5000字以内；
（三）格式要求：征文通知和稿件模板（附后）电子版请从载人航天工程网站（http://wwwnanse.gov.cn）通知公告栏下载。征文稿件请提交电子版，发送至电子邮箱zhengwen@bjsasc.com；
（四）保密审查要求：所投稿件须经本单位保密审查，并于投稿时提交纸质版保密审查证明；
（五）论文需附作者姓名、单位、职务、联系方式；
（六）论文录用结果及会议具体时间将在2018年12月上旬另行通知。
请各单位认真开展征文活动，各系统抓总单位指派专人负责，10月30日前将征文负责人及联系方式报办公室。
联系人：李书良（010）66301867，13811944198
章喆（010）59895450，18611125546
投稿地址：北京市海淀区永丰路28号章喆（收） 100094
中国载人航天工程办公室
2018年9月30日
