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

创始人

2026-03-14 06:20:15

各有关单位：

为进一步推动载人航天工程软件安全可靠性技术水平的提升软件可靠性，我处拟于2018年12月中旬（具体时间待定）举办载人航天工程软件安全可靠性技术研讨会，就航天软件安全可靠性技术进行交流探讨。

会议将开展论文征集活动，邀请优秀论文作者参加会议交流，优秀论文将编成论文集并推荐至相关核心期刊，现将论文征集相关要求通知如下：

1.征文范围（不限于）

（1）软件安全性与可靠性分析与设计技术；

(2)软件安全性与可靠性验证技术；

（三）软件可靠性建模和测量技术；

（四）形式化验证技术；

(5) 模型驱动的软件开发技术；

(6)软件自动化测试与验证技术；

（七）基于数字仿真的测试与验证技术；

（8）安全关键软件开发与管理技术。

可靠性软件公司_软件可靠性_可靠性软件北航

二、相关事项说明

1.论文提交截止日期：2018年11月30日。

（二）内容要求：主题突出、论点明确、结构清晰、行文流畅、数据准确，内容专业性强、创新性强、实用性强，内容不得公开发表，篇幅控制在5000字以内。

（三）格式要求：请在载人航天工程网站通知公告栏（）下载电子版征文通知及稿件模板，将稿件电子版发送至zhengwen@bjsasc.com；

（四）保密审查要求：投稿稿件须经过单位保密审查软件可靠性，投稿时须提交纸质版保密审查证明；

上一篇： 安卓手机桌面的新选择：Niagara 打破传统，带来更简洁高效体验

下一篇： 小米手机 MiFlash 线刷教程：解决系统问题与升级降级的必备指南