Applications of model-driven engineering in cyber-physical systems: A systematic mapping study
暂无分享,去创建一个
[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 .