Cyber-physical systems (CPS), particularly those within the safety-critical domain, must continually ensure that their requirements are being satisfied. To support online requirements satisfaction, a CPS can be modeled with self-adaptive characteristics (SA-CPS) to enable the system to self-reconfigure as uncertainty manifests in both the environment and the system itself.
