Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems

Liangpeng Guo*, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto Sangiovanni-Vincentelli, Edward A. Lee

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Scopus citations

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.

Original languageEnglish (US)
Title of host publication2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014
PublisherAssociation for Computing Machinery, Inc
ISBN (Electronic)9781450330510
DOIs
StatePublished - Oct 12 2014
Event2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014 - New Delhi, India
Duration: Oct 12 2014Oct 17 2014

Publication series

Name2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014

Other

Other2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014
CountryIndia
CityNew Delhi
Period10/12/1410/17/14

Keywords

  • Co-simulation
  • Cyber-physical system
  • Timing

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems'. Together they form a unique fingerprint.

Cite this