Title | ||
---|---|---|
Metronomy: a function-architecture co-simulation framework for timing verification of cyber-physical systems |
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 co-simulation 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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1145/2656075.2656093 | CODES+ISSS |
Keywords | Field | DocType |
model validation and analysis,ptolemy,abstraction levels,design,metronomy,co-simulation,metroii environment,cyber-physical system,electrical power system,timing verification,cyber-physical systems,formal models,timing,paper-feed subsystem,design space exploration,software architecture,function-architecture cosimulation framework,systems analysis,computer-aided design,formal verification,system analysis,printing press,cyber physical system | Architecture,Functional verification,Computer science,Real-time computing,Exploit,Cyber-physical system,Model of computation,Systems modeling,Co-simulation,Design space exploration | Conference |
Citations | PageRank | References |
8 | 0.54 | 13 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Liangpeng Guo | 1 | 73 | 4.96 |
Qi Zhu | 2 | 727 | 60.59 |
Pierluigi Nuzzo | 3 | 90 | 11.00 |
Roberto Passerone | 4 | 855 | 71.43 |
Alberto L. Sangiovanni-Vincentelli | 5 | 11385 | 1881.40 |
Edward A. Lee | 6 | 246 | 32.51 |