各有关单位：
为进一步推动载人航天工程软件安全可靠性技术水平的提升软件 可靠性，我处拟于2018年12月中旬（具体时间待定）举办载人航天工程软件安全可靠性技术研讨会，就航天软件安全可靠性技术进行交流探讨。
会议将开展论文征集活动，邀请优秀论文作者参加会议交流，优秀论文将编成论文集并推荐至相关核心期刊，现将论文征集相关要求通知如下：
1.征文范围（不限于）
（1）软件安全性与可靠性分析与设计技术；
(2)软件安全性与可靠性验证技术；
（三）软件可靠性建模和测量技术；
（四）形式化验证技术；
(5) 模型驱动的软件开发技术；
(6)软件自动化测试与验证技术；
（七）基于数字仿真的测试与验证技术；
（8）安全关键软件开发与管理技术。
二、相关事项说明
1.论文提交截止日期：2018年11月30日。
（二）内容要求：主题突出、论点明确、结构清晰、行文流畅、数据准确，内容专业性强、创新性强、实用性强，内容不得公开发表，篇幅控制在5000字以内。
（三）格式要求：请在载人航天工程网站通知公告栏（）下载电子版征文通知及稿件模板，将稿件电子版发送至zhengwen@bjsasc.com；
（四）保密审查要求：投稿稿件须经过单位保密审查软件 可靠性，投稿时须提交纸质版保密审查证明；
