Embedded devices are most often critical and can't afford to lag, fail or crash. But how do you guarantee a piece of software running on a piece of hardware is deterministic and will do exactly what it's supposed to do whatever the circumstances? There is something called formal methods that allows to mathematically prove that. Boyd Multerer joins me on the IoT Show to explain what formal methods are and how he is using them to build a new platform for embedded systems called Kry10 and designed for security, resiliency, and ease of management.
Learn more at https://www.kry10.com
Create your
podcast in
minutes
It is Free