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 条
  • [1] 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
  • [2] Behavioral Types for Component-Based Development of Cyber-Physical Systems
    Blech, Jan Olaf
    Herrmann, Peter
    SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, 9509 : 43 - 52
  • [3] 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,
  • [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] Integrated Tool Chain for Model-based Design of Cyber-Physical Systems: The INTO-CPS Project
    Larsen, Peter Gorm
    Fitzgerald, John
    Woodcock, Jim
    Fritzson, Peter
    Brauer, Joerg
    Kleijn, Christian
    Lecomte, Thierry
    Pfeil, Markus
    Green, Ole
    Basagiannis, Stylianos
    Sadovykh, Andrey
    2016 2ND INTERNATIONAL WORKSHOP ON MODELLING, ANALYSIS, AND CONTROL OF COMPLEX CPS (CPS DATA), 2016,
  • [9] Towards Component-Based Design of Safety-Critical Cyber-Physical Applications
    Masrur, Alejandro
    Kit, Michal
    Bures, Tomas
    Hardt, Wolfram
    2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2014, : 254 - 261
  • [10] 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