Title: Compositional Methods for CPS Design

　　Speaker：Prof. Jean-Pierre Talpin

                Senior research of INRIA

                http://www.irisa.fr/prive/talpin/

　　Time: 15:00, November 7th, Tuesday, 2017

　　Venue: Room 334, Building 5, State Key Lab. of Computer Science, Institute of Software

　　Abstract: 

    Logic and proof theory are 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.

       BIO

       Jean-Pierre Talpin is 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.