METROII: A Design Environment for Cyber-Physical Systems

被引:47
作者
Davare, Abhijit
Densmore, Douglas [1 ]
Guo, Liangpeng [2 ]
Passerone, Roberto [3 ]
Sangiovanni-Vincentelli, Alberto L. [2 ]
Simalatsar, Alena [4 ]
Zhu, Qi [5 ]
机构
[1] Boston Univ, Boston, MA 02215 USA
[2] Univ Calif Berkeley, Berkeley, CA 94720 USA
[3] Univ Trento, Trento, Italy
[4] Ecole Polytech Fed Lausanne, CH-1015 Lausanne, Switzerland
[5] Univ Calif Riverside, Riverside, CA 92521 USA
关键词
Design; Languages; Theory; Platform-Based Design; Heterogeneous Embedded Systems; Cyber-Physical Systems; Modeling; Multiprocessor; System-on-Chip; REFINEMENT;
D O I
10.1145/2435227.2435245
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Cyber-Physical Systems are integrations of computation and physical processes and as such, will be increasingly relevant to industry and people. The complexity of designing CPS resides in their heterogeneity. Heterogeneity manifest itself in modeling their functionality as well as in the implementation platforms that include a multiplicity of components such as microprocessors, signal processors, peripherals, memories, sensors and actuators often integrated on a single chip or on a small package such as a multi-chip module. We need a methodology, tools and environments where heterogeneity can be dealt with at all levels of abstraction and where different tools can be integrated. We present here Platform-Based Design as the CPS methodology of choice and METROII, a design environment that supports it. We present the metamodeling approach followed in METROII, how to couple the functionality and implementation platforms of CPS, and the simulation technology that supports the analysis of CPS and of their implementation. We also present examples of use and the integration of METROII with another popular design environment developed at Verimag, BIP.
引用
收藏
页数:31
相关论文
共 43 条
[1]  
3rdGeneration Partnership Project, 2004, 23101 TS 3GPP
[2]  
Alexander P., 2006, SYSTEM LEVEL DESIGN
[3]  
[Anonymous], P DES VER C SAN JOS
[4]  
[Anonymous], FDN TRENDS ELECT DES
[5]  
Bakshi A., 2001, P WORKSH LANG COMP T
[6]  
Balarin F, 2005, Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings, P155
[7]   Metropolis: An integrated electronic system design environment [J].
Balarin, F ;
Watanabe, Y ;
Hsieh, H ;
Lavagno, L ;
Passerone, C ;
Sangiovanni-Vincentelli, A .
COMPUTER, 2003, 36 (04) :45-+
[8]  
Balarin F., 1997, HARDWARE SOFTWARE CO
[9]  
BALARIN F., 2002, ADV CONCURRENCY SYST
[10]   Specification, synthesis, and simulation of transactor processes [J].
Balarin, Felice ;
Passerone, Roberto .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2007, 26 (10) :1749-1762