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 条
  • [41] Ontology-Based Security Tool for Critical Cyber-Physical Systems
    Shaaban, Abdelkader Magdy
    Gruber, Thomas
    Schmittner, Christoph
    23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE(SPLC 2019), VOL B, 2019, : 207 - 210
  • [42] A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems
    Larsen, Peter Gorm
    Macedo, Hugo Daniel
    Fitzgerald, John
    Pfeifer, Holger
    Benedikt, Martin
    Tonetta, Stefano
    Marguglio, Angelo
    Gusmeroli, Sergio
    Suciu, George, Jr.
    SIMULTECH: PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS, 2020, : 263 - 270
  • [43] A Case Study on the Model-Based Design and Integration of Automotive Cyber-Physical Systems
    Shang, Di
    Eyisi, Emeka
    Zhang, Zhenkai
    Koutsoukos, Xenofon
    Porter, Joseph
    Karsai, Gabor
    Sztipanovits, Janos
    2013 21ST MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2013, : 483 - 492
  • [44] Model-based Design and Testing of Decisional Autonomy and Cooperation in Cyber-physical Systems
    Saglietti, Francesca
    Foehrweiser, David
    Winzinger, Stefan
    Lill, Raimar
    PROCEEDINGS 41ST EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS SEAA 2015, 2015, : 479 - 483
  • [45] Scalable and efficiant digital twins for model-based design of cyber-physical systems
    Cimino, Chiara
    Terraneo, Federico
    Ferretti, Gianni
    Leva, Alberto
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2024, 37 (10-11) : 1232 - 1251
  • [46] Interface Design in Cyber-Physical Systems-of-Systems
    Froemel, Bernhard
    2016 11TH SYSTEMS OF SYSTEM ENGINEERING CONFERENCE (SOSE), IEEE, 2016,
  • [47] METROII: A Design Environment for Cyber-Physical Systems
    Davare, Abhijit
    Densmore, Douglas
    Guo, Liangpeng
    Passerone, Roberto
    Sangiovanni-Vincentelli, Alberto L.
    Simalatsar, Alena
    Zhu, Qi
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12
  • [48] Cyber-physical Production Systems' Design Challenges
    Ribeiro, Luis
    2017 IEEE 26TH INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), 2017, : 1189 - 1194
  • [49] CYBER-PHYSICAL SYSTEMS ENGINEERING: MODEL-BASED SOLUTIONS
    Garro, Alfredo
    Vaccaro, Vittorio
    Dutre, Stefan
    Stegen, Jef
    PROCEEDINGS OF THE 2019 SUMMER SIMULATION CONFERENCE (SUMMERSIM '19), 2019,
  • [50] Model Checking Actor-based Cyber-Physical Systems
    Cicirelli, Franco
    Nigro, Libero
    PROCEEDINGS OF THE 2020 IEEE/ACM 24TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), 2020, : 107 - 114