www.betvictor92.com-载人航天工程软件安全性可靠性技术研讨会议征文通知
发布日期:2018-10-19 浏览次数: 字体【

各有关单位:

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

www.betvictor92.com 办公室

2018年9月30日

附件:稿件模版

信息来源:www.betvictor92.com 网
(责任编辑:周雁
分享到:
0
相关推荐