With electronic devices increasingly interacting with each other and with the physical world around them, device behavior is becoming more and more like human behavior, namely reliant on experiences and not just data. Hence, there's a disconnect between how most devices have been engineered and what what practitioners are expecting them to do, and because of this fact, there's also a disconnect between the common cyber-security protections that protect data and some of the desirable proofs and verifications that can be highly valuable to cyber-physical devices.
