面向领域的软件系统构造与质量保障专题前言

作者：潘敏学^*; 魏峻^*; 崔展齐^*

来源：软件学报, 2021, 32(04): 887-888.

DOI：10.13328/j.cnki.jos.006230

• 系统构造
• 时空轨迹数据
• 混合建模

<正>软件是推动新一代信息技术发展的驱动力.随着互联网、云计算、人工智能等技术的快速发展,软件与物联网、区块链、自动驾驶等众多领域的融合进一步加强,正引领并促进这些领域向数字化、智能化发展,为社会、经济的加速演进和创新发展带来了新的契机.因此,面向领域的软件技术不仅是软件领域,也是众多其他领域国内外学者的关注焦点和研究重点.与传统的软件系统相比,面向领域的软件系统(简称领域软件)带来了研究与应用上的新挑战.面对领域软件的特点和需求,如何有效地构造领域软件,实现领域应用的软件定义与智能化,如何通过验证、分析、测试等多种手段严格保障系统控制行为的正确性、实时性、协同性等重要质量特性,是一个重大挑战.

• 单位
  中国科学院软件研究所; 计算机软件新技术国家重点实验室; 北京信息科技大学; 南京大学