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

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.