Citation
Stavros Tripakis. "Compositionality in system design: interfaces everywhere!". Talk or presentation, 19, March, 2013.

Abstract
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?).

Electronic downloads

• dreams-tripakis-march-2013.pdf · application/pdf · 4325 kbytes

• HTML

  Stavros Tripakis. <a
  href="http://chess.eecs.berkeley.edu/pubs/984.html"
  ><i>Compositionality in system design: interfaces
  everywhere!</i></a>, Talk or presentation,  19,
  March, 2013.

• Plain text

  Stavros Tripakis. "Compositionality in system design:
  interfaces everywhere!". Talk or presentation,  19,
  March, 2013.

• BibTeX

  @presentation{Tripakis13_CompositionalityInSystemDesignInterfacesEverywhere,
      author = {Stavros Tripakis},
      title = {Compositionality in system design: interfaces
                everywhere!},
      day = {19},
      month = {March},
      year = {2013},
      abstract = {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?).},
      URL = {http://chess.eecs.berkeley.edu/pubs/984.html}
  }
  

Posted by David Broman on 8 Apr 2013.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.