TerraSwarm 2015 Annual Meeting: Theme 2: Methodologies, Models and Tools
Alberto Sangiovanni-Vincentelli, Sanjit Seshia

Citation
Alberto Sangiovanni-Vincentelli, Sanjit Seshia. "TerraSwarm 2015 Annual Meeting: Theme 2: Methodologies, Models and Tools". Talk or presentation, 14, October, 2015; Presented at the 2015 TerraSwarm Annual Meeting.

Abstract
The complexity of TerraSwarm systems and their safety requirements pose significant challenges for the design of sensing, control, and actuation infrastructures, as well as for application development and deployment. These challenges are compounded by the requirement for on-line adaptation and reconfiguration. TerraSwarm applications need to adapt to the disappearance of resources, recruit useful resources that appear, and adapt services dynamically as part of a utility-driven optimization. There will be less of a distinction between "design time" and "run time," so design techniques, tools, algorithms, and flows must themselves become services that can be recruited online. This is a far bigger challenge than has been previously addressed in the design technology community. One key consequence is that design techniques must be formal and rigorous, or they will not be reliable for on-the-fly reconfiguration, in which there is no opportunity for extensive testing prior to deployment

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

  Alberto Sangiovanni-Vincentelli, Sanjit Seshia. <a
  href="http://www.terraswarm.org/pubs/638.html"><i>TerraSwarm
  2015 Annual Meeting: Theme 2: Methodologies, Models and
  Tools</i></a>, Talk or presentation,  14,
  October, 2015; Presented at the <a
  href="http://terraswarm.org/conferences/15/annual"
  >2015 TerraSwarm Annual Meeting</a>.

• Plain text

  Alberto Sangiovanni-Vincentelli, Sanjit Seshia.
  "TerraSwarm 2015 Annual Meeting: Theme 2:
  Methodologies, Models and Tools". Talk or presentation,
   14, October, 2015; Presented at the <a
  href="http://terraswarm.org/conferences/15/annual"
  >2015 TerraSwarm Annual Meeting</a>.

• BibTeX

  @presentation{SangiovanniVincentelliSeshia15_TerraSwarm2015AnnualMeetingTheme2MethodologiesModels,
      author = {Alberto Sangiovanni-Vincentelli and Sanjit Seshia},
      title = {TerraSwarm 2015 Annual Meeting: Theme 2:
                Methodologies, Models and Tools},
      day = {14},
      month = {October},
      year = {2015},
      note = {Presented at the <a
                href="http://terraswarm.org/conferences/15/annual"
                >2015 TerraSwarm Annual Meeting</a>.},
      abstract = {The complexity of TerraSwarm systems and their
                safety requirements pose significant challenges
                for the design of sensing, control, and actuation
                infrastructures, as well as for application
                development and deployment. These challenges are
                compounded by the requirement for on-line
                adaptation and reconfiguration. TerraSwarm
                applications need to adapt to the disappearance of
                resources, recruit useful resources that appear,
                and adapt services dynamically as part of a
                utility-driven optimization. There will be less of
                a distinction between "design time" and "run
                time," so design techniques, tools, algorithms,
                and flows must themselves become services that can
                be recruited online. This is a far bigger
                challenge than has been previously addressed in
                the design technology community. One key
                consequence is that design techniques must be
                formal and rigorous, or they will not be reliable
                for on-the-fly reconfiguration, in which there is
                no opportunity for extensive testing prior to
                deployment },
      URL = {http://terraswarm.org/pubs/638.html}
  }
  

Posted by Christopher Brooks on 5 Oct 2015.
Groups: tools