[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。