载人航天工程软件安全性可靠性技术研讨会议征文通知

　　各有关单位：
　　为进一步促进载人航天工程软件安全性可靠性技术水平提升，我办拟于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日

附件：稿件模版

中国载人航天