18,740 Hits in 3.6 sec

Cyber-Physical Systems Engineering: An Introduction [chapter]

J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John Fitzgerald, Jim Woodcock
2018 Lecture Notes in Computer Science  
Cyber-Physical Systems (CPSs) [1] connect the real world to software systems through a network of sensors and actuators in which physical and logical components interact in complex ways.  ...  In Engineering of Cyber-Physical Systems in the automotive context: case study of a range prediction assistant [12] (in this issue), the authors present a case study addressing the development of an  ... 
doi:10.1007/978-3-030-03424-5_27 fatcat:mv7fwphfa5eazbai6vdpnpvkwi

Cyber-Virtual Systems: Simulation, Validation & Visualization [article]

Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz Schmidt
2014 arXiv   pre-print
We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance.  ...  We call such systems cyber-virtual systems. In this paper, we present the existing VITELab infrastructure for visualization tasks in industrial automation.  ...  Acknowledgements We would like to thank staff from RMIT ITS, PropertyServices, eResearch and the VITELab team, in particular Lasith Fernando, Ravi Sreenivasamurthy and Garry Keltie.  ... 
arXiv:1410.1258v1 fatcat:6k4z3lwhhjhoznhuhvtrtnrqza

Multi-paradigm modelling of Cyber-Physical Systems

Dmitry Morozov, Mario Lezoche, Hervé Panetto
2018 IFAC-PapersOnLine  
Cyber-Physical Systems (CPS) lead to the 4-th Industrial Revolution (Industry 4.0) that will have benefits from high flexibility of production, easy and so more accessible participation of all involved  ...  So, the current research concerns the adaptation of the approach named Formal Concept Analysis (FCA) for structuring knowledge and for optimizing CPS interoperability.  ...  A META-MODEL OF A CYBER-PHYSICAL SYSTEM Components of a CPS: lets denote as Pi and Ci respectively the set of physical and cyber components of a system CPSj.  ... 
doi:10.1016/j.ifacol.2018.08.334 fatcat:a2blkmkuazeirgynbbvpyl5xni

Recent Research Trends in Engineering and Validating Cyber-Physical Energy Systems [article]

Thomas I. Strasser, Filip Pröstl Andrén
2021 Zenodo  
Proper operational concepts and intelligent automation provide the basis to turn the existing power system into an intelligent entity, a cyber-physical energy system.  ...  The electric energy system is therefore moving from a single system to a system of systems.  ...  ) • Usage of less formalized approaches and tools (compared to other areas) HIGHER COMPLEXITY IN CYBER-PHYSICAL ENERGY SYSTEMS Webinar System Technology Market Source: AIT ENGINEERING PROBLEMS  ... 
doi:10.5281/zenodo.5102925 fatcat:7n5rl7tfdrfwznqqmgr6nvuc5u

Industrial Cyber-Physical Systems – iCyPhy [chapter]

Amit Fisher, Clas A. Jacobson, Edward A. Lee, Richard M. Murray, Alberto Sangiovanni-Vincentelli, Eelco Scholte
2014 Complex Systems Design & Management  
The focus is on cyber-physical systems, which combine a cyber side (computing and networking) with a physical side (e.g., mechanical, electrical, and chemical processes).  ...  This consortium adapts and extends these techniques to handle the fundamentally different challenges in largescale cyber-physical systems.  ...  A typical use of contracts in cyber-physical system design would be to govern the horizontal composition of the cyber and the physical components and to establish the conditions for correctness of their  ... 
doi:10.1007/978-3-319-02812-5_2 dblp:conf/csdm/FisherJLMSS13 fatcat:pnb2o3qkbfcwjoqmbw6syvky5i

Industry 4.0 with cyber-physical integration: A design and manufacture perspective

Alfredo Alan Flores Saldivar, Yun Li, Wei-neng Chen, Zhi-hui Zhan, Jun Zhang, Leo Yi Chen
2015 2015 21st International Conference on Automation and Computing (ICAC)  
Together with growing internet applications and technologies connected through the cloud, a new Industrial Revolution, named "Industry 4.0", aims to integrate cyber-virtual and cyber-physical systems to  ...  A new generation of wireless connection, 5G, will help and accelerate this trend.  ...  A. Design of a Cyber-Physical System Cyber space and virtual systems represented by ICT are now getting integrated with physical control and production systems.  ... 
doi:10.1109/iconac.2015.7313954 dblp:conf/iconac/SaldivarLCZZC15 fatcat:zls2uo6ccbdbbnw4miwgpo5cbm

Building a Robotic Cyber-Physical Production Component [chapter]

Paulo Leitão, José Barbosa
2016 Studies in Computational Intelligence  
The proposed approach is exemplified by the construction of a robotic cyber-physical production component that is plug-in in a cyber-physical system for a small-scale production system based on Fischertechnik  ...  Cyber-physical systems are a network of integrated computational decisional components and physical elements.  ...  In this work, this approach was exemplified to build a robotic cyber-physical production component that is deployed in a cyber-physical system for a small-scale production system.  ... 
doi:10.1007/978-3-319-30337-6_27 fatcat:yrlijylezza6fd4visexlekiqi

Towards system development methodologies: From software to cyber-physical domain [article]

Maria Spichkova, Alarico Campetelli
2014 arXiv   pre-print
This holds, especially, for system development within the cyber-physical domain: until a certain abstraction level we can (re)use the methodologies for the software system development to benefit from the  ...  In many cases, it is more profitable to apply existing methodologies than to develop new ones.  ...  System Development Methodology One of the typical examples of a cyber-physical system from the automotive field is a Cruise Control System.  ... 
arXiv:1403.2819v1 fatcat:pcnkhwhkfvdlhfasffefd5ki2y

Requirements Engineering for Cyber-Physical Systems [chapter]

Stefan Wiesner, Christian Gorldt, Mathias Soeken, Klaus-Dieter Thoben, Rolf Drechsler
2014 IFIP Advances in Information and Communication Technology  
Smart Factories with vertically and horizontally integrated production systems are enabled through the realization of machines, storage systems and utilities as Cyber-Physical Systems (CPS), which are  ...  Natural Language Processing (NLP) is used as an approach to automatically translate shared informal requirements specifications to formal domain specific models for the involved disciplines, to develop  ...  This work has been partly funded by the European Commission through the FoF-ICT Project MSEE: Manufacturing SErvice Ecosystem (No. 284860) and the German Federal Ministry of Education and Research (BMBF  ... 
doi:10.1007/978-3-662-44739-0_35 fatcat:bzb4otbj3jh3hlpk2zeufdt3qy

High-confidence cyber-physical co-design

David Broman
2013 ACM SIGBED Review  
The rapid development of a CPS with high-confidence of its functional correctness is a co-design problem-the design of the cyber part (embedded control systems and networks) and the physical part influence  ...  CO-DESIGN CHALLENGES Today, model-based design is a well established approach for the concurrent design of different parts of cyber-physical systems.  ... 
doi:10.1145/2518148.2518161 fatcat:l5vyn5jbtbgk3fxftiyod2sthm

Cyber Security of Cyber Physical Systems: Cyber Threats and Defense of Critical Infrastructures

Sandeep K. Shukla
2016 2016 29th International Conference on VLSI Design and 2016 15th International Conference on Embedded Systems (VLSID)  
In the past, CPS design methodology usually followed a model based engineering approach, where as a first step of the design process --a physics based mathematical model of the physical system, and a control  ...  theoretic model of the control system --were integrated in a formal or semi-formal framework.  ...  His group developed a number of co-simulation tools for data-communication enabled smart-grid, and SCADA system for industrial automation for the purpose of cyber-security threat modeling, simulation of  ... 
doi:10.1109/vlsid.2016.153 dblp:conf/vlsid/Shukla16 fatcat:3ox3cjocxrbtfi3b2lr2vfz66e

Industrial Cyber–Physical Systems [Scanning the Issue]

Armando W. Colombo, Stamatis Karnouskos, Yang Shi, Shen Yin, Okyay Kaynak
2016 Proceedings of the IEEE  
In the paper "A vertical and cyber-physical integration of cognitive robots in manufacturing," Krueger et al. introduce the development of the cognitive cyber-physical system and its application in the  ...  His research interests are in the fields of industrial cyber-physical systems, system-of-systems engineering, service-oriented architectures, collaborative automation, formal specification of flexible  ... 
doi:10.1109/jproc.2016.2548318 fatcat:vdcoursj4rfapi77mcbmvmxaa4

Multi-paradigm modelling of cyber-physical systems

Hans Vangheluwe
2018 Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18  
The last decades have seen the emergence of truly complex, designed systems, known as Cyber-Physical Systems (CPS).  ...  Multi-Paradigm Modelling (MPM) proposes to model every part and aspect of a system, including development processes, explicitly, at the most appropriate level(s) of abstraction, using the most appropriate  ...  COST IC 1404 MPM4CPS is supported by the EU Framework Programme Horizon 2020.  ... 
doi:10.1145/3196478.3196479 dblp:conf/icse/Vangheluwe18 fatcat:gs3hkopprfbjpawe5n3oyq4dri

Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward

Xi Zheng, Christine Julien
2015 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems  
It is widely held that debugging cyber-physical systems (CPS) is challenging; to date, empirical studies investigating research challenges in CPS verification and validation have not been done.  ...  In this paper, we review our recent empirical study of real-world CPS developers.  ...  from the interaction between the cyber and the physical components of the system.  ... 
doi:10.1109/sescps.2015.11 dblp:conf/icse/ZhengJ15 fatcat:67yz2glwnzfqhprnbq55wsydke

Cyber-Physical Systems, a new formal paradigm to model redundancy and resiliency

Mario Lezoche, Hervé Panetto
2018 Enterprise Information Systems  
Using the CPS meta-model formalization, with an adaptation of the Formal Concept Analysis (FCA) formal approach, this paper presents a way to optimize the modelling of CPS systems emphasizing their redundancy  ...  Cyber-Physical Systems (CPS) are systems composed by a physical component that is controlled or monitored by a cyber-component, a computer-based algorithm.  ...  As a further development of the approach, we plan to study the use of the resulting lattice-models to response some of the pressing questions of Industry 4.0 such as the identification of redundancies  ... 
doi:10.1080/17517575.2018.1536807 fatcat:pfnyrgbtejb6xgretp7svkdqwq
« Previous Showing results 1 — 15 out of 18,740 results