报告题目：Compositional methods for system design

报告人： Jean-Pierre Talpin  研究员

主持人：吴恒洋 副研究员

报告时间：2017年10月26日 10:00—12:00

报告地点：中北校区数学馆201室

报告人简介：

Jean-Pierre Talpin is a senior researcher with INRIA.  He graduated from University Paris VI and obtained a PhD Thesis at Ecole des Mines de Paris.

Jean-Pierre worked three years at the European Computer-Industry Research Centre in Munich and joined INRIA. He led INRIA project-team ESPRESSO from 2000 to 2012 and currently leads INRIA project-team TEA.

Jean-Pierre is the recipient of both the 2004 ACM SIGPLAN Award for the most influential POPL paper, with Mads Tofte, and of the 2012 ACM-IEEE LICS "Test of Time" Award, with Pierre Jouvelot.

报告摘要：

Logic and proof theory  probably have proved to be the most effective mathematical tools to help modularly engineering correct software, and this since the introduction of type inference, up to fantastic progresses of SAT-SMT solvers and provers. In this talk, I will focus on past experience of my former project-team ESPRESSO in manipulating such tools in the design, implementation, proof and test-case of Polychrony: an open-source synchronous modeling environment hosted on the Polarsys industry working group of the Eclipse foundation. I will highlight the compositionality and scalability of its concepts by considering two major case studies (with Polychrony and its commercial implementation, RT-Builder) in developing functional and real-time simulators, in avionics and automotive, and the integration of these concepts in the AADL standard. Before concluding, I will hint on broader perspectives undertaken by my new project-team, TEA, toward logic-focused, compositional and scalable, models of concurrent, timed, cyber and physical systems, and the challenges to build new ADLs from such concepts.