Explanation of Demonstration: The Cyber-Physical Systems Virtual Organization (CPS-VO) was founded by NSF in 2010 to: (i) facilitate and foster interaction and exchanges among CPS PIs and their teams; (ii) enable sharing of artifacts and knowledge generated by the projects with the broader engineering and scientific communities; and (iii) facilitate and foster collaboration and information exchange between CPS researchers and industry.

Factories, chemical plants, automobiles, and aircraft have come to be described today as cyber-physical systems of systems--distinct systems connected to form a larger and more complex system. For many such systems, correct operation is critical to safety, making their security of paramount importance. Unfortunately, because of their heterogeneous nature and special purpose, it is very difficult to determine whether a malicious attacker can make them behave in a manner that causes harm. This type of security analysis is an essential step in building and certifying secure systems.