OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems

被引:0
|
作者
Sztipanovits, Janos [1 ]
Bapty, Ted [1 ]
Neema, Sandeep [1 ]
Howard, Larry [1 ]
Jackson, Ethan [2 ]
机构
[1] Vanderbilt Univ, Inst Software Integrated Syst, 1025 16th Ave S,Suite 102, Nashville, TN 37212 USA
[2] Microsoft Res One Microsoft Way, Redmond, WA 98052 USA
基金
美国国家科学基金会;
关键词
Model-Based Design; Component-Based Design; Cyber Physical Systems; Design Automation; Model-Integrated Computing; Domain-Specific Modeling Language; Model Integration Language; LEVEL; LOGIC;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Model- and component-based design have yielded dramatic increase in design productivity in several narrowly focused homogeneous domains, such as signal processing, control and aspects of electronic design. However, significant impact on the design and manufacturing of complex cyber-physical systems (CPS) such as vehicles has not yet been achieved. This paper describes challenges of and solution approaches to building a comprehensive design tool suite for complex CPS. The primary driver for the OpenMETA tool chain was to push the boundaries of the "correct-by-construction"principle to decrease significantly the costly design-build-test-redesign cycles in design flows. In the discussions we will focus on the impact of heterogeneity in modeling CPS. This challenge is compounded by the need for rapidly evolving the design flow by changing/updating the selection of modeling languages, analysis and verification tools and synthesis methods. Based on our experience with the development of OpenMETA and with the evaluation of its performance in a complex CPS design challenge we argue that the current vertically integrated, disciplinespecific tool chains for CPS design need to be complemented with horizontal integration layers that support model integration, tool integration and design process integration. This paper will examine the OpenMETA technical approach to construct the new integration layers, provides and overview of the technical framework we established for their implementation and summarize our experience with their application.
引用
收藏
页码:235 / +
页数:4
相关论文
共 50 条
  • [31] Design Automation for Cyber-Physical Systems
    Zhu, Qi
    Sangiovanni-Vincentelli, Alberto
    Hu, Shiyan
    Li, Xin
    PROCEEDINGS OF THE IEEE, 2018, 106 (09) : 1479 - 1483
  • [32] Design and Analysis of Cyber-Physical Systems
    Plakhotnikov, Dmitriy P.
    Kotova, Elena E.
    PROCEEDINGS OF THE 2021 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (ELCONRUS), 2021, : 589 - 593
  • [33] Rigorous Design of Cyber-physical Systems
    Sifakis, Joseph
    2012 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS (SAMOS): ARCHITECTURES, MODELING AND SIMULATION, 2012, : 319 - 319
  • [34] Visualization tool for cyber-physical maintenance systems
    Penna, Rafael
    Amaral, Marcos
    Espndola, Danubia
    Botelho, Silvia
    Duarte, Nelson
    Pereira, Carlos E.
    Zuccolotto, Marcos
    Frazzon, Enzo Morosini
    2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2014, : 566 - +
  • [35] The Integrated Model of Secure Cyber-Physical Systems for Their Design and Verification
    Levshun, Dmitry
    Kotenko, Igor
    Chechulin, Andrey
    INTELLIGENT DISTRIBUTED COMPUTING XIII, 2020, 868 : 333 - 343
  • [36] Cyber-Physical Systems in Logistics and Supply Chain
    Suarez-Riveros, Erika
    Mejia-Mantilla, Alvaro
    Jaimes-Suarez, Sonia
    Jimenez, Jose-Fernando
    SERVICE ORIENTED, HOLONIC AND MULTI-AGENT MANUFACTURING SYSTEMS FOR INDUSTRY OF THE FUTURE, SOHOMA LATIN AMERICA 2021, 2021, 987 : 260 - 271
  • [37] Design and validation of Cyber-Physical Systems through model abstraction
    Modeer, Marina Rantanen
    Engell, Sebastian
    2019 5TH IEEE INTERNATIONAL SYMPOSIUM ON SYSTEMS ENGINEERING (IEEE ISSE 2019), 2019,
  • [38] Component Ensemble-based UML/MARTE Extensions for the Design of Dynamic Cyber-Physical Systems
    Fredj, Nissaf
    Kacem, Yessine Hadj
    Kanoun, Olfa
    Abid, Mohamed
    PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2021, : 158 - 166
  • [39] A Model for Signatories in Cyber-Physical Systems
    Sudarsan, Sreelakshmi Vattaparambil
    Schelen, Olov
    Bodin, Ulf
    2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2020, : 15 - 21
  • [40] Enabling Component Reuse in Model-based System Engineering of Cyber-Physical Production Systems
    Spellini, Stefano
    Gaiardelli, Sebastiano
    Lora, Michele
    Fummi, Franco
    2021 26TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2021,