由 Murali Talupur 发布的文章

• 使用形式化方法来验证 OTA 协议
  本帖由 Murali Talupur 于 2020 年 12 月 14 日发布
  AWS FreeRTOS 是一款实时操作系统，用于在 IoT 设备上运行，使这类设备可以与 AWS 服务轻松、可靠地进行交互。Over the Air (OTA) 更新功能可以快速、可靠地更新装有安全修补程序的设备。OTA 库，是整体 OTA 功能的一部分[…]
  继续阅读