Citation
Partha S. Roop. "Components, Interfaces and Compositions: from SoCs to SOCs". Talk or presentation, 26, March, 2013.

Abstract
The widespread advancement of engineering may be attributed to the use of production lines that achieve "compositions of many components" to create complex systems. Examples can be seen in the mass production of computer chips to cars, where "reuse of components" is fundamental. Reuse is possible due to the standardization of the "interface" of the different components. However, reuse is impossible when manufacturers create "incompatible" interfaces. In computer science, components and interfaces have played a fundamental role. Like conventional engineering domains, in computer science also, we see parallels: both success stories and difficulties in reuse. Successes are almost always related to standardized interfaces and associated algorithms for reuse and composition. In this talk, I will focus on two domains where standardized interfaces may be used successfully: System-on-a-Chip (SoC) and Service Oriented Computing (SOC). While these two domains are diverse and appear to be quite separated, I will present a unifying solution that fits many problems across both domains. In presenting this solution, I will elaborate on techniques for component reuse and component composition that are based on formal methods. In particular, I will rely on simulation relations, discrete controller synthesis, and model/module checking to solve classical issues in both these domains. I will then present some interesting reuse and composition case studies.

Electronic downloads

• dreams-roop-march-2013.pdf · application/pdf · 3896 kbytes

• HTML

  Partha S. Roop. <a
  href="http://chess.eecs.berkeley.edu/pubs/975.html"
  ><i>Components, Interfaces and Compositions: from
  SoCs to SOCs</i></a>, Talk or presentation,  26,
  March, 2013.

• Plain text

  Partha S. Roop. "Components, Interfaces and
  Compositions: from SoCs to SOCs". Talk or presentation,
   26, March, 2013.

• BibTeX

  @presentation{Roop13_ComponentsInterfacesCompositionsFromSoCsToSOCs,
      author = {Partha S. Roop},
      title = {Components, Interfaces and Compositions: from SoCs
                to SOCs},
      day = {26},
      month = {March},
      year = {2013},
      abstract = {The widespread advancement of engineering may be
                attributed to the use of production lines that
                achieve "compositions of many components" to
                create complex systems. Examples can be seen in
                the mass production of computer chips to cars,
                where "reuse of components" is fundamental. Reuse
                is possible due to the standardization of the
                "interface" of the different components. However,
                reuse is impossible when manufacturers create
                "incompatible" interfaces. In computer science,
                components and interfaces have played a
                fundamental role. Like conventional engineering
                domains, in computer science also, we see
                parallels: both success stories and difficulties
                in reuse. Successes are almost always related to
                standardized interfaces and associated algorithms
                for reuse and composition. In this talk, I will
                focus on two domains where standardized interfaces
                may be used successfully: System-on-a-Chip (SoC)
                and Service Oriented Computing (SOC). While these
                two domains are diverse and appear to be quite
                separated, I will present a unifying solution that
                fits many problems across both domains. In
                presenting this solution, I will elaborate on
                techniques for component reuse and component
                composition that are based on formal methods. In
                particular, I will rely on simulation relations,
                discrete controller synthesis, and model/module
                checking to solve classical issues in both these
                domains. I will then present some interesting
                reuse and composition case studies.},
      URL = {http://chess.eecs.berkeley.edu/pubs/975.html}
  }
  

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