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 条
  • [21] Model-based Design Tool for Cyber-physical Power Systems using SystemC-AMS
    Bhadani, Rahul
    Banik, Satyaki
    Tu, Hao
    Lukic, Srdjan
    Karsai, Gabor
    PROCEEDINGS THE 6TH WORKSHOP ON DESIGN AUTOMATION FOR CPS AND IOT, DESTION 2024, 2024, : 55 - 61
  • [22] Model Based Testing of Cyber-Physical Systems
    Khoo, Teck Ping
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2018, 2018, 11232 : 423 - 426
  • [23] Model and Tool Integration Platforms for Cyber-Physical System Design
    Sztipanovits, Janos
    Bapty, Ted
    Koutsoukos, Xenofon
    Lattmann, Zsolt
    Neema, Sandeep
    Jackson, Ethan
    PROCEEDINGS OF THE IEEE, 2018, 106 (09) : 1501 - 1526
  • [24] TRUST BASED CYBER-PHYSICAL SYSTEMS NETWORK DESIGN
    Wang, Yan
    PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2018, VOL 1A, 2018,
  • [25] Editorial to the theme section on model-based design of cyber-physical systems
    Manfred Broy
    Heinrich Daembkes
    Janos Sztipanovits
    Software & Systems Modeling, 2019, 18 : 1575 - 1576
  • [26] Functional Model-Based Design Methodology for Automotive Cyber-Physical Systems
    Wan, Jiang
    Canedo, Arquimedes
    Al Faruque, Mohammad Abdullah
    IEEE SYSTEMS JOURNAL, 2017, 11 (04): : 2028 - 2039
  • [27] A Multicore Approach to Model-Based Analysis and Design of Cyber-Physical Systems
    Kanduri, Anil
    Rahmani, Amir-Mohammad
    Liljeberg, Pasi
    Wan, Kaiyu
    Man, Ka Lok
    Plosila, Juha
    2013 INTERNATIONAL SOC DESIGN CONFERENCE (ISOCC), 2013, : 278 - 281
  • [28] Editorial to the theme section on model-based design of cyber-physical systems
    Broy, Manfred
    Daembkes, Heinrich
    Sztipanovits, Janos
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (03): : 1575 - 1576
  • [29] Design and verification of a mobile robot based on the integrated model of cyber-Physical systems
    Levshun, Dmitry
    Chevalier, Yannick
    Kotenko, Igor
    Chechulin, Andrey
    SIMULATION MODELLING PRACTICE AND THEORY, 2020, 105
  • [30] Model-Based Software Integration for Flexible Design of Cyber-Physical Systems
    Ravindran, K.
    COMPUTER AND INFORMATION SCIENCES II, 2012, : 479 - 485