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.

Towards a Development Methodology for Smart Object-Oriented IoT Systems: A Metamodel Approach

Abstract: The Internet of Things (IoT) is a large-scale complex networked cyber physical system in which the Smart Objects (SOs) will be the fundamental building blocks. Although, many research efforts in the IoT realm have been to date devoted to device, networking and application service perspectives, software engineering approaches for the development of IoT systems are still in their infancy. This paper introduces a novel software engineering approach aiming to support a systematic development of SOs-based systems. The proposed approach is based on metamodels that are defined at different levels of abstraction to support the development phases of analysis, design and implementation. The effectiveness of the proposed approach is demonstrated through a simple yet effective case study, showing the development of a smart office SO from the high-level design to its agent-based implementation.

Incorporating emergency alarms in reliable wireless process control

Abstract: Recent years have witnessed adoption of wireless sensor-actuator networks (WSANs) in process control. Many real-world process control systems must handle various emergency alarms under stringent timing constraints in addition to regular control loops. However, despite considerable theoretical results on wireless control, the problem of incorporating emergency alarms in wireless control has received little attention. This paper presents, to the best of our knowledge, the first systematic approach to incorporate emergency alarms into wireless process control. The challenge in emergency communication lies in the fact that emergencies occur occasionally, but must be delivered within their deadlines when they occur. The contributions of this work are three-fold: (1) we propose efficient real-time emergency communication protocols based on slot stealing and event-based communication; (2) we build an open-source WirelessHART protocol stack in the Wireless Cyber-Physical Simulator (WCPS) for holistic simulations of wireless control systems; (3) we conduct systematic studies on a coupled water tank system controlled over a 6-hop 21-node WSAN. Our results demonstrate our real-time emergency communication approach enables timely emergency handling, while allowing regular feedback control loops to effectively share resources in WSANs during normal operations.

A Case Study of FMVEA and CHASSIS as Safety and Security Co-Analysis Method for Automotive Cyber-physical Systems

Abstract: The increasing integration of computational components and physical systems creates cyber-physical system, which provide new capabilities and possibilities for humans to control and interact with physical machines. However, the correlation of events in cyberspace and physical world also poses new safety and security challenges. This calls for holistic approaches to safety and security analysis for the identification of safety failures and security threats and a better understanding of their interplay. This paper presents the application of two promising methods, i.e. Failure Mode, Vulnerabilities and Effects Analysis (FMVEA) and Combined Harm Assessment of Safety and Security for Information Systems (CHASSIS), to a case study of safety and security co-analysis of cyber-physical systems in the automotive domain. We present the comparison, discuss their applicabilities, and identify future research needs.

Automatic abstraction for verification of cyber-physical systems

Abstract: Models of cyber-physical systems are inherently complex since they must represent hardware, software, and the physical environment. Formal verification of these models is often precluded by state explosion. Fortunately, many important properties may only depend upon a relatively small portion of the system being accurately modeled. This paper presents an automatic abstraction methodology that simplifies the model accordingly. Preliminary results on a fault-tolerant temperature sensor are encouraging.

Design Automation for Smart Building Systems

Abstract: Smart buildings today are aimed at providing safe, healthy, comfortable, affordable, and beautiful spaces in a carbon and energy-efficient way. They are emerging as complex cyber–physical systems with humans in the loop. Cost, the need to cope with increasing functional complexity, flexibility, fragmentation of the supply chain, and time-to-market pressure are rendering the traditional heuristic and ad hoc design paradigms inefficient and insufficient for the future. In this paper, we present a platform-based methodology for smart building design. Platform-based design (PBD) promotes the reuse of hardware and software on shared infrastructures, enables rapid prototyping of applications, and involves extensive exploration of the design space to optimize design performance. In this paper, we identify, abstract, and formalize components of smart buildings, and present a design flow that maps high-level specifications of desired building applications to their physical implementations under the PBD framework. A case study on the design of on-demand heating, ventilation, and air conditioning (HVAC) systems is presented to demonstrate the use of PBD.