Introducing Kry10
Episode 8 of the The IoT Show podcast, hosted by Olivier Bloch, titled "Introducing Kry10" was published on January 25, 2024 and runs 23 minutes.
January 25, 2024 ·23m · The IoT Show
Summary
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
Episode Description
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