Quality RTOS & Embedded Software

Articles by Nathan Chong

  • Ensuring the Memory Safety of FreeRTOS Part 2
    In Part 1, we discussed how FreeRTOS is addressing an important source of security issues — buffer overflows — by ensuring the memory safety of the TCP/IP, ARP, DHCP, DNS, and HTTPS header parsing in the FreeRTOS+TCP TCP/IP stack. We described how we’re using an automated reasoning technique, software model checking, and how the level […]
    Read more…
  • Ensuring the Memory Safety of FreeRTOS Part 1
    FreeRTOS is a real-time operating system designed for resource-constrained devices, including devices in the Internet of Things (IoT). Because these devices are resource-constrained, they do not provide all the hardware mechanisms richer operating systems utilize to protect the system from external adversaries. On such small devices, security depends on simpler memory protection and execution privilege level hardware, […]
    Read more…
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.