Last modified on October 16, 2015, 1:28 pm

CRTS 2015
 
Call for papers
Paper submission
Important dates
Program
Keynote speaker
Organization
 
Contact CRTS







Keynote

Stavros Tripakis, "Compositional Model-Based System Design”

BIO: Stavros Tripakis is an Associate Professor at Aalto University, and an Adjunct Associate Professor at the University of California, Berkeley. He received a Ph.D. degree in Computer Science in 1998 at the Verimag Laboratory, Joseph Fourier University, 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, Berkeley, from 2006 to 2008. His research interests include formal methods, computer-aided system design, and 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 on Google Scholar is 40.

ABSTRACT: Compositional system design methods allow to build systems from smaller or simpler components or subsystems. Model-based design (MBD) is a system 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). In this talk I will describe some of our work on different aspects of compositional MBD: compositional and multi-view modeling, compositional analysis, and compositional implementation. As we shall see, a common theme in these works is the versatile notion of "interface". An interface abstracts a component, exposing relevant information while hiding internal details. In our work we use many different types of interfaces to solve different problems of compositionality, from modular code generation, to incremental design, to co-simulation.

Web page hosted at School of Innovation, Design and Engineering,
Mälardalen University, Sweden. Webmaster: Moris Behnam