High-Confidence Cyber-Physical Systems (HCCPS)

The High-Confidence Cyber-Physical Systems (HCCPS) project is predicated on the dire need for techniques to certify software reliant systems that interact with the physical world—a.k.a. cyber-physical systems (CPS). Examples include avionics systems—e.g., the need to certify unmanned aerial vehicles before their insertion into civilian airspace was highlighted by a recent report [DSB 2012]—missile systems, and autonomous vehicles.