Skip to main content.
Advanced search >
<< Back to previous page Print

<< Tuesday, March 19, 2013 >>

Remind me

Tell a friend

Add to my Google calendar (bCal)

Download to my calendar

Bookmark and ShareShare

DREAMS: Compositionality in system design: interfaces everywhere!

Seminar: DREAM | March 19 | 4:10-5 p.m. | 490H Cory Hall

Stavros Tripakis, UC Berkeley

Electrical Engineering and Computer Sciences (EECS)

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., 510-460-0280