[2019-12-30] Uncertainty-wise Software Engineering

文章来源:  |  发布时间:2019-12-26  |  【打印】 【关闭

  
Title: Uncertainty-wise Software Engineering
Speaker: 岳涛,教授、博导,南京航空航天大学
Time: 10:00 a.m. 2019-12-30 (Monday)
Venue: Lecture room (334),  Building 5, SKLCS, Institute of Software, CAS
 
Abstract: Cyber-Physical Systems (CPSs) typically operate in highly indeterminate environmental conditions, which require the development of various methods that must explicitly consider uncertainty all throughout system development lifecycles including requirements, model evolution, and test generation and optimization. Towards this direction, we proposed a set of uncertainty-wise software engineering methodologies that explicitly capture uncertainty and enable uncertainty-wise automation required for enabling cost-effective development of CPSs. In my talk, I will present a set of such methodologies.
 
Bio: 岳涛,教授、博导,南京航空航天大学,于1996年获北京航空航天大学自动控制系本科学位,于1996至2003年就职于中国航空动力系统控制研究所,分别与2006和2010年获加拿大卡尔顿大学软件工程方向硕士及博士学位,随后在挪威Simula Research Laboratory工作且担任首席研究员一职。长期从事模型驱动工程在多个工业应用领域,多个国家的工业驱动科学研究,其中包括航海、能源、通讯、工业自动化、医疗健康。其他主要研究方向包括不确定性软件工程、基于搜索的软件工程、产品线工程、需求工程以及经验软件工程。在国内外重要学术刊物/会议上发表论文100余篇,包括软件工程顶级期刊会议如TSE、TOSEM、ICSE、ISSTA和MODELS。现任国际知名期刊Empirical Software Engineering和Science of Computer Programming的编委,模型驱动工程旗舰期刊Software and Systems Modeling中国大使,MODELS大会指导委员会成员,并将担任MODELS 2019的PC联合主席。曾参加多个国际会议(如MODELS,RE和SPLC)的程序委员会委员,并参与及牵头模型驱动工程领域的国际标准组织OMG的国际标准制定,包括不确定性建模(PSUM)、系统建模语言(SysML)V2以及UML Testing Profile(UTP)V2。