A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems
[article]
2014
arXiv
pre-print
Preserved Fulltext
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
2017
2017 12th System of Systems Engineering Conference (SoSE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2020
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2015
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
Proceedings of the 12th International Conference on Software Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2019
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2102.03341v1 fatcat:sqilkl2k55htnp4xziwf2mmvyy
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
2021
Journal of Integrated Design & Process Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2021
Computer
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2020
Advances in Intelligent Systems and Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2011.11395v1 fatcat:5kc5gya5hvec3ncnyjzsgg6c3u
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
2013
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2012
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2014
Procedia CIRP
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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