Quality RTOS & Embedded Software

Articles by Murali Talupur

  • Using Formal Methods to validate OTA Protocol
    AWS FreeRTOS is a real-time operating system designed to run on IoT devices to enable them to interact easily and reliably with AWS services. The Over the Air (OTA) update functionality makes it possible to update a device with security fixes quickly and reliably. The OTA Library, a part of the overall OTA functionality that […]
    Read more…
Copyright (C) Amazon Web Services, Inc. or its affiliates. All rights reserved.