Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software Restart.

Luyao Niu Dinuka Sahabandu Andrew Clark Radha Poovendran

Published in: ICCPS (2022)

Keyphrases

cyber physical systems
cyber physical
software systems
random walk
software development
embedded systems
user interface
computer systems
source code
computational intelligence
social networks
information technology
high speed
software projects