Methodology and Tools for Next Generation Cyber-Physical Systems: The iCyPhy Approach
Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Richard Murray

Citation
Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Richard Murray. "Methodology and Tools for Next Generation Cyber-Physical Systems: The iCyPhy Approach". INCOSE International Symposium (IS2015), 235-249, 13, October, 2015.

Abstract
The realization of complex, cyber-physical "systems of systems" can substantially benefit from model-based hierarchical and compositional methodologies to make their design possible let alone optimal. In this paper, we introduce the methodology being developed within the industrial Cyber-Physical (iCyPhy) research consortium, which addresses the complexity and heterogeneity of cyber-physical systems by formalizing the design process in a hierarchical and compositional way, and provides a unifying framework where different modeling, analysis and synthesis tools can seamlessly interconnect. We use assume-guarantee contracts and their algebra (e.g. composition, conjunction, refinement) to provide formal support to the entire design flow. The design is carried out as a sequence of refinement steps from a high-level specification (top-down phase) to an implementation built out of a library of components at the lower level (bottom-up phase). At each step, the design is refined by combining synthesis from requirements, optimization and simulation-based design space exploration methods. We illustrate our approach on design examples of embedded controllers for aircraft power distribution and air management 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, Richard
  Murray. <a
  href="http://www.terraswarm.org/pubs/536.html"
  >Methodology and Tools for Next Generation Cyber-Physical
  Systems: The iCyPhy Approach</a>, INCOSE International
  Symposium (IS2015), 235-249, 13, October, 2015.

• Plain text

  Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Richard
  Murray. "Methodology and Tools for Next Generation
  Cyber-Physical Systems: The iCyPhy Approach". INCOSE
  International Symposium (IS2015), 235-249, 13, October, 2015.

• BibTeX

  @inproceedings{NuzzoSangiovanniVincentelliMurray15_MethodologyToolsForNextGenerationCyberPhysicalSystems,
      author = {Pierluigi Nuzzo and Alberto
                Sangiovanni-Vincentelli and Richard Murray},
      title = {Methodology and Tools for Next Generation
                Cyber-Physical Systems: The iCyPhy Approach},
      booktitle = {INCOSE International Symposium (IS2015)},
      pages = {235-249},
      day = {13},
      month = {October},
      year = {2015},
      abstract = {The realization of complex, cyber-physical
                "systems of systems" can substantially benefit
                from model-based hierarchical and compositional
                methodologies to make their design possible let
                alone optimal. In this paper, we introduce the
                methodology being developed within the industrial
                Cyber-Physical (iCyPhy) research consortium, which
                addresses the complexity and heterogeneity of
                cyber-physical systems by formalizing the design
                process in a hierarchical and compositional way,
                and provides a unifying framework where different
                modeling, analysis and synthesis tools can
                seamlessly interconnect. We use assume-guarantee
                contracts and their algebra (e.g. composition,
                conjunction, refinement) to provide formal support
                to the entire design flow. The design is carried
                out as a sequence of refinement steps from a
                high-level specification (top-down phase) to an
                implementation built out of a library of
                components at the lower level (bottom-up phase).
                At each step, the design is refined by combining
                synthesis from requirements, optimization and
                simulation-based design space exploration methods.
                We illustrate our approach on design examples of
                embedded controllers for aircraft power
                distribution and air management systems.},
      URL = {http://terraswarm.org/pubs/536.html}
  }
  

Posted by Barb Hoversten on 6 Apr 2015.
Groups: tools