[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?,F任國際知名期刊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。
斗牛牛游戏下载 甘肃泳坛夺金开奖详情 湖北省30选5开奖 广东好彩1最新开奖结果 湖北快三开奖结果最准的 股票指数是什么变量类型 河南体彩泳坛夺金玩法 2019股票开市时间 广东快乐10分追号 福彩山东11选5技巧 英国极速赛车开奖网