Cyber-physical systems (CPS), as a multidisciplinary area, have been widely adopted in
our daily life and attract experts from various fields. CPS aims to achieve real-time and
resilient connection with physical world through integration of computation, communication
and control technologies. Many CPS systems, such as automotive, avionics, and industrial
system, operate under harsh and continuously changing environment. As those systems are
safety-critical, the system’s resiliency, including extensibility, security, stability and faulttolerance capability of the systems, must be considered during early design stage. However,
addressing these issues is increasingly challenging due to (1) the steadily-growing complexity
of system functionalities, (2) limited computation resources, (3) stringent timing constraints
and (4) highly dynamic environment perturbations. Moreover, the addition of resiliencyrelated techniques, e.g. message monitoring, control adaptation, error detection and recovery,
etc., may further complicate the design, verification and validation of CPS systems.