Filters








2,295 Hits in 6.3 sec

Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems [article]

Markus Look, Antonio Navarro Perez, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
2014 arXiv   pre-print
Robots belong to a class of Cyber-Physical Systems where complex software as a mobile device has to full tasks in a complex environment.  ...  We describe how we integrated these languages into MontiArcAutomaton a-posteriori in a black-box integration fashion.  ...  Introduction Robots are a class of Cyber-Physical Systems (CPS) [5] where complex software has to fulfill tasks in a continuous environment.  ... 
arXiv:1409.2388v1 fatcat:dh6acy7vwffh7azpgqd762nldm

The Internet of Simulation: Enabling agile model based systems engineering for cyber-physical systems

S. J. Clement, D. W. McKee, Richard Romano, Jie Xu, J.M. Lopez, D. Battersby
2017 2017 12th System of Systems Engineering Conference (SoSE)  
The expansion of the Internet of Things (IoT) has resulted in a complex cyber-physical system of systems that is continually evolving.  ...  The IoS allows for multiple heterogeneous simulations to be integrated together for co-simulation. It's effect on the engineer process is to facilitate agile practices without sacrificing rigour.  ...  ACKNOWLEDGMENT This work was supported by Jaguar Land Rover, UK-EPSRC grant EP/K014226/1 as part of the Programme for Simulation Innovation.  ... 
doi:10.1109/sysose.2017.7994948 dblp:conf/sysose/ClementMRXLB17 fatcat:dbqnzcxibffavgvb2uid73kfb4

Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations [chapter]

Paulo Carreira, Vasco Amaral, Hans Vangheluwe
2020 Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems  
Modeling and analysis of Cyber-Physical Systems (CPS) is an inherently multi-disciplinary endeavour.  ...  Herein, we motivate Multi-Paradigm Modelling of CPS (MPM4CPS), introducing fundamental definitions and terminology regarding CPS modelling and Multi-Paradigm, and finally, laying the ground for the rest  ...  : Foundations Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations Multi-Paradigm Modelling for Cyber-Physical  ... 
doi:10.1007/978-3-030-43946-0_1 fatcat:l7t34t22tvcetbmnw3al7kiwvq

Using Cyber Digital Twins for Automated Automotive Cybersecurity Testing [article]

Stefan Marksteiner, Slava Bronfman, Markus Wolf, Eddie Lazebnik
2021 arXiv   pre-print
These functionalities require the integration of information and communication technologies that not only allow for a plethora of on-the-fly configuration abilities, but also provide a huge surface for  ...  This paper therefore presents a methodology to create and execute cybersecurity test cases on the fly in a black box setting by using pattern matching-based binary analysis and translation mechanisms to  ...  produce sensible test cases. lt is therefore not suitable for purely black box systems.  ... 
arXiv:2107.07355v1 fatcat:ddxguqwflngbnknaixtpqgai6a

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

John Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock
2015 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering  
The engineering of dependable cyber-physical systems (CPSs) is inherently collaborative, demanding cooperation between diverse disciplines.  ...  A goal of current research is the development of integrated tool chains for model-based CPS design that support co-modelling, analysis, co-simulation, testing and implementation.  ...  Since system-level dependability properties involve both cyber and physical aspects, the verification of global behaviours must take account of the heterogeneity of models.  ... 
doi:10.1109/formalise.2015.14 dblp:conf/icse/FitzgeraldGLPW15 fatcat:226sm43ndjd45l333azrrn73va

The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems

Oksana Nikiforova, Nisrine El Marzouki, Konstantins Gusarovs, Hans Vangheluwe, Tomas Bures, Rima Al-Ali, Mauro Iacono, Priscill Orue Esquivel, Florin Leon
2017 Proceedings of the 12th International Conference on Software Technologies  
Cyber-physical systems are heterogeneous systems, which require multi-disciplinary approach to their modelling.  ...  Modelling of cyber-physical systems by 2HMD approach gives an opportunity to transparently compose and analyse system components to be provided and components actually provided, and, thus, to identify  ...  ACKNOWLEDGEMENTS This publication was developed in frame of COST Action IC1404 Multi-Paradigm Modelling for Cyber-Physical Systems and with minor revisions is published by Departamentos Lenguajes y Ciencias  ... 
doi:10.5220/0006424902860293 dblp:conf/icsoft/NikiforovaMGVBA17 fatcat:woqgs72vljbrzczqb765tve6di

Challenges in Digital Twin Development for Cyber-Physical Production Systems [chapter]

Heejong Park, Arvind Easwaran, Sidharta Andalam
2019 Lecture Notes in Computer Science  
Digital twin will be the key technology in Cyber-Physical Production Systems (CPPS) and its market is expected to grow significantly in the coming years.  ...  The recent advancement of information and communication technology makes digitalisation of an entire manufacturing shop-floor possible where physical processes are tightly intertwined with their cyber  ...  The Integrated Tool Chain for Model-based Design of Cyber-Physical Systems (INTO-CPS) is an integrated tool chain for comprehensive model-based design of cyber-physical systems.  ... 
doi:10.1007/978-3-030-23703-5_2 fatcat:nqttdovw3bg6xfhkziehpoho7e

A Research Agenda for Smarter Cyber-Physical Systems

Danny Weyns, Jesper Andersson, Mauro Caporuscio, Francesco Flammini, Andreas Kerren, Welf Löwe
2021 Journal of Integrated Design & Process Science  
We highlight key engineering areas: cyber-physical systems, self-adaptation, data-driven technologies, and visual analytics, and outline key challenges in each of them.  ...  The trustworthiness and sustainability of these systems will be vital for our society.  ...  A first challenge is to devise integrated design environments for Model Driven Engineering (MDE) of cyber-physical systems leveraging on standard high-level languages like the Unified Modelling Language  ... 
doi:10.3233/jid-210010 fatcat:fb3f6oazlffxbk7qbrlp7wq6de

Formal Verification of Cyberphysical Systems

James Bret Michael, Doron Drusinsky, Duminda Wijesekera
2021 Computer  
We will need to integrate verification approaches that can combine black-box methods with model-based techniques within the development ecosystem.  ...  A significant challenge is combining the white-box approaches of FV with the black-box methods used in falsification to handle systems where parts are fully known while for others, only incomplete information  ... 
doi:10.1109/mc.2021.3055883 fatcat:zbltmzwhb5aava6yiqbcohyvy4

COST IC1404 WG1 Deliverable WG1.2: Framework to Relate / Combine Modeling Languages and Techniques

Rima Al-Ali, Moussa Amrani, Soumyadip Bandyopadhyay, Ankica Barisic, Fernando Barros, Dominique Blouin, Ferhat Erata, Holger Giese, Mauro Iacono, Stefan Klikovits, Eva Navarro, Patrizio Pelliccione (+3 others)
2019 Zenodo  
Ontological foundation for a framework to Relate / Combine Modeling Languages and Techniques.  ...  Ontology of Cyber-Physical Systems State-of-the-art Cyber-Physical Systems (CPS) are systems that tightly integrate computation with networking and physical processes.  ...  This includes the ontology of Cyber-Physical Systems presented in chapter 3, the ontology of Multi-Paradigm Modeling presented in chapter 4 and the combined ontology of Multi-Paradigm Modeling for Cyber-Physical  ... 
doi:10.5281/zenodo.2538795 fatcat:ox2slzxzdbcrjha2xeoz75a7vy

Semantic CPPS in Industry 4.0 [chapter]

Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Domenico Marino, Francesco Orciuoli, Alberto Volpe
2020 Advances in Intelligent Systems and Computing  
Cyber-Physical Systems (CPS) play a crucial role in the era of the 4thIndustrial Revolution.  ...  Recently, the application of the CPS to industrial manufacturing leads to a specialization of them referred as Cyber-Physical Production Systems (CPPS).  ...  Introduction Cyber-Physical Systems (CPS) are a combination of physics with cyber components potentially networked and tightly interconnected.  ... 
doi:10.1007/978-3-030-44041-1_91 fatcat:u3p262kmbbehdjeuzvpqvxztuq

Context-sensitive synthesis of executable functional models of cyber-physical systems

Arquimedes Canedo, Eric Schwarzenbach, Mohammad Abdullah Al Faruque
2013 Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13  
This paper presents a novel approach and tool for integrated cyber-physical systems (CPS) design based on the FBS (Function-Behavior-State) methodology where multi-domain simulation models capturing both  ...  The high complexity of cross-domain engineering in combination with the pressure for product innovation, higher quality, time-tomarket, and budget constraints make it imperative for companies to use integrated  ...  Physical modeling languages such as Bond Graphs [8] , Modelica [22] , and Simscape [19] have been developed for inter-disciplinary modeling and simulation of complex heterogeneous systems.  ... 
doi:10.1145/2502524.2502539 dblp:conf/iccps/CanedoSF13 fatcat:s7e7s5rwdvdzlnuysbdsnxgike

Semantics of Cyber-Physical Systems [chapter]

Tharam Dillon, Elizabeth Chang, Jaipal Singh, Omar Hussain
2012 IFIP Advances in Information and Communication Technology  
The very recent development of Cyber-Physical Systems (CPS) provides a smart infrastructure connecting abstract computational artifacts with the physical world.  ...  The solution to CPS must transcend the boundary between the cyber world and the physical world by providing integrated models addressing issues from both worlds simultaneously.  ...  'black-box'.  ... 
doi:10.1007/978-3-642-32891-6_3 fatcat:vjruf5v2vbdujdmts5vj5rbptu

COST IC1404 WG1 Deliverable WG1.2: Framework to Relate / Combine Modeling Languages and Techniques

Rima Al-Ali, Moussa Amrani, Soumyadip Bandyopadhyay, Ankica Barisic, Fernando Barros, Dominique Blouin, Ferhat Erata, Holger Giese, Mauro Iacono, Stefan Klikovits, Eva Navarro, Patrizio Pelliccione (+3 others)
2019 Zenodo  
Ontological foundation for a framework to Relate / Combine Modeling Languages and Techniques.  ...  This includes the ontology of Cyber-Physical Systems presented in chapter 3, the ontology of Multi-Paradigm Modeling presented in chapter 4 and the combined ontology of Multi-Paradigm Modeling for Cyber-Physical  ...  Cyber-Physical Systems (MPM4CPS), we first presented an ontology of Cyber Physical Systems in Chapter 3 and then an ontology of Multi-Paradigm Modeling in Chapter 4.  ... 
doi:10.5281/zenodo.2527577 fatcat:qsugbjnclbe4hnz46sunlqvj5a

Architectural Design Space Exploration of Cyber-physical Systems Using the Functional Modeling Compiler

Arquimedes Canedo, Jan H. Richter
2014 Procedia CIRP  
This paper reports our experience in the development of a novel concept design support tool for cyber-physical systems (CPS).  ...  Our method relies on functional modeling to create a technology-independent description of what the system does, and uses a Functional Modeling Compiler (FMC) to synthesize technology-dependent solutions  ...  This paper reports our experience in the development of a novel multi-disciplinary integrated design automation tool for cyber-physical systems.  ... 
doi:10.1016/j.procir.2014.03.183 fatcat:4au26hrgnjff3ljb6v25xqehz4
« Previous Showing results 1 — 15 out of 2,295 results