Abstract : Malware and forensic analyses of embedded cyber-physical systems are tedious, manual processes that testbeds are commonly not designed to support. Additionally, attesting the physics impact of embedded cyber-physical system malware has no formal methodologies and is currently an art. This chapter describes a novel testbed design methodology that integrates virtualized embedded industrial control systems and physics simulators, thereby supporting malware and forensic analyses of embedded cyber-physical systems without risks. Unlike existing hardware-based testbeds, the resulting soft industrial control system testbeds are portable, distributable and expandable by design. However, embedded system virtualization is non-trivial, especially at the firmware level, and solutions vary widely depending on the embedded system architectures and operating systems. This chapter discusses how the proposed methodology overcomes the challenges to virtualizing embedded systems and explores the benefits via a proof-of-concept implementation involving a Siemens MJ-XL variable step voltage regulator control panel.
https://hal.inria.fr/hal-01614868 Contributor : Hal IfipConnect in order to contact the contributor Submitted on : Wednesday, October 11, 2017 - 3:00:01 PM Last modification on : Friday, May 21, 2021 - 6:38:02 PM Long-term archiving on: : Friday, January 12, 2018 - 2:36:14 PM
Owen Redwood, Jason Reynolds, Mike Burmester. Integrating Simulated Physics and Device Virtualization in Control System Testbeds. 10th International Conference on Critical Infrastructure Protection (ICCIP), Mar 2016, Arlington, VA, United States. pp.185-202, ⟨10.1007/978-3-319-48737-3_11⟩. ⟨hal-01614868⟩