Compositional model-based design for embedded systems
Friday, November 15, Giedt 1003, 12:10pm-1:00pm
Speaker: Stavros Tripakis
Host: Professor Erkin Seker
Model-based design (MBD) is a design methodology that relies on three key elements: modeling (how to capture the system that we want), analysis (how to be sure that this is the system that we want before actually building it), and synthesis (how to build the system). This talk discusses some of our work on MBD with a focus on compositionality. 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. We will give an overview of the many uses of interfaces in MBD, from modular code generation from hierarchical models, to incremental design with interface theories, to co-simulation.
Stavros Tripakis is an Adjunct Associate Professor and Associate Researcher at the University of California, Berkeley. He obtained a PhD degree in Computer Science in 1998 at the Verimag Laboratory in Grenoble, France. 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. His interests include model-based and component-based design, verification, and synthesis for cyber-physical systems. Dr. Tripakis was co-Chair of the 10th ACM & IEEE Conference on Embedded Software (EMSOFT 2010), and Secretary/Treasurer (2009-2011) and Vice-Chair (2011-2013) of ACM SIGBED. His h-index, according to Google Scholar, is 37.
About the seminar:
This seminar is part of the Fall EEC 290 seminar series and is open to all.