Topic
Cyber-physical system
About: Cyber-physical system is a research topic. Over the lifetime, 11096 publications have been published within this topic receiving 162489 citations. The topic is also known as: CPS.
Papers published on a yearly basis
Papers
More filters
••
TL;DR: In this article, an ontology of the manufacturing domain is used to support the open automation of manufacturing systems, in which the power of CPS is complemented by the support of ontology.
Abstract: Received: 23 November 2014 Abstract Accepted: 9 January 2015 Cyber Physical Systems are an evolution of embedded systems featuring a tight combination of collaborating computational elements that control physical entities. CPSs promise a great potential of innovation in many areas including manufacturing and production. This is because we obtain a very powerful, flexible, modular infrastructure allowing easy (re) configurability and fast ramp-up of manufacturing applications by building a manufacturing system with modular mechatronic components (for machining, transportation and storage) and embedded intelligence, by integrating them into a system, through a network connection. However, when building such kind of architectures, the way to supply the needed domain knowledge to real manufacturing applications arises as a problem to solve. In fact, a CPS based architecture for manufacturing is made of smart but independent manufacturing components without any knowledge of the role they have to play together in the real world of manufacturing applications. Ontologies can supply such kind of knowledge, playing a very important role in CPS for manufacturing. The paper deals with this intriguing theme, also presenting an implementation of this approach in a research project for the open automation of manufacturing systems, in which the power of CPS is complemented by the support of an ontology of the manufacturing domain.
50 citations
••
20 Sep 2016TL;DR: This work evaluates the feasibility of the improved co-analysis method in a self-optimizing battery management system and proposes improvements to address limitations of the security extension, which lead to a better identification of high level security scenarios.
Abstract: Safety-critical Cyber-physical Systems (CPS) in vehicles are becoming more and more complex and interconnected. There is a pressing need for holistic approaches for safety and security analysis to address the challenges. System-Theoretic Process Analysis (STPA) is a top-down safety hazard analysis method, based on systems theory especially aimed at such systems. In contrast to established approaches, hazards are treated as a control problem rather than a reliability problem. STPA-Sec extends this approach to also include security analysis. However, when we applied STPA-Sec to real world use cases for joint safety and security analysis, a Battery Management System for a hybrid vehicle, we observed several limitations of the security extension. We propose improvements to address these limitations for a combined safety and security analysis. Our improvements lead to a better identification of high level security scenarios. We evaluate the feasibility of the improved co-analysis method in a self-optimizing battery management system. We also discuss the general applicability of STPA-Sec to high level safety and security analysis and the relation to automotive cybersecurity standards.
50 citations
••
16 May 2015TL;DR: The role of formal methods in addressing three key aspects of this goal: providing reasoning support for semantically heterogeneous models, managing the complexity and scale of design space exploration, and supporting traceability and provenance in the CPS design set are discussed.
Abstract: 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. We discuss the role of formal methods in addressing three key aspects of this goal: providing reasoning support for semantically heterogeneous models, managing the complexity and scale of design space exploration, and supporting traceability and provenance in the CPS design set. We briefly outline an approach to the development of such a tool chain based on existing tools and discuss ongoing challenges and open research questions in this area.
50 citations
••
26 Aug 2018
TL;DR: The emergence of the next cyber/digital frontier for lean manufacturing practices is explored, with a focus on identifying and eliminating ‘digital waste’ that may come into existence in the cyber world due to the non-use and over-use of new digital/smart manufacturing technologies.
Abstract: This paper explores the emergence of the next cyber/digital frontier for lean manufacturing practices. It focuses on (a) the new capabilities of information and operational technologies (ITs/OTs) for proactively detecting and eliminating potential ‘physical waste’ in production processes, preventing its manifestation in the real world through powerful virtual models and simulations as well as real-time performance monitoring systems based on advanced data analytics, and (b) on identifying and eliminating ‘digital waste’ that may come into existence in the cyber world due to the non-use (e.g. lost digital opportunities) and/or over-use (e.g. abused digital capabilities) of new digital/smart manufacturing technologies.
50 citations
01 Jan 2012
50 citations