Adaptive Contracts for the Internet of Things
Antonio Iannopollo, Marten Lohstroh, Alberto Sangiovanni-Vincentelli, Edward A. Lee

Citation
Antonio Iannopollo, Marten Lohstroh, Alberto Sangiovanni-Vincentelli, Edward A. Lee. "Adaptive Contracts for the Internet of Things". Talk or presentation, 6, May, 2016.

Abstract
Well-vetted methodologies that over the past several decades have proven quite effective in semiconductor design and have been a determining factor in the upholding of Moore's Law, break down in the face of the continuously and rapidly evolving character of the Internet of Things. The IoT is envisioned to be a widely distributed, interconnected, and heterogeneous system of systems that is able to operate in hostile, unpredictable conditions. Vast heterogeneity, ever-changing environment assumptions, and the inability to pin down the utility of a component exclusively at design time pose significant challenges to achieving this goal. In this talk, we introduce the idea of "adaptive contracts," which cast run-time dynamic re-configuration and re-purposing into a formal framework, providing the first steps toward a disciplined design methodology for the IoT.

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Antonio Iannopollo, Marten Lohstroh, Alberto
  Sangiovanni-Vincentelli, Edward A. Lee. <a
  href="http://www.terraswarm.org/pubs/789.html"
  ><i>Adaptive Contracts for the Internet of
  Things</i></a>, Talk or presentation,  6, May,
  2016.

• Plain text

  Antonio Iannopollo, Marten Lohstroh, Alberto
  Sangiovanni-Vincentelli, Edward A. Lee. "Adaptive
  Contracts for the Internet of Things". Talk or
  presentation,  6, May, 2016.

• BibTeX

  @presentation{IannopolloLohstrohSangiovanniVincentelliLee16_AdaptiveContractsForInternetOfThings,
      author = {Antonio Iannopollo and Marten Lohstroh and Alberto
                Sangiovanni-Vincentelli and Edward A. Lee},
      title = {Adaptive Contracts for the Internet of Things},
      day = {6},
      month = {May},
      year = {2016},
      abstract = {Well-vetted methodologies that over the past
                several decades have proven quite effective in
                semiconductor design and have been a determining
                factor in the upholding of Moore's Law, break down
                in the face of the continuously and rapidly
                evolving character of the Internet of Things. The
                IoT is envisioned to be a widely distributed,
                interconnected, and heterogeneous system of
                systems that is able to operate in hostile,
                unpredictable conditions. Vast heterogeneity,
                ever-changing environment assumptions, and the
                inability to pin down the utility of a component
                exclusively at design time pose significant
                challenges to achieving this goal. In this talk,
                we introduce the idea of "adaptive contracts,"
                which cast run-time dynamic re-configuration and
                re-purposing into a formal framework, providing
                the first steps toward a disciplined design
                methodology for the IoT.},
      URL = {http://terraswarm.org/pubs/789.html}
  }
  

Posted by Marten Lohstroh on 9 May 2016.
Groups: tools