Cyber-physical systems (CPS) are complex systems that interact with the physical world by leveraging the intelligence and computing power of the cloud. Functional correctness is critical as errors can lead to disastrous consequences. The first paper is an analysis tool for extracting and validating implicit assumptions in medical CPS. The second paper proposes runtime support for timing monitoring in CPS. The third paper describes a runtime structure for operating an SoC at the minimum energy point using models constructed by machine-learning. Finally, the fourth paper presents a case study on edge-cloud collaborative processing for a surveillance application.