SAFETY IN OUR EMBEDDED SYSTEMS

Learn how CoreGuard can ensure devices operate safely by enforcing safety rules unique to the device and the application it runs. In this paper, we describe how CoreGuard's Finite State Machine micropolicy defines the safe states of a system and enforces only the allowed transitions from one state to the next.