Compositional methods, which allow to assemble smaller components into larger systems both efficiently and correctly, are not simply a desirable feature in system design: they are a must for building large and complex systems. A key ingredient for compositionality is that of an "interface". An interface abstracts a component, exposing relevant information while hiding internal details. Motivated by cyber-physical system applications, in this talk I will first present methods for automatic bottom-up synthesis of interfaces from hierarchical models, which is needed for modular code generation from such models. I will then talk about interface theories, which can be seen as behavioral type theories, and are essential for incremental design (when can a component be replaced by another one without compromising the properties of the entire system?).
Stavros Tripakis obtained a PhD degree in Computer Science at the Verimag Laboratory in Grenoble, France, in 1998. He was a postdoc at UC Berkeley from 1999 to 2001, a CNRS Research Scientist at Verimag from 2001 to 2006, and a Research Scientist at Cadence Research Labs in Berkeley from 2006 to 2008. He is an Associate Researcher at UC Berkeley since 2009, working on model-based and component-based design, verification, testing and synthesis. Dr. Tripakis was co-Chair of the 10th ACM & IEEE Conference on Embedded Software (EMSOFT 2010), Secretary/Treasurer of ACM SIGBED in 2009-2011, and is the current Vice-Chair of ACM SIGBED. His h-index, according to Google scholar, is 35.