METROII: A Design Environment for Cyber-Physical Systems

被引:46
|
作者
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
相关论文
共 50 条
  • [1] Environment-Centric Contracts for Design of Cyber-Physical Systems
    Westman, Jonas
    Nyberg, Mattias
    [J]. MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2014, 2014, 8767 : 218 - 234
  • [2] Cyber-Physical Systems and the Built Environment
    Shelden D.
    [J]. Technology Architecture and Design, 2018, 2 (02): : 137 - 139
  • [3] Design Automation for Cyber-Physical Systems
    Zhu, Qi
    Sangiovanni-Vincentelli, Alberto
    Hu, Shiyan
    Li, Xin
    [J]. PROCEEDINGS OF THE IEEE, 2018, 106 (09) : 1479 - 1483
  • [4] Design and Analysis of Cyber-Physical Systems
    Plakhotnikov, Dmitriy P.
    Kotova, Elena E.
    [J]. PROCEEDINGS OF THE 2021 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (ELCONRUS), 2021, : 589 - 593
  • [5] Rigorous Design of Cyber-physical Systems
    Sifakis, Joseph
    [J]. 2012 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS (SAMOS): ARCHITECTURES, MODELING AND SIMULATION, 2012, : 319 - 319
  • [6] Interface Design in Cyber-Physical Systems-of-Systems
    Froemel, Bernhard
    [J]. 2016 11TH SYSTEMS OF SYSTEM ENGINEERING CONFERENCE (SOSE), IEEE, 2016,
  • [7] Cyber-physical Production Systems' Design Challenges
    Ribeiro, Luis
    [J]. 2017 IEEE 26TH INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), 2017, : 1189 - 1194
  • [8] Control Protocols Design for Cyber-Physical Systems
    Cai, Yi
    Qi, Deyu
    [J]. 2015 IEEE ADVANCED INFORMATION TECHNOLOGY, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (IAEAC), 2015, : 668 - 671
  • [9] Cyber-Physical Systems Design Using Dissipativity
    Antsaklis, Panos J.
    McCourt, Michael J.
    Yu, Han
    Wu, Po
    Zhu, Feng
    [J]. PROCEEDINGS OF THE 31ST CHINESE CONTROL CONFERENCE, 2012, : 1 - 5
  • [10] Challenges in Automotive Cyber-physical Systems Design
    Goswami, Dip
    Schneider, Reinhard
    Masrur, Alejandro
    Lukasiewycz, Martin
    Chakraborty, Samarjit
    Voit, Harald
    Annaswamy, Anuradha
    [J]. 2012 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS (SAMOS): ARCHITECTURES, MODELING AND SIMULATION, 2012, : 346 - 354