Compositional Design of Cyber-Physical Systems Using Contracts
Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli

Citation
Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli. "Compositional Design of Cyber-Physical Systems Using Contracts". Talk or presentation, October, 2015; Poster presented at the 2015 TerraSwarm Annual Meeting.

Abstract
We introduce a platform-based design methodology that addresses the complexity and heterogeneity of Cyber-Physical Systems (CPS) by leveraging assume-guarantee contracts to formalize the design process and enable hierarchical and compositional techniques. The design proceeds as a sequence of refinement steps from an initial specification to a final implementation, including synthesis from requirements and mapping of higher-level models into a set of candidate solutions built out of a library of components at the lower level. We illustrate our approach on the design of aircraft electric power distribution and environmental control systems.

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

  Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli. <a
  href="http://www.terraswarm.org/pubs/674.html"><i>Compositional
  Design of Cyber-Physical Systems Using
  Contracts</i></a>, Talk or presentation, 
  October, 2015; Poster presented at the <a
  href="http://terraswarm.org/conferences/15/annual"
  >2015 TerraSwarm Annual Meeting</a>.

• Plain text

  Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli.
  "Compositional Design of Cyber-Physical Systems Using
  Contracts". Talk or presentation,  October, 2015;
  Poster presented at the <a
  href="http://terraswarm.org/conferences/15/annual"
  >2015 TerraSwarm Annual Meeting</a>.

• BibTeX

  @presentation{NuzzoSangiovanniVincentelli15_CompositionalDesignOfCyberPhysicalSystemsUsingContracts,
      author = {Pierluigi Nuzzo and Alberto Sangiovanni-Vincentelli},
      title = {Compositional Design of Cyber-Physical Systems
                Using Contracts},
      month = {October},
      year = {2015},
      note = {Poster presented at the <a
                href="http://terraswarm.org/conferences/15/annual"
                >2015 TerraSwarm Annual Meeting</a>},
      abstract = {We introduce a platform-based design methodology
                that addresses the complexity and heterogeneity of
                Cyber-Physical Systems (CPS) by leveraging
                assume-guarantee contracts to formalize the design
                process and enable hierarchical and compositional
                techniques. The design proceeds as a sequence of
                refinement steps from an initial specification to
                a final implementation, including synthesis from
                requirements and mapping of higher-level models
                into a set of candidate solutions built out of a
                library of components at the lower level. We
                illustrate our approach on the design of aircraft
                electric power distribution and environmental
                control systems.},
      URL = {http://terraswarm.org/pubs/674.html}
  }
  

Posted by Pierluigi Nuzzo on 14 Oct 2015.
Groups: tools