Model-Based Software Integration for Flexible Design of Cyber-Physical Systems

被引:0
|
作者
Ravindran, K. [1 ]
机构
[1] CUNY City Coll, Grad Ctr, New York, NY 10031 USA
关键词
D O I
10.1007/978-1-4471-2155-8_61
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The paper discusses the design of complex embedded systems around intelligent physical worlds (IPW). Here, an IPW is an embodiment of control software functions wrapped around the raw physical processes to perform the core domain-specific adaptation activities. The IPW exhibits an intelligent behavior over a limited operating region of the system in contrast with the traditional models where the physical world is basically dumb. To perform over a wider range of operating conditions, the IPW interacts with an intelligent computational world (ICW) to patch itself with suitable control parameters and rules/procedures relevant in those changed conditions. The modular decomposition of an application into IPW and ICW lowers the overall software complexity of building embedded systems.
引用
收藏
页码:479 / 485
页数:7
相关论文
共 50 条
  • [21] A Tool Prototype for Model-Based Testing of Cyber-Physical Systems
    Aerts, Arend
    Mousavi, Mohammad Reza
    Reniers, Michel
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2015, 2015, 9399 : 563 - 572
  • [22] Managing Heterogeneity in Model-Based Systems Engineering of Cyber-Physical Systems
    Van Acker, Bert
    Denil, Joachim
    Vangheluwe, Hans
    De Meulenaere, Paul
    2015 10TH INTERNATIONAL CONFERENCE ON P2P, PARALLEL, GRID, CLOUD AND INTERNET COMPUTING (3PGCIC), 2015, : 617 - 622
  • [23] A Model-Based Approach to Security Analysis for Cyber-Physical Systems
    Bakirtzis, Georgios
    Carter, Bryan T.
    Elks, Carl R.
    Fleming, Cody H.
    12TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2018), 2018, : 496 - 503
  • [24] Towards a Holistic and Functional Model-Based Design Method for Mechatronic Cyber-Physical Systems
    Hoepfner, Gregor
    Nachmann, Imke
    Zerwas, Thilo
    Berroth, Joerg K.
    Kohl, Jens
    Guist, Christian
    Rumpe, Bernhard
    Jacobs, Georg
    JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, 2023, 23 (05)
  • [25] 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
  • [26] 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
  • [27] A Model-Based Approach for the Design of Cyber-Physical Human Systems Emphasizing Human Concerns
    Kotronis, Christos
    Routis, Ioannis
    Tsadimas, Anargyros
    Nikolaidou, Mara
    Anagnostopoulos, Dimosthenis
    2019 IEEE INTERNATIONAL CONGRESS ON INTERNET OF THINGS (IEEE ICIOT 2019), 2019, : 100 - 107
  • [28] 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
  • [29] Model-based Platform Design and Evaluation of Cloud-based Cyber-Physical Systems (CCPS)
    Dell, Johannes
    Greiner, Thomas
    Rosenstiel, Wolfgang
    2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2014, : 376 - +
  • [30] Model-based Engineering of Cyber-Physical Software Systems for Smart Worlds: A Case Study of Automobile Control Systems
    Ravindran, K.
    Ramesh, S.
    2013 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2013, : 1710 - 1717