Guest Editors:

Marilyn Wolf
Dimitrios Serpanos

Special Issue Papers

Safety and Security in Cyber-Physical Systems and Internet-of-Things Systems

By M. Wolf and D. Serpanos

This paper identifies key issues in the safety and security of CPSs and Internet-of-Things (IoT) systems as well as design-time and runtime approaches to handle safety and security.

System-on-Chip Platform Security Assurance: Architecture and Validation

By S. Ray, E. Peeters, M. M. Tehranipoor, and S. Bhunia

This paper surveys the security of VLSI systems-on-chip, identifies potential concerns, and proposes new approaches.

Wireless Communication and Security Issues for Cyber–Physical Systems and the Internet-of-Things

By A. Burg, A. Chattopadhyay, and K.-Y. Lam

This paper looks at wireless communication used for CPS and IoT; the authors identify gaps between the vulnerabilities posed by cyber–physical and IoT applications and the security measures provided by wireless standards.

HoneyBot: A Honeypot for Robotic Systems

By C. Irvene, D. Formby, S. Litchfield, and R. Beyah

This paper describes a novel honeypot for robotic systems. Honeypots are internet computers that are set up as lures for attackers.

Parameter-Invariant Monitor Design for Cyber–Physical Systems

By J. Weimer, R. Ivanov, S. Chen, A. Roederer, O. Sokolsky, and I. Lee

This paper describes techniques for online monitoring of CPSs that are robust in the face of sparse data and system variability.

SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber–Physical Systems

By X. Koutsoukos, G. Karsai, A. Laszka, H. Neema, B. Potteiger, P. Volgyesi, Y. Vorobeychik, and J. Sztipanovits

This paper describes a modeling and simulation environment that can be used to evaluate attacker–defender behavior.

A Framework for Attack-Resilient Industrial Control Systems: Attack Detection and Controller Reconfiguration

By K. Paridari, N. O’Mahony, A. El-Din Mady, R. Chabukswar, M. Boubekeur, and H. Sandberg

This paper describes an industrial control systems policy that uses estimations to provide resiliency against attacks.

ARMET: Behavior-Based Secure and Resilient Industrial Control Systems

By M. T. Khan, D. Serpanos, and H. Shrobe

This paper describes a reliable/secure-by-design methodology for industrial control systems and complementary online monitoring approach.

Improving the Safety and Security of Wide-Area Cyber–Physical Systems Through a Resource-Aware, Service-Oriented Development Methodology

By M. U. Tariq, J. Florence, and M. Wolf

This paper describes a service-oriented architecture for CPSs that preserves the quality-of- service (QoS) requirements of real-time control.

Privacy and Integrity Considerations in Hyperconnected Autonomous Vehicles

By S. Karnouskos and F. Kerschbaum

This paper examines the privacy and data integrity issues in the operation of fleets of cooperating, autonomous vehicles.

Semantics-Preserving Cosynthesis of Cyber-Physical Systems

By D. Roy, L. Zhang, W. Chang, S. K. Mitter, and S. Chakraborty

While control theory provides methods for designing provably correct controllers, there is a lack of available techniques to ensure that high-level controller models are transformed into implementations while preserving model-level semantics and safety properties. This paper reviews recent efforts to address this issue using cyber–physical system (CPS)-oriented controller/platform cosynthesis techniques.