Homes are the building block of cities and societies and therefore smart homes are critical to
establishing smart living and are expected to play a key role in enabling smart, sustainable …

Safety violations in programmable logic controllers (PLCs), caused either by faults or
attacks, have recently garnered significant attention. However, prior efforts at PLC code …

Robotics and autonomy systems are becoming increasingly important, moving from
specialised factory domains to increasingly general and consumer-focused applications. As …

Robotic vehicles (RVs) are cyber-physical systems that operate in the physical world under
the control of software functions. They are increasing in adoption in many industrial sectors …

Increasing demand for modern treatments and significant profit margins are strong
incentives for investors and producers. However, the production and use of medical devices …

Cyber–Physical Systems (CPS) connect the physical world (systems, environments, and
humans) with the cyber world (software, data, etc.) to intelligently enhance the operational …

Recent advances in sensing and computing technology have led to the proliferation of
Cyber-Physical Systems (CPS) in safety-critical domains. However, the increasing device …

Testing plays an essential role in ensuring the safety and quality of cyberphysical systems
(CPSs). One of the main challenges in automated and software-in-the-loop simulation …

Medical Cyber-physical Systems (MCPS) are vulnerable to accidental or malicious faults
that can target their controllers and cause safety hazards and harm to patients. This paper …

Robotic vehicles (RV) are increasing in adoption in many industrial sectors. RVs use auto-
pilot software for perception and navigation and rely on sensors and actuators for operating …