Citation
Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli. "Let's get physical: computer science meets systems". From Programs to Systems - The Systems Perspective in Computing Workshop, European Joint Conferences on Theory and Practice of Software (ETAPS), 6, April, 2014.

Abstract
In cyber-physical systems (CPS) computing, networking and control (typically regarded as the \cyber" part of the system) are tightly intertwined with mechanical, electrical, thermal, chemical or biological processes (the \physical" part). The increasing sophistication and heterogeneity of these systems requires radical changes in the way sense-and-control platforms are designed to regulate them. In this paper, we highlight some of the design challenges due to the complexity and heterogeneity of CPS. We argue that such challenges can be addressed by leveraging concepts that have been instrumental in fostering electronic design automation while dealing with complexity in VLSI system design. Based on these concepts, we introduce a design methodology whereby platform-based design is combined with assume-guarantee contracts to formalize the design process and enable realization of CPS architectures and control software in a hierarchical and compositional manner. We demonstrate our approach on a prototype design of an aircraft electric power system.

Electronic downloads

• https://www.src.org/library/publication/p069394/. (link to paper on SRC website)
• http://link.springer.com/chapter/10.1007%2F978-3-642-54848-2_13

• HTML

  Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli. <a
  href="http://www.terraswarm.org/pubs/260.html"
  >Let's get physical: computer science meets
  systems</a>, From Programs to Systems - The Systems
  Perspective in Computing Workshop, European Joint
  Conferences on Theory and Practice of Software (ETAPS), 6,
  April, 2014.

• Plain text

  Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli.
  "Let's get physical: computer science meets
  systems". From Programs to Systems - The Systems
  Perspective in Computing Workshop, European Joint
  Conferences on Theory and Practice of Software (ETAPS), 6,
  April, 2014.

• BibTeX

  @inproceedings{NuzzoSangiovanniVincentelli14_LetsGetPhysicalComputerScienceMeetsSystems,
      author = {Pierluigi Nuzzo and Alberto Sangiovanni-Vincentelli},
      title = {Let's get physical: computer science meets systems},
      booktitle = {From Programs to Systems - The Systems Perspective
                in Computing Workshop},
      organization = {European Joint Conferences on Theory and Practice
                of Software (ETAPS)},
      day = {6},
      month = {April},
      year = {2014},
      abstract = {In cyber-physical systems (CPS) computing,
                networking and control (typically regarded as the
                \cyber" part of the system) are tightly
                intertwined with mechanical, electrical, thermal,
                chemical or biological processes (the \physical"
                part). The increasing sophistication and
                heterogeneity of these systems requires radical
                changes in the way sense-and-control platforms are
                designed to regulate them. In this paper, we
                highlight some of the design challenges due to the
                complexity and heterogeneity of CPS. We argue that
                such challenges can be addressed by leveraging
                concepts that have been instrumental in fostering
                electronic design automation while dealing with
                complexity in VLSI system design. Based on these
                concepts, we introduce a design methodology
                whereby platform-based design is combined with
                assume-guarantee contracts to formalize the design
                process and enable realization of CPS
                architectures and control software in a
                hierarchical and compositional manner. We
                demonstrate our approach on a prototype design of
                an aircraft electric power system.},
      URL = {http://terraswarm.org/pubs/260.html}
  }
  

Posted by Barb Hoversten on 11 Feb 2014.
Groups: tools