Applications of model-driven engineering in cyber-physical systems: A systematic mapping study

Abstract Engineers face significant challenges in developing cyber-physical systems (CPS) due to their heterogeneous nature, i.e. the need for knowledge and skills from a wide range of academic and industrial disciplines, the integration of the artifacts of these disciplines and fields, and the difficulty of maintaining such heterogeneous artifacts should be taken into account. The development of CPS mostly needs a unified methodology that permits efficient raise of the abstraction level to overcome issues of heterogeneity induced by the multidisciplinary nature of the system. Model-driven engineering (MDE) is believed to be an alternative solution to overcome the challenges faced while developing CPS. This paper presents a systematic mapping study on using the MDE paradigm in CPS development and management. 140 research papers published during the period 2010 – 2018 are evaluated. The study mainly enables to find out the followed approaches when applying MDE for CPS, addressed CPS challenges, application domains and presented case studies. Results showed that the number of publications in this field is continuously increasing in recent years. Results also showed that metamodeling and model-based approaches are mostly adopted by the researchers affiliated to Europe, while DSL-based approach is adopted mostly by USA affiliated researchers. Only 45% of the studies consider a specific CPS application domain in which Smart Manufacturing is the most addressed domain followed by Critical Infrastructure, Health Care and Medicine. Moreover, the majority of the studies present case studies as the main evaluation method for the proposed MDE solutions. Conducting empirical evaluations is mostly missing. The results also revealed that various CPS challenges are addressed, and the most addressed ones are the complexity and interoperability aspects of CPS. Reporting on what previous researches have accomplished, as well as current research efforts and open challenges related to this field can guide researchers and developers in their further work on CPS design and implementation.

[1]  B. Li,et al.  Prostaglandin D2 induces heme oxygenase-1 in human retinal pigment epithelial cells. , 2008, Biochemical and biophysical research communications.

[2]  Valeriy Vyatkin,et al.  Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems , 2015, 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).

[3]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[4]  Peter O. Denno,et al.  Virtual Design and Verification of Cyber-physical Systems: Industrial Process Plant Design , 2014, CSER.

[5]  Kun Zhang,et al.  A Closed-loop Model-based Design Approach based on Automatic Verification and Transformation , 2014, DSM '14.

[6]  Joseph Sifakis,et al.  Composition for component-based modeling , 2005, Sci. Comput. Program..

[7]  Guilherme Horta Travassos,et al.  Scientific research ontology to support systematic review in software engineering , 2007, Adv. Eng. Informatics.

[8]  Marilyn Wolf,et al.  Model-Driven Performance Analysis of Large Scale Irrigation Networks , 2012, 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.

[9]  Wolfgang Rosenstiel,et al.  Model-based platform design and evaluation of cloud-based cyber-physical systems (CCPS) , 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).

[10]  Geylani Kardas,et al.  DSML4DT: A domain-specific modeling language for device tree software , 2020, Comput. Ind..

[11]  Wenhua Wang,et al.  Improve the Localization Dependability for Cyber-Physical Applications , 2019, ACM Trans. Cyber Phys. Syst..

[12]  Janos Sztipanovits,et al.  Towards a Design Studio for Collaborative Modeling and Co-Simulations of Mixed Electrical Energy Systems , 2018, 2018 IEEE International Science of Smart City Operations and Platforms Engineering in Partnership with Global City Teams Challenge (SCOPE-GCTC).

[13]  Birgit Vogel-Heuser,et al.  Model-Driven Engineering and Semantic Technologies for the Design of Cyber-Physical Systems , 2013 .

[14]  Elaheh Azadi Marand,et al.  DSML4CP: A Domain-specific Modeling Language for Concurrent Programming , 2015, Comput. Lang. Syst. Struct..

[15]  Claes Wohlin,et al.  Guidelines for snowballing in systematic literature studies and a replication in software engineering , 2014, EASE '14.

[16]  Martin Fowler,et al.  Domain-Specific Languages , 2010, The Addison-Wesley signature series.

[17]  Franco Cicirelli,et al.  A meta-model framework for the design and analysis of smart cyber-physical environments , 2016, 2016 IEEE 20th International Conference on Computer Supported Cooperative Work in Design (CSCWD).

[18]  Andrea Bettoni,et al.  Interoperable meta model for simulation-in-the-loop , 2018, 2018 IEEE Industrial Cyber-Physical Systems (ICPS).

[19]  Cesare Fantuzzi,et al.  Design of cyber-physical systems: Definition and metamodel for reusable resources , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[20]  Michael Walch,et al.  Knowledge-driven enrichment of cyber-physical systems for industrial applications using the KbR modelling approach , 2017, 2017 IEEE International Conference on Agents (ICA).

[21]  Xingshe Zhou,et al.  An Approach for Safety Analysis of Cyber-Physical System Based on Model Transformation , 2016, 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData).

[22]  Xiaowei Li,et al.  Integrated simulation and emulation platform for cyber-physical system security experimentation , 2012, HiCoNS '12.

[23]  Lui Sha,et al.  Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study , 2017, 2017 IEEE 30th International Symposium on Computer-Based Medical Systems (CBMS).

[24]  Fernando Pereira,et al.  The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development , 2016, IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society.

[25]  Franco Cicirelli,et al.  A Metamodel Framework for Edge-Based Smart Environments , 2018, 2018 IEEE International Conference on Cloud Engineering (IC2E).

[26]  Henning Trsek,et al.  Application of an intelligent network architecture on a cooperative cyber-physical system: An experience report , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[27]  Ivica Crnkovic,et al.  Architectural Decisions for HW/SW Partitioning Based on Multiple Extra-Functional Properties , 2014, 2014 IEEE/IFIP Conference on Software Architecture.

[28]  Vasileios Koutsoumpas A Model-Based Approach for the Specification of a Virtual Power Plant Operating in Open Context , 2015, 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems.

[29]  Lichen Zhang,et al.  A framework to specify big data driven complex cyber physical control systems , 2014, 2014 IEEE International Conference on Information and Automation (ICIA).

[30]  Bixin Li,et al.  Verifying CPS for Self-Adaptability , 2018, 2018 IEEE/ACIS 17th International Conference on Computer and Information Science (ICIS).

[31]  Florian Niebling,et al.  Modelling complex and flexible processes for smart cyber-physical environments , 2013, J. Comput. Sci..

[32]  Benoît Combemale,et al.  Weaving concurrency in executable domain-specific modeling languages , 2015, SLE.

[33]  William H. Sanders,et al.  Developing Models for Physical Attacks in Cyber-Physical Systems , 2017, CPS-SPC@CCS.

[34]  Ping Huang,et al.  Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL , 2018, 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).

[35]  Georgios Bakirtzis,et al.  A model-based approach to security analysis for cyber-physical systems , 2018, 2018 Annual IEEE International Systems Conference (SysCon).

[36]  Kevin Lynch,et al.  Ontology-Driven Metamodel Validation in Cyber-Physical Systems , 2016 .

[37]  Christian Berger,et al.  MIDE-based sensor management and verification for a self-driving miniature vehicle , 2013, DSM '13.

[38]  Slim Kallel,et al.  Verification of the Consistency of Time-Aware Cyber-Physical Processes , 2017, ICSOC Workshops.

[39]  Lui Sha,et al.  Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models , 2018, 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).

[40]  Bei Cheng,et al.  Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs , 2014, 2014 Theoretical Aspects of Software Engineering Conference.

[41]  Matt Bunting,et al.  A safe autonomous vehicle trajectory domain specific modeling language for non-expert development , 2016, DSM@SPLASH.

[42]  Insup Lee,et al.  From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study , 2012, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.

[43]  Luís Gomes,et al.  Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards , 2017, 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).

[44]  Franco Fummi,et al.  Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling , 2017, 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).

[45]  Marcelo V. Garcia,et al.  A model-based approach for process monitoring in oil production industry , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[46]  Muhammad Ali Babar,et al.  Identifying relevant studies in software engineering , 2011, Inf. Softw. Technol..

[47]  Jordan Noble,et al.  An Adaptive Modeling Framework for Bivariate Data Streams with Applications to Change Detection in Cyber-Physical Systems , 2017, 2017 IEEE International Conference on Data Mining Workshops (ICDMW).

[48]  Vahid Garousi,et al.  A systematic mapping study of web application testing , 2013, Inf. Softw. Technol..

[49]  Xenofon D. Koutsoukos,et al.  A passivity approach for model-based compositional design of networked control systems , 2012, TECS.

[50]  J. M. van de Mortel-Fronczak,et al.  Supervisory control synthesis for a waterway lock , 2017, 2017 IEEE Conference on Control Technology and Applications (CCTA).

[51]  Raffaela Mirandola,et al.  Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design , 2017, 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).

[52]  Jordi Cabot,et al.  Model-Driven Software Engineering in Practice , 2017, Synthesis Lectures on Software Engineering.

[53]  Ayan Banerjee,et al.  Model based code generation for medical cyber physical systems , 2014, MMA '14.

[54]  Marilyn Wolf,et al.  Design Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink, Eclipse Modeling Framework, and Giotto , 2014, ACESMB@MoDELS.

[55]  Eric Feron,et al.  A credible autocoding application within a rocket and its payload , 2015, 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC).

[56]  Leandro Buss Becker,et al.  The Assisted Transformation of Models: Supporting Cyber-Physical Systems Design by Extracting Architectural Aspects and Operating Modes from Simulink Functional Models , 2013, 2013 III Brazilian Symposium on Computing Systems Engineering.

[57]  Joel Greenyer,et al.  Generating Correct, Compact, and Efficient PLC Code from Scenario-based Assume-Guarantee Specifications , 2018 .

[58]  Aniruddha S. Gokhale,et al.  CHARIOT: a domain specific language for extensible cyber-physical systems , 2015, DSM@SPLASH.

[59]  Jianhui Wang,et al.  Cyber-Physical Modeling and Cyber-Contingency Assessment of Hierarchical Control Systems , 2015, IEEE Transactions on Smart Grid.

[60]  Bijan Shirinzadeh,et al.  Unified meta-modeling framework using bond graph grammars for conceptual modeling , 2015, Robotics Auton. Syst..

[61]  Moharram Challenger,et al.  Domain-specific modelling language for belief-desire-intention software agents , 2018, IET Softw..

[62]  Swu Yih,et al.  A simulation platform for human-machine interaction safety analysis of cyber-physical systems , 2018, International Journal of Industrial Ergonomics.

[63]  Hervé Panetto,et al.  Multi-paradigm modelling of Cyber-Physical Systems , 2018 .

[64]  Xudong He,et al.  Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets , 2018, 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).

[65]  Roman L. Lysecky,et al.  Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems , 2014 .

[66]  Mirko Perkusich,et al.  A Model-Based Approach to Support Validation of Medical Cyber-Physical Systems , 2015, Sensors.

[67]  Jan F. Broenink,et al.  A co-design approach for embedded control software of cyber-physical systems , 2016, 2016 11th System of Systems Engineering Conference (SoSE).

[68]  Insup Lee,et al.  From Requirements to Code: Model Based Development of a Medical Cyber Physical System , 2014, FHIES/SEHC.

[69]  Gabor Karsai,et al.  A model-based approach to self-adaptive software , 1999, IEEE Intell. Syst..

[70]  Edward A. Lee The Past, Present and Future of Cyber-Physical Systems: A Focus on Models , 2015, Sensors.

[71]  Toshio Wakabayashi,et al.  Component-based modeling of systems for automated fault tree generation , 2009, Reliab. Eng. Syst. Saf..

[72]  Jozef Hooman,et al.  Rapid Construction of Co-Simulations of Cyber-Physical Systems in HLA Using a DSL , 2017, 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA).

[73]  Mauro Caporuscio,et al.  CyPhEF: A Model-Driven Engineering Framework for Self-Adaptive Cyber-Physical Systems , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

[74]  Claes Wohlin,et al.  On the reliability of mapping studies in software engineering , 2013, J. Syst. Softw..

[75]  Hervé Panetto,et al.  Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency , 2020, Enterp. Inf. Syst..

[76]  Franco Cicirelli,et al.  Metamodeling of Smart Environments: from design to implementation , 2017, Adv. Eng. Informatics.

[77]  Neena Goveas,et al.  Design and feasibility study of health related devices using COTS components , 2018, 2018 IEEE Industrial Cyber-Physical Systems (ICPS).

[78]  Zineb Simeu-Abazi,et al.  Application of a modeling approach on a cyber-physical system "RobAIR" , 2017 .

[79]  Stefano Marrone,et al.  Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks , 2013, 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing.

[80]  Lichen Zhang,et al.  Integration design and model transformation for cyber physical systems , 2014, 2014 IEEE 5th International Conference on Software Engineering and Service Science.

[81]  Hyun Seung Son,et al.  Metamodel Design for Model Transformation from Simulink to ECML in Cyber Physical Systems , 2012, FGIT-GDC/IESH/CGAG.

[82]  Steve Tockey How to Engineer Software: A Model-Based Approach , 2019 .

[83]  Guilin Chen,et al.  Dependability Modelling and Evaluation of Cyber-Physical Systems: A Model-Driven Perspective , 2013, CloudCom 2013.

[84]  Andrea Giglio,et al.  A BPMN extension for modeling Cyber-Physical-Production-Systems in the context of Industry 4.0 , 2017, 2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC).

[85]  Arquimedes Canedo,et al.  Modeling and simulation of cyberattacks for resilient cyber-physical systems , 2017, 2017 13th IEEE Conference on Automation Science and Engineering (CASE).

[86]  Giuseppina Lucia Casalaro,et al.  Model-Driven Engineering for Mobile Robot Systems: A systematic mapping study , 2015 .

[87]  Caglar Durmaz,et al.  Modelling Contiki-Based IoT Systems , 2017, SLATE.

[88]  Jang-Eui Hong,et al.  Failure Detection and Prevention for Cyber-Physical Systems Using Ontology-Based Knowledge Base , 2018, Comput..

[89]  Adam Hahn,et al.  A multi-layered and kill-chain based security analysis framework for cyber-physical systems , 2015, Int. J. Crit. Infrastructure Prot..

[90]  Steffen Becker,et al.  Transactional execution of hierarchical reconfigurations in cyber-physical systems , 2019, Software & Systems Modeling.

[91]  Houari A. Sahraoui,et al.  Systematic mapping study of template-based code generation , 2017, Comput. Lang. Syst. Struct..

[92]  Mirko Perkusich,et al.  A model-based architecture for testing medical cyber-physical systems , 2014, SAC.

[93]  Aniruddha S. Gokhale,et al.  Reasoning for CPS Education Using Surrogate Simulation Models , 2016, 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).

[94]  Ani Bicaku,et al.  Towards flexible and secure end-to-end communication in industry 4.0 , 2017, 2017 IEEE 15th International Conference on Industrial Informatics (INDIN).

[95]  Ricardo Tesoriero,et al.  Code generation using model driven architecture: A systematic mapping study , 2020, J. Comput. Lang..

[96]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[97]  Eldad Palachi,et al.  Simulation of cyber physical models using SysML and numerical solvers , 2013, 2013 IEEE International Systems Conference (SysCon).

[98]  Richard Candell,et al.  Towards a systematic threat modeling approach for cyber-physical systems , 2015, 2015 Resilience Week (RWS).

[99]  Nicolas Navet,et al.  CPAL: high-level abstractions for safe embedded systems , 2016, DSM@SPLASH.

[100]  Kleanthis Thramboulidis,et al.  Towards an IoT-based Framework for Evolvable Assembly Systems , 2018 .

[101]  Luís Gomes,et al.  From requirements to code (Re2Code) — A model-based approach for controller implementation , 2016, 2016 IEEE 14th International Conference on Industrial Informatics (INDIN).

[102]  Bashar Nuseibeh,et al.  I've Seen This Before: Sharing Cyber-Physical Incident Knowledge , 2018, 2018 IEEE/ACM 1st International Workshop on Security Awareness from Design to Deployment (SEAD).

[103]  Alois Zoitl,et al.  Behavior modeling of automation components using cross-domain interdependencies , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[104]  Lui Sha,et al.  Dependable Model-driven Development of CPS , 2018, ACM Trans. Cyber Phys. Syst..

[105]  Nils Ole Tippenhauer,et al.  Towards Formal Security Analysis of Industrial Control Systems , 2017, AsiaCCS.

[106]  Michaela Bacíková,et al.  Visual augmentation of source code editors: A systematic mapping study , 2018, J. Vis. Lang. Comput..

[107]  Marjan Mernik,et al.  A Systematic Mapping Study driven by the margin of error , 2018, J. Syst. Softw..

[108]  Sandeep Neema,et al.  Formalization of software models for cyber-physical systems , 2014, FormaliSE 2014.

[109]  Edward A. Lee Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[110]  Mohammad Abdollahi Azgomi,et al.  A game-theoretic approach to model and quantify the security of cyber-physical systems , 2017, Comput. Ind..

[111]  DeJiu Chen,et al.  A Virtual Environment for the Management and Development of Cyber-Physical Manufacturing Systems , 2015 .

[112]  Carlos Eduardo Pereira,et al.  An Integrated Concept for the Model-Driven Engineering of Distributed Automation Architectures on Embedded Systems , 2013 .

[113]  Sandeep Neema,et al.  A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems , 2013, 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS).

[114]  Won-Tae Kim,et al.  Metamodel-Based CPS Modeling Tool , 2012 .

[115]  Daniel Sonntag,et al.  A model-based approach to qualified process automation for anomaly detection and treatment , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[116]  Slim Kallel,et al.  BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems , 2016, 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE).

[117]  Frank Vahid,et al.  A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems , 2014, KSII Trans. Internet Inf. Syst..

[118]  Rong Zheng,et al.  Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach , 2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

[119]  Guilherme V. Raffo,et al.  Managing CPS Complexity: Design Method for Unmanned Aerial Vehicles , 2016 .

[120]  Lichen Zhang,et al.  View Oriented Approach to Specify and Model Aerospace Cyber-physical Systems , 2013, 2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing.

[121]  Lichen Zhang An integration approach to specify and model automotive cyber physical systems , 2013, 2013 International Conference on Connected Vehicles and Expo (ICCVE).

[122]  Rosana T. V. Braga,et al.  Development of Critical Embedded Systems Using Model-Driven and Product Lines Techniques: A Systematic Review , 2014, SBCARS.

[123]  Lichen Zhang Aspect-Oriented MDA Approach for Non-functional Properties of Distributed Cyber Physical Systems , 2011, 2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science.

[124]  Alberto Rodrigues da Silva,et al.  Model-driven engineering: A survey supported by the unified conceptual model , 2015, Comput. Lang. Syst. Struct..

[125]  Xiao Wang,et al.  Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs , 2015, 2015 IEEE 39th Annual Computer Software and Applications Conference.

[126]  Yusheng Liu,et al.  Ontology Based Behavior Verification for Complex Systems , 2018, Volume 1B: 38th Computers and Information in Engineering Conference.

[127]  Wasif Afzal,et al.  Software test process improvement approaches: A systematic literature review and an industrial case study , 2016, J. Syst. Softw..

[128]  Eduardo Tovar,et al.  Formal Verification of AADL Models Using UPPAAL , 2017, 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC).

[129]  Muhammad Rashid,et al.  Domain Specific Modeling Language for Cyber Physical Systems , 2016, 2016 International Conference on Information Systems Engineering (ICISE).

[130]  Michel A. Reniers,et al.  Supervisor synthesis in model-based automotive systems engineering , 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[131]  Frédéric Mallet,et al.  xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems , 2018, 2018 25th Asia-Pacific Software Engineering Conference (APSEC).

[132]  Sanjai Rayadurgam,et al.  Structuring simulink models for verification and reuse , 2014, MiSE 2014.

[133]  Marjan Mernik,et al.  Domain-Specific Languages: A Systematic Mapping Study , 2016, Inf. Softw. Technol..

[134]  Hans Vangheluwe,et al.  The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems , 2017, ICSOFT.

[135]  Gabor Karsai,et al.  Integrated simulation testbed for security and resilience of CPS , 2018, SAC.

[136]  Leandro Buss Becker,et al.  Model driven engineering approach to design sensing and actuation subsystems , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[137]  Jiexin Zhang,et al.  Modeling cyber-physical attacks based on probabilistic colored Petri nets and mixed-strategy game theory , 2017, Int. J. Crit. Infrastructure Prot..

[138]  Claes Wohlin,et al.  Experimentation in Software Engineering , 2012, Springer Berlin Heidelberg.

[139]  Jean-Michel Bruel,et al.  Guiding the selection of security patterns based on security requirements and pattern classification , 2015, EuroPLoP.

[140]  Fabio Cremona,et al.  Matching execution architecture models with functional models to analyze the time performance of CPS systems , 2015, 2015 International Conference on Complex Systems Engineering (ICCSE).

[141]  Hui Zhao,et al.  Multi-View Design for Cyber-Physical Systems , 2017 .

[142]  Ahmed Tamrawi,et al.  Modeling lessons from verifying large software systems for safety and security , 2017, 2017 Winter Simulation Conference (WSC).

[143]  Jacques Klein,et al.  Stream my models: Reactive peer-to-peer distributed models@run.time , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[144]  Imre Kocsis,et al.  Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems , 2018, 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).

[145]  George Mois,et al.  A dependability analysis model in the context of Cyber-Physical Systems , 2017, 2017 18th International Carpathian Control Conference (ICCC).

[146]  Kay Römer,et al.  Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL , 2016, ANT/SEIT.

[147]  Sankaran Mahadevan,et al.  Towards Reliability-Based Decision Making in Cyber-Physical Systems , 2016, 2016 IEEE International Conference on Smart Computing (SMARTCOMP).

[148]  Vitaliy Mezhuyev,et al.  Geometrical Meta-Metamodel for Cyber-Physical Modelling , 2013, 2013 International Conference on Cyberworlds.

[149]  Mark Austin,et al.  An ontological framework for knowledge modeling and decision support in cyber-physical systems , 2016, Adv. Eng. Informatics.

[150]  Hans Vangheluwe,et al.  Managing Heterogeneity in Model-Based Systems Engineering of Cyber-Physical Systems , 2015, 2015 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC).

[151]  Lichen Zhang,et al.  Aspect-Oriented MDA Development Method for Non-Functional Properties of Cyber Physical Systems , 2011, 2011 Second International Conference on Networking and Distributed Computing.

[152]  Thomas M. Chen,et al.  Petri Net Modeling of Cyber-Physical Attacks on Smart Grid , 2011, IEEE Transactions on Smart Grid.

[153]  Kyoungho An,et al.  Model-Driven Performance Analysis of Reconfigurable Conveyor Systems Used in Material Handling Applications , 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

[154]  Wilhelm Schäfer,et al.  Domain-Specific Model Checking for Cyber-Physical Systems , 2015, MoDeVVa@MoDELS.

[155]  Kleanthis Thramboulidis,et al.  Cyber-physical microservices: An IoT-based framework for manufacturing systems , 2018, 2018 IEEE Industrial Cyber-Physical Systems (ICPS).

[156]  Yaniv Mordecai,et al.  Conceptual Modeling of Cyber-Physical Gaps in Air Traffic Control , 2018 .

[157]  Muhammad Rashid,et al.  Toward the tools selection in model based system engineering for embedded systems - A systematic literature review , 2015, J. Syst. Softw..

[158]  Mashor Housh,et al.  Model-based approach for cyber-physical attack detection in water distribution systems. , 2018, Water research.

[159]  Song Li,et al.  CPSiCGF: A code generation framework for CPS integration modeling , 2015, Microprocess. Microsystems.

[160]  Peter Hehenberger,et al.  A Hierarchical Meta-Model for the Design of Cyber-Physical Production Systems , 2018, 2018 19th International Conference on Research and Education in Mechatronics (REM).

[161]  Kun Zhang,et al.  Model-Based Software Synthesis for Self-Reconfigurable Sensor Network in Water Monitoring , 2013, 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS).

[162]  Hessam S. Sarjoughian,et al.  Model-driven time-accurate DEVS-based approaches for CPS design , 2018, SpringSim.

[163]  B. Vogel-Heuser,et al.  Industry 4.0 interface for dynamic reconfiguration of an open lab size automated production system to allow remote community experiments , 2017, 2017 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM).

[164]  Tze Meng Low,et al.  High Assurance Code Generation for Cyber-Physical Systems , 2017, 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE).

[165]  Edward A. Lee Fundamental Limits of Cyber-Physical Systems Modeling , 2016, ACM Trans. Cyber Phys. Syst..

[166]  Lionel C. Briand,et al.  Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior , 2019, IEEE Transactions on Software Engineering.

[167]  Alois Knoll,et al.  FTOS: Model-driven development of fault-tolerant automation systems , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[168]  Max Mühlhäuser,et al.  Applying a Properties Modeling approach for monitoring Smart Grids , 2017, 2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC).

[169]  Huiqun Yu,et al.  A TAOPN Approach to Modeling and Scheduling Cyber-Physical Systems , 2013, 2013 International Conference on Information Science and Applications (ICISA).

[170]  Ali R. Hurson,et al.  Models, metamodels, and model transformation for cyber-physical systems , 2016, 2016 Seventh International Green and Sustainable Computing Conference (IGSC).

[171]  Robert Wille,et al.  A generic representation of CCSL time constraints for UML/MARTE models , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[172]  Zhonghai Lu,et al.  A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems , 2017 .

[173]  Hans Vangheluwe,et al.  Applying Model Driven Engineering Techniques to the Development of Contiki-Based IoT Systems , 2019, 2019 IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT).

[174]  Jean-Philippe Babau,et al.  AVS, a model-based racing sailboat simulator: application to wind integration , 2018 .