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 条
  • [31] Towards a Science of Cyber-Physical Systems Design
    Bogdan, Paul
    Marculescu, Radu
    2011 ACM/IEEE SECOND INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2011), 2011, : 99 - 108
  • [32] Using UML for Learning How to Design and Model Cyber-Physical Systems
    Ordinez, Leo
    Eggly, Gabriel
    Micheletto, Matias
    Santos, Rodrigo
    IEEE REVISTA IBEROAMERICANA DE TECNOLOGIAS DEL APRENDIZAJE-IEEE RITA, 2020, 15 (01): : 50 - 60
  • [33] A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems
    Dziwok, Stefan
    Gerking, Christopher
    Becker, Steffen
    Thiele, Sebastian
    Heinzemann, Christian
    Pohlmann, Uwe
    22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014), 2014, : 715 - 718
  • [34] Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities
    Seshia, Sanjit A.
    Hu, Shiyan
    Li, Wenchao
    Zhu, Qi
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2017, 36 (09) : 1421 - 1434
  • [35] Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
    Gerking, Christopher
    Schubert, David
    2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA), 2019, : 61 - 70
  • [36] Model Conformance for Cyber-Physical Systems: A Survey
    Roehm, Hendrik
    Oehlerking, Jens
    Woehrle, Matthias
    Althoff, Matthias
    ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 2019, 3 (03)
  • [37] Model Checking Cyber-Physical Energy Systems
    Driouich, Youssef
    Parente, Mimmo
    Tronci, Enrico
    PROCEEDINGS OF 2017 INTERNATIONAL RENEWABLE & SUSTAINABLE ENERGY CONFERENCE (IRSEC' 17), 2017, : 635 - 640
  • [38] Enabling Model Testing of Cyber-Physical Systems
    Gonzalez, Carlos A.
    Varmazyar, Mojtaba
    Nejati, Shiva
    Briand, Lionel C.
    Isasi, Yago
    21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2018), 2018, : 176 - 186
  • [39] Design Lifecycle for Secure Cyber-Physical Systems based on Embedded Devices
    Levshun, Dmitry
    Chechulin, Andrey
    Kotenko, Igor
    PROCEEDINGS OF THE 2017 9TH IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS (IDAACS), VOL 1, 2017, : 277 - 282
  • [40] Mining parametric temporal logic properties in model-based design for cyber-physical systems
    Bardh Hoxha
    Adel Dokhanchi
    Georgios Fainekos
    International Journal on Software Tools for Technology Transfer, 2018, 20 : 79 - 93