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
来源
FROM PROGRAMS TO SYSTEMS: THE SYSTEMS PERSPECTIVE IN COMPUTING | 2014年 / 8415卷
基金
美国国家科学基金会;
关键词
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 条
  • [1] Design Tool Chain for Cyber-Physical Systems: Lessons Learned
    Sztipanovits, Janos
    Bapty, Ted
    Neema, Sandeep
    Koutsoukos, Xenofon
    Jackson, Ethan
    2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
  • [2] A component-based design approach for energy flexibility in cyber-physical manufacturing systems
    Assad, Fadi
    Rushforth, Emma J.
    Harrison, Robert
    JOURNAL OF INTELLIGENT MANUFACTURING, 2025, 36 (02) : 975 - 1001
  • [3] Component-based design of cyber-physical applications with safety-critical requirements
    Masrur, Alejandro
    Kit, Michal
    Matena, Vladimir
    Bures, Tomas
    Hardt, Wolfram
    MICROPROCESSORS AND MICROSYSTEMS, 2016, 42 : 70 - 86
  • [4] On the Use of Component-Based Principles and Practices for Architecting Cyber-Physical Systems
    Crnkovic, Ivica
    Malavolta, Ivano
    Muccini, Henry
    Sharaf, Mohammad
    PROCEEDINGS 2016 19TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING, 2016, : 23 - 32
  • [5] Component-Based Interactive Framework for Intelligent Transportation Cyber-Physical Systems
    Jeong, Sangsoo
    Baek, Youngmi
    Son, Sang H.
    SENSORS, 2020, 20 (01)
  • [6] Integrating Cyber-Physical Systems in a Component-Based Approach for Smart Homes
    Criado, Javier
    Andres Asensio, Jose
    Padilla, Nicolas
    Iribarne, Luis
    SENSORS, 2018, 18 (07)
  • [7] Utilizing Intervals in Component-based Design of Cyber Physical Systems
    Peter, Steffen
    Givargis, Tony
    2013 IEEE 16TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2013), 2013, : 635 - 642
  • [8] Component-based Timing Analysis for Embedded Software Components in Cyber-Physical Systems
    Li, Haoxuan
    Vanherpen, Ken
    Hellinckx, Peter
    Mercelis, Siegfried
    De Meulenaere, Paul
    2020 9TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING (MECO), 2020, : 173 - 180
  • [9] A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems
    Dung Phan
    Yang, Junxing
    Clark, Matthew
    Grosu, Radu
    Schierman, John
    Smolka, Scott
    Stoller, Scott
    2017 17TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2017, : 49 - 58
  • [10] A Model-Based Design Methodology for Cyber-Physical Systems
    Jensen, Jeff C.
    Chang, Danica H.
    Lee, Edward A.
    2011 7TH INTERNATIONAL WIRELESS COMMUNICATIONS AND MOBILE COMPUTING CONFERENCE (IWCMC), 2011, : 1666 - 1671