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 allow 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

Lior Kamrat joins me on the IoT Show to discuss the latest announcement from the Azure IoT team at Microsoft Ignite. We chat about Azure IoT Operations as well as the growing role containers, Kubernetes and Azure will be playing at the Edge. You can learn more about Azure Arc and Azure IoT Operations jumping in https://aka.ms/ArcJumpstartAIO

Managing large fleets of IoT devices is complex due to the very nature of these devices: different types, different host OS, different everything! Marc Pous, the IoT Giant, joins me on the IoT Show to discuss what you need to consider when deploying and managing large fleet of IoT devices and demonstrate Balena.io.

How do you do IoT right? Let's ask someone from a company that knows what they're doing and has been doing that for a long time. Acuity Brands is an industrial-tech company that has been around for over 100 years doing smart building, smart lighting and more. Carl Coken leads engineering teams and is working on IoT and digital twins under the company’s Intelligent Spaces Group (https://bit.ly/3GiXsI5). Carl has a lot to say about how to do IoT right.

Is IoT devices development accessible to all developers? Can a @dotnet developer go from getting started with a maker project all the way to production? These are the questions asked to @shanselman, THE .NET developer, on this new episode of the IoT Show. Scott shares his experience and perspective and makes his point demonstrating @WildernessLabs ' #Meadow

Pete Bernard is a seasoned Edge expert who joins me on the #IoTShow to discuss the state of the Edge, how critical is has become, in which industries and why. We discuss the challenges one should expect when implementing a solution with components at the Edge, the next milestones for the Edge and how the Edge can help reduce the environmental impact of AI. Learn more about Peter Bernard and his technology practice called EDGECELSIOR at https://www.edgecelsior.com/ Pete also has a podcast you will want to start following as well: https://www.buzzsprout.com/2188588

Let's play a little game of Myth or Reality with IoT. To debunk some statements about IOT such as "IoT is Dead", "There is no Industrial AI without IoT" or "There will be 10 gazillion devices connected by 2050", Rick Bullotta accepted to join me on this new episode of the IoT Show. Rick knows IoT well. He started his journey in Industrial IoT and went through several companies and products creation. You might know him as the co-creator of ThingWorx. Bottom line is: Rick is the right person to help me debunk IoT myths and realities.

How does one become an IoT Expert? What are the experiences and the learnings necessary to build an expertise in a domain as broad and technical as the Internet of Things? I asked these questions on the IoT Show to the worldwide renowned IoT Expert Rob Tiffany who started his career as a submarine pilot in the US military.