复杂软件系统的不确定性  

Uncertainty-wise Software Engineering of Complex Systems:A Systematic Mapping Study

作　　者：檀超 张静宣 王铁鑫 岳涛 TAN Chao;ZHANG Jing-Xuan;WANG Tie-Xin;YUE Tao(College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China;Key Laboratory of Safety-Critical Software,Ministry of Industry and Information Technology(Nanjing University of Aeronautics and Astronautics),Nanjing 211106,China)

机构地区：[1]南京航空航天大学计算机科学与技术学院,江苏南京211106 [2]高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学),江苏南京211106

出　　处：《软件学报》2021年第7期1926-1956,共31页Journal of Software

基　　金：国家自然科学基金(61872182)。

摘　　要：复杂软件系统(如信息物理系统CPS、物联网IoT以及自适应软件系统等)在其开发和运行过程中会遇到各种类型的不确定性问题.针对这些不确定性问题,研究人员开展了大量的研究工作,提出了一系列的方法,取得了诸多成果.然而,由于此类系统本身固有的复杂性和其内在与外在不确定性的共同作用,截止目前研究人员针对该研究领域仍然缺乏系统性和整体性的理解和分析.为了深入探究该领域的研究现状,采用系统研究的方法(systematic mapping study)识别出142篇相关文献,并基于这些文献研究信息物理系统和物联网等系统生命周期中各个阶段和系统开发过程中产生的各种制品的不确定性及其处理方法.通过对相关文献进行分析发现针对复杂系统的不确定性研究主要集中在其生命周期的设计定义、系统分析和运行等阶段.此外,首先将文献划分为3种不确定性类型,包括外部不确定性、内部不确定性和传感器不确定性,并将142篇相关论文关注的不确定性进行了分类.为了深入探究不确定性,将外部不确定性细分为环境不确定性、基础设施不确定性、用户行为不确定性以及经济属性不确定性,将内部不确定性细分为系统结构不确定性、内部交互不确定性、支持系统运行的技术不确定性以及处理系统运行技术的不确定性.针对复杂系统中的开发制品,提出了对应的不确定性类型,包括模型的不确定性、数据的不确定性和参数的不确定性等8类.针对复杂系统的不确定性问题,研究人员主要采用不确定性下的决策、不确定性推理和不确定性规约/建模等方法进行不确定性分析和处理.基于文献分析结果,进一步探讨和展望了该领域未来的研究趋势.Complex software systems(e.g.,cyber-physical systems,Internet of Things,and adaptive software system)encounter various types of uncertainties in their different phases of development and operation.To handle these uncertainties,researchers have carried out a lot of research work,proposed a series of methods,and achieved considerable results.However,there is still a lack of systematic understanding of the current state-of-the-artapproaches.Motivated by this observation,this paper reports a systematic mapping study of 142 primary studies collected by following a rigorous literature review methodology.The scope of the study is about investigating on how the literature deals with uncertainties appearing in various phases or artifacts produced during a development lifecycle of cyber-physical systems and Internet of Things.Results show that uncertainties mainly appear in the phases of design definition,system analysis,and operation.Based on the 142 primary studies,uncertainties are first defined and classified into external uncertainty,internal uncertainty,and sensor uncertainty,and descriptive statistics are reported in terms of this classification.In order to explore the uncertainty in depth,external uncertainty is subdivided into environmental uncertainty,infrastructure uncertainty,user behavior uncertainty,and economic attribute uncertainty,and internal uncertainty is subdivided into uncertainty in system structure,internal interaction uncertainty,uncertainty in the technology supporting system operation,and uncertainty in the technology dealing with system operation.Furthermore,another classification is presented and descriptive statistics for those primary studies where uncertainties in eight different types of artifacts are discussed,including model uncertainty,data uncertainty,and parametric uncertainty.Results also show that researchers mainly focused on decision-making under uncertainty,uncertainty reasoning,and uncertainty specification/modeling when dealing with uncertainties.Based on the results,the future

关 键 词：不确定性 系统研究 信息物理系统 物联网 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]