TY - GEN
T1 - Metronomy
T2 - 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014
AU - Guo, Liangpeng
AU - Zhu, Qi
AU - Nuzzo, Pierluigi
AU - Passerone, Roberto
AU - Sangiovanni-Vincentelli, Alberto
AU - Lee, Edward A.
N1 - Copyright:
Copyright 2014 Elsevier B.V., All rights reserved.
PY - 2014/10/12
Y1 - 2014/10/12
N2 - 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.
AB - 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.
KW - Co-simulation
KW - Cyber-physical system
KW - Timing
UR - http://www.scopus.com/inward/record.url?scp=84910667200&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84910667200&partnerID=8YFLogxK
U2 - 10.1145/2656075.2656093
DO - 10.1145/2656075.2656093
M3 - Conference contribution
AN - SCOPUS:84910667200
T3 - 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014
BT - 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014
PB - Association for Computing Machinery, Inc
Y2 - 12 October 2014 through 17 October 2014
ER -