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.

BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems

Abstract: Modeling is one of the most important topics in the domain of Cyber-Physical Systems (CPS). In the field of process modelling, Business Process Modeling and Notation (BPMN) is the most used standard. However, BPMN remains limited to cater for the specific characteristics and properties of CPS such as real world properties. In this paper, we propose BPMN4CPS, which provides a set of extensions for BPMN to properly and accurately model CPS processes. In order to illustrate the applicability of BPMN4CPS, we present a case study of an ambulance drone system.

Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior

Abstract: Many Cyber-Physical Systems (CPS) are highly nondeterministic. This often makes it impractical to model and predict the complete system behavior. To address this problem, we propose that instead of offline modeling and verification, many CPS systems should be modeled and verified online, and we shall focus on the system's time-bounded behavior in short-run future, which is more describable and predictable. Meanwhile, as the system model is generated/updated online, the verification has to be fast. It is meaningless to tell an online model is unsafe when it is already out-dated. To demonstrate the feasibility of our proposal, we study two cases of our ongoing projects, one on the modeling and verification of a train control system, and the other on a Medical Device Plug-and-Play (MDPnP) application. Both cases are about safety-critical CPS systems. Through these two cases, we exemplify how to build online models that describe the time-bounded short-run behavior of CPS systems; and we show that fast online modeling and verification is possible.

Safe, Secure Executions at the Network Edge: Coordinating Cloud, Edge, and Fog Computing

Abstract: System design where cyber-physical applications are securely coordinated from the cloud may simplify the development process. However, all private data are then pushed to these remote “swamps,” and human users lose actual control as compared to when the applications are executed directly on their devices. At the same time, computing at the network edge is still lacking support for such straightforward multidevice development, which is essential for a wide range of dynamic cyber-physical services. This article proposes a novel programming model as well as contributes the associated secure-connectivity framework for leveraging safe coordinated device proximity as an additional degree of freedom between the remote cloud and the safety-critical network edge, especially under uncertain environment constraints. This article is part of a special issue on Software Safety and Security Risk Mitigation in Cyber-physical Systems.

Toward Self-Manageable and Adaptive Industrial Cyber-Physical Systems With Knowledge-Driven Autonomic Service Management

Abstract: An increasingly important goal of industrial automation systems is to continuously optimize physical resource utilization such as materials. Distributed automation is seen as one enabling technology for achieving this goal, in which networking controller nodes collaborate in a peer-to-peer way to form a new paradigm, namely industrial cyber-physical systems (iCPS). In order to achieve rapid response to changes from both high-level control systems and plant environment, the proposed self-manageable agent relies on the use of the service-oriented architecture (SOA) that improves flexibility and interoperability. It is enhanced by the autonomic service management (ASM) to implement software modifications in a fully automatic manner, thus achieving self-manageable and adaptive iCPS. The architecture design of the ASM is provided and integration with SOA-based execution environment is illustrated. Preliminary tests on self-management are completed using a case study of an airport baggage handling system.

A behavior-based intrusion detection technique for smart grid infrastructure

Abstract: A smart grid is a fully automated electricity network, which monitors and controls all its physical environments of electricity infrastructure being able to supply energy in an efficient and reliable way. As the importance of cyber-physical system (CPS) security is growing, various intrusion detection algorithms to protect SCADA system and generation sector have been suggested, whereas there were less consideration on distribution sector. Thus, this paper first highlights the significance of CPS security, especially the availability as the most important factor in smart grid environment. Then this paper classifies various modern intrusion detection system (IDS) techniques for securing smart grid network. In our approach, we propose a novel behavior-based IDS for IEC 61850 protocol using both statistical analysis of traditional network features and specification-based metrics. Finally, we present the attack scenarios and detection methods applicable for IEC 61850-based digital substation in Korean environment.