网站地图 | 联系我们  
首页 中心概况 新闻动态 科研进展 交流合作 人才培养 研究队伍 人才招聘 政策规章 数学交叉科学传播
学术报告
现在位置:首页 > 学术报告

Engineering Autonomous Ensembles*
【2015.10.26 10:00am, N820】

【打印】【关闭】

 2015-10-10 

  Colloquia & Seminars 

  Speaker

Prof. Martin Wirsing, LMU München

  Title

Engineering Autonomous Ensembles*

  Time

2015.10.26 10:00-11:30am

  Venue

N820

  Abstract

When properly applied, modern software engineering techniques allow developers to develop many kinds of software systems in a predictable and cost-effective manner. Increasingly, however, engineers are developing systems which exhibit characteristics that are not well supported by current approaches, e.g., systems with constantly changing requirements, operating on massive numbers of mobile devices, backed by a heterogeneous and constantly changing set of cloud-based services provided by independent vendors. We call these kinds of systems ensembles. Apart from the technological challenges of massive scale and heterogeneity, the increasingly personal nature of computing devices and the amounts of intimate sensor and behavioral data they can collect about their users presents previously unknown problems for developers: What can an ensemble infer about its user’s physiological and social situation; how should it react to this information; and how can we ensure that ensembles don’t fail in ways not foreseen by developers? This talk presents several results and approaches that are promising candidates for addressing some of these aspects: engineering techniques for autonomic ensembles, physiological computing, and scalable and run-time formal methods that allow local reasoning about global system properties.    

  Affiliation

 

欢迎访问国家数学与交叉科学中心 
地址:北京海淀区中关村东路55号 邮编:100190 电话: 86-10-62613242 Fax: 86-10-62616840 邮箱: ncmis@amss.ac.cn