Citation
Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto Sangiovanni-Vincentelli, Edward A. Lee. "Metronomy: A Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems". International Conference on Hardware/Software Codesign and System Synthesis, 12, October, 2014.

Abstract
As the design complexity of cyber-physical systems continues to grow, modeling the system at higher abstraction levels with formal models of computation is increasingly appealing since it enables early design verification and analysis. One of the most important aspects in system modeling and analysis is timing. However, it is very challenging to analyze and verify timing at the early design stages, as the design representation is quite abstract and trade-offs have to be made between the performance requirements defined in terms of system functionality and the cost of the feasible architecture that can implement the functionality. In this paper, we present Metronomy, a function-architecture cosimulation framework that integrates functional modeling from Ptolemy and architectural modeling from the MetroII environment via a mapping interface. Metronomy exploits contract theory for timing verification and design space exploration via co-simulation. Two case studies on an electrical power system and a paper-feed sub-system for a high speed printing press demonstrate the effectiveness of our approach.

Electronic downloads

• https://www.src.org/library/publication/p071160/. (Link to paper on SRC website.)
• http://dx.doi.org/10.1145/2656075.2656093
• 178-CO59-Metronomy-final.pdf · application/pdf · 2689 kbytes. ("Camera Ready" version)
• http://escholarship.org/uc/item/6927f1jf. (Link to eScholarship site)

• HTML

  Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone,
  Alberto Sangiovanni-Vincentelli, Edward A. Lee. <a
  href="http://www.terraswarm.org/pubs/341.html"
  >Metronomy: A Function-Architecture Co-simulation
  Framework for Timing Verification of Cyber-Physical
  Systems</a>, International Conference on
  Hardware/Software Codesign and System Synthesis, 12,
  October, 2014.

• Plain text

  Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone,
  Alberto Sangiovanni-Vincentelli, Edward A. Lee.
  "Metronomy: A Function-Architecture Co-simulation
  Framework for Timing Verification of Cyber-Physical
  Systems". International Conference on Hardware/Software
  Codesign and System Synthesis, 12, October, 2014.

• BibTeX

  @inproceedings{GuoZhuNuzzoPasseroneSangiovanniVincentelliLee14_MetronomyFunctionArchitectureCosimulationFramework,
      author = {Liangpeng Guo and Qi Zhu and Pierluigi Nuzzo and
                Roberto Passerone and Alberto
                Sangiovanni-Vincentelli and Edward A. Lee},
      title = {Metronomy: A Function-Architecture Co-simulation
                Framework for Timing Verification of
                Cyber-Physical Systems},
      booktitle = {International Conference on Hardware/Software
                Codesign and System Synthesis},
      day = {12},
      month = {October},
      year = {2014},
      abstract = {As the design complexity of cyber-physical systems
                continues to grow, modeling the system at higher
                abstraction levels with formal models of
                computation is increasingly appealing since it
                enables early design verification and analysis.
                One of the most important aspects in system
                modeling and analysis is timing. However, it is
                very challenging to analyze and verify timing at
                the early design stages, as the design
                representation is quite abstract and trade-offs
                have to be made between the performance
                requirements defined in terms of system
                functionality and the cost of the feasible
                architecture that can implement the functionality.
                In this paper, we present Metronomy, a
                function-architecture cosimulation framework that
                integrates functional modeling from Ptolemy and
                architectural modeling from the MetroII
                environment via a mapping interface. Metronomy
                exploits contract theory for timing verification
                and design space exploration via co-simulation.
                Two case studies on an electrical power system and
                a paper-feed sub-system for a high speed printing
                press demonstrate the effectiveness of our
                approach.},
      URL = {http://terraswarm.org/pubs/341.html}
  }
  

Posted by Barb Hoversten on 4 Aug 2014.
Groups: tools