Section: Overall Objectives

Highlights

Sandeep Shukla, Associate Professor with Virginia Tech, continued his visit in the Espresso project-team at the occasion of his sabbatical. He was jointly funded by the University of Rennes, INRIA Rennes-Bretagne-Atlantique, the Scientific Board of INRIA and the Artist Network of Excellence.

The main objective of the sabbatical was to jointly investigate the state of the art to modeling multi-clocked synchronous embedded systems, as in Polychrony, for instance, and to explore alternatives modeling, analysis and compilation techniques. These discussions resulted in a number of joint publications with INRIA participants to Artist-Design and are subject to several related and ongoing work [41] , [18] , [32] , [24] , [28] , [27] , [39] , [31] , [22] , [37] , [21] , [23] . The most salient dissemination and publication outcomes resulting of the visit are

• the joint organization of a one-day tutorial at the Design Automation and Test in Europe (DATE) 2009 Conference on "Correct-by-Construction Embedded Software Synthesis: Formal Frameworks, Methodologies, and Tools" (see http://www.date-conference.com/date09/conference/date09-tutorial-C for more details) followed up with the publication of a book with Springer, to appear in 2010.

• the joint organization of the 4th Internation Workshop on the Formal Methods for Globally Asynchronous and Locally Synchronous Design (FMGALS’09) as a DATE Friday workshop (see http://www.date-conference.com/date09/conference/date09-workshop-W7 for more details) which brought together researchers from different communities interested in GALS design, and in applying formal methods in creating CAD tools enabling correct by construction GALS design.

Abdoulaye Gamatié, formerly Ph.D. student in the Espresso team, published a book on Signal [2] .