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 条
  • [41] Mining parametric temporal logic properties in model-based design for cyber-physical systems
    Hoxha, Bardh
    Dokhanchi, Adel
    Fainekos, Georgios
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (01) : 79 - 93
  • [42] Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems
    Cuckov, Filip
    Rudd, Grant
    Daly, Liam
    10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 401 - 402
  • [43] Learning-based Falsification for Model Families of Cyber-Physical Systems
    Kato, Koki
    Ishikawa, Fuyuki
    2019 IEEE 24TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2019), 2019, : 236 - 245
  • [44] Cyber Security Based on Artificial Intelligence for Cyber-Physical Systems
    Sedjelmaci, Hichem
    Guenab, Fateh
    Senouci, Sidi-Mohammed
    Moustafa, Hassnaa
    Liu, Jiajia
    Han, Shuai
    IEEE NETWORK, 2020, 34 (03): : 6 - 7
  • [45] Cyber-Physical Systems Based Business Models
    Pop, Eugen
    Gifu, Daniela
    Moisescu, Mihnea Alexandru
    PROCEEDINGS OF 2022 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2022), 2022, : 281 - 286
  • [46] Design and Evaluation of Jamming Resilient Cyber-Physical Systems
    Tomic, Ivana
    Breza, Michael J.
    Jackson, Greg
    Bhatia, Laksh
    McCann, Julie A.
    IEEE 2018 INTERNATIONAL CONGRESS ON CYBERMATICS / 2018 IEEE CONFERENCES ON INTERNET OF THINGS, GREEN COMPUTING AND COMMUNICATIONS, CYBER, PHYSICAL AND SOCIAL COMPUTING, SMART DATA, BLOCKCHAIN, COMPUTER AND INFORMATION TECHNOLOGY, 2018, : 687 - 694
  • [47] Pessoa 2.0: A Controller Synthesis Tool for Cyber-Physical Systems
    Roy, Pritam
    Tabuada, Paulo
    Majumdar, Rupak
    HSCC 11: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2011, : 315 - 316
  • [48] Optimal sensor design for secure cyber-physical systems
    Belabbas, Mohamed Ali
    Chen, Xudong
    IFAC PAPERSONLINE, 2019, 52 (20): : 387 - 390
  • [49] Certifiable and Efficient Autonomous Cyber-Physical Systems Design
    Xu, Shengjie
    Hobbs, Clara
    Ghosh, Bineet
    Duggirala, Parasara Sridhar
    Chakraborty, Samarjit
    PROCEEDINGS OF THE 37TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, VLSID 2024 AND 23RD INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, ES 2024, 2024, : 259 - 263
  • [50] A Conceptual Framework for Modeling and Design of Cyber-Physical Systems
    Dumitrache, Ioan
    Sacala, Ioan Stefan
    Moisescu, Mihnea Alexandru
    Caramihai, Simona Iuliana
    STUDIES IN INFORMATICS AND CONTROL, 2017, 26 (03): : 325 - 334