主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第9期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿

《软件学报》系统软件构造与验证技术专刊
征文通知

在软件定义一切(SDX)的发展趋势下,软件规模与复杂性以指数趋势增长,软件占系统功能的比例增大,成为创新的主体。例如汽车车载软件规模达到1亿行, 目前80%以上的汽车系统创新在软件领域;大飞机机载软件规模超过千万行,应用范围已经覆盖了飞控、航电、机电等主要机载系统,成为决定飞机“安全飞行”的关键因素之一。系统软件是计算机系统和领域关键系统的核心基础软件,主要包括基础系统软件,如操作系统、语言及编译器、中间件、数据库、基础软件库等;领域系统软件,如无人车、大飞机、无人机、工业控制、载人航天、卫星、空间探测器等的核心控制软件,区块链的关键基础软件等。系统软件的安全可靠性关系整个系统,如何构造并验证高质量的系统软件仍然是学术界和工业界面临的大挑战。

本专刊将主要关注基础系统软件和领域系统软件,包括操作系统、语言及编译器、中间件、数据库、基础软件库,以及航空、航天、交通、无人系统、工业控制等领域的系统软件。重点围绕系统软件构造与验证等阶段中,有助于提高系统软件开发效率、提升系统软件质量、增强系统软件安全可靠性的理论与方法、技术与工具、应用与案例等,涉及软件体系结构及建模分析,模型驱动开发方法,形式化开发方法,程序语言与编译,基于人工智能的系统软件构造与验证,测试验证和形式验证,安全可靠性分析等等,将收录国内外系统软件构造与验证领域的高水平研究成果。读者群体包括系统软件、软件工程及其相关领域的研究人员、软件工程师、安全工程师等。

专刊题目:系统软件构造与验证技术
特约编辑:赵永望(北京航空航天大学)刘杨(新加坡南洋理工大学)王戟(国防科技大学)
出版时间:2020年第5期

一、征文范围
包括但不限于以下主题:
(1)通用操作系统、嵌入式实时操作系统、移动操作系统的开发、验证、认证等技术
(2)编译器的构造与验证方法
(3)数据库系统/大数据/云平台的构造与验证方法
(4)模型驱动的系统软件构造方法与技术
(5)形式化的系统软件构造与验证技术
(6)基于人工智能的系统软件构造与验证技术
(7)系统软件的安全可靠性分析方法与技术
(8)系统软件的代码自动生成和分析技术
(9)系统软件的测试技术
(10)航空、航天、工业控制、交通、无人系统、区块链等领域的系统软件构造与验证案例

二、投稿要求
1. 投稿方式:采用“软件学报在线投稿系统”(http://www.jos.org.cn)投稿。投稿时请选择投稿类型为“专刊投稿”,并在备注栏中注明“系统软件构造与验证技术”字样
2. 稿件格式:参照《软件学报》论文格式(网站上提供了论文模版,可下载)。
3. 投稿文章未在正式出版物上发表过,也不在其他刊物或会议的审稿过程中,不存在一稿多投现象;保证投稿文章的合法性(无抄袭、剽窃、侵权等不良行为)。
4. 其他事项请参阅投稿指南:
http://www.jos.org.cn/jos/ch/reader/view_fixed_content.aspx?id=instructions
5. 投稿作者需提交投稿声明;专刊投稿文章不收审理费。录用刊发文章收取软件学报标准版面费。发表之后,将按软件学报标准支付稿酬,并赠送样刊。
6. 通过阶段评审的论文作者需在2019年CCF系统软件专委会和软件工程专委会承办的全国软件与应用学术会议NASAC2019(2019年11月22日-24日,杭州)到会做学术报告,根据论文修改情况和会议报告情况终审确定是否录用。

三、重要时间
截稿时间:2019年9月1日
阶段评审意见通知时间:2019年10月20日
NASAC2019报告时间:2019年11月22-24日(杭州)
论文修改稿提交日期:2019年12月10日
终审结果发出日期:2019年12月20日
最终稿提交日期:2019年12月31日
出版日期:2020年第5期

 

 

 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利