南京航空航天大学岳涛教授访问我院并做学术报告

发布者:杨淳沨发布时间:2020-11-12浏览次数:13

李必信老师邀请,本月1127日上午1000南京航空航天大学岳涛教授来我院做学术报告,具体情况如下:


报告题目Uncertainty in Software Systems: The Inconvenient Truth

报告人:岳涛南京航空航天大学

报告时间20201127日上午1000-1130

报告地点:东南大学九龙湖校区计算机楼413会议室

报告摘要Due to the increasing complexity of large-scale systems themselves, and their dynamic and unpredictable deployment and operation environments, increasing attention has been given to address challenges of explicitly specifying and modeling uncertainty, and testing complex software-intensive systems under uncertain environments. Uncertainty Modeling, as one of the important aspects, aims to promote and enable explicit specifications of uncertainty and uncertainty related concepts, at various contexts, e.g., developing large-scale Cyber-Physical Systems (CPSs) and Internet of Things (IoTs), for different purposes. Examples include enabling uncertainty-wise requirements specifications, modeling, verification and validation, e.g., facilitating the definition of uncertainty-wise testing strategies), and at different phases of the development of such complex and uncertainty-inherent systems (e.g., requirements, architecture, design, testing and operation). In this talk, I will present various works that we have done in the past to explicitly deal with uncertainty for various purposes such as requirements prioritization, modeling and analysis, and testing. Such works were driven by needs of several industrial partners from different domains. Thus, the works were applied and evaluated with the real-world industrial case studies. Finally, I will conclude the talk by presenting future directions in the area of uncertainty in software systems including how uncertainty handling is critical in future software systems based on quantum computing.

报告人介绍:岳涛,教授、博导,南京航空航天大学,于1996年获北京航空航天大学自动控制系本科学位,于19962003年就职于中国航空动力系统控制研究所,分别与20062010年获加拿大卡尔顿大学软件工程方向硕士及博士学位,随后在挪威Simula Research Laboratory工作且担任首席研究员一职。长期从事模型驱动工程在多个工业应用领域,多个国家的工业驱动科学研究,其中包括航海、能源、通讯、工业自动化、医疗健康。其他主要研究方向包括不确定性软件工程、基于搜索的软件工程、产品线工程、需求工程以及经验软件工程。在国内外重要学术刊物/会议上发表论文100余篇,包括软件工程顶级期刊会议如TSETOSEMICSEISSTAMODELS。现任国际知名期刊Empirical Software EngineeringScience of Computer Programming的编委,模型驱动工程旗舰期刊Software and Systems Modeling中国大使,MODEL大会指导委员会成员,并将担任MODEL 2019PC联合主席。曾参加多个国际会议(如ICSE, FSE, ASE, MODELSRE, ICSTSPLC)的程序委员会委员,并参与及牵头模型驱动工程领域的国际标准组织OMG的国际标准制定,包括不确定性建模(PSUM)、系统建模语言(SysMLV2以及UML Testing ProfileUTPV2