Provably safe programming on ARM processors

Proving the reliability of your software on small boards running ARM processors is possible through the use of the SPARK and Ada programming languages. Here we highlight a number of applications doing...



The big role of security in networked devices

A discussion about how security concerns can put networked embedded IoT devices at risk. All embedded developers now have to think about the implication of security on their networked devices. Dave Hu...






System-Level solutions for the Internet of Things

Wind River addresses the challenges and opportunities created by the Internet of Things from devices at the edge, through gateways, across the network, and up into the cloud with its comprehensive pro...









Reliable Networking & eMMC Software for IoT Devices

HCC demonstrate reliable solutions for embedded networking and fail-safe storage on eMMC flash at Embedded World 2015. As storage and communications become mission critical for embedded IoT devices, H...





IoT needs embedded security solutions

Dynamic and complex environments in the Internet of Things such as industrial applications and smart homes call for scalable and tailored security solutions. Infineon offers reliable security solution...