Embedded systems are deeply integrated into critical applications but, despite their importance, lack an effective means to apply over-the-air software patches without significant downtime. Standard mechanisms for firmware updates require device reboots that wipe important in-memory state. Prior efforts have proposed "live" updates to address this problem, applying patches to an embedded application without a reset, but they tackle a limited set of applications or propose a clean-slate design. In this paper, we present Retcon, a live update toolchain for embedded systems that supports a familiar event-driven programming model and does not require application code changes. Retcon leverages static analysis at compile time to determine when it will be safe to update a device. To find safe update points in the presence of complex asynchronous behavior, we define a novel system state, asynchronous quiescence, in which an update can be applied. We evaluate Retcon on a set of embedded event-driven applications – a dual-chamber pacemaker model, a programmable logic controller runtime, an artificial pancreas system, and a sensing node – and demonstrate Retcon’s ability to make low-overhead updates in less than one millisecond.
LoRa technology has garnered significant attention for its exceptional performance in city-wide applications. LoRa encodes data across multiple samples to enable long-range communication, with the level of redundancy controlled by the Spreading Factor (SF). However, practical limitations restrict how high the SF can be set. To overcome communication challenges at the highest allowable SF settings, we introduce SF-any, a software-based coding paradigm that extends an SFk packet to a quasi-SF(k + m) packet. SF-any encodes a quasi-SF(k + m) symbol with 2 m SFk symbols. Hardware imperfections introduce time-varying frequency drifts and phase offsets, resulting in frequency leakage during quasi-SF(k +m) packet decoding. To mitigate this, we strategically insert pilots into the packet for imperfection estimation and compensation. Additionally, to maintain and exploit the coding structure in LoRa PHY, we employ a grouped repetition code at the transmitter and a joint demodulation and decoding scheme at the receiver. Comprehensive evaluations demonstrate that SF-any’s performance seamlessly scales with increasing SF, achieving up to a 14dB improvement over SF12 packets (the highest SF in LoRa PHY), and up to a 12dB improvement compared with state-of-the-art approaches.
Accurate motion capture of aerial robots in 3D is a key enabler for autonomous operation. Recently, some research considers using MM-Wave radar sensors for drone motion capture. However, due to the high noise and difficulty in capturing the center of an object in MM-Wave radar, the existing traditional methods have achieved unsatisfactory results. We develop a novel adaptive chirps domain window order method for MM-Wave radar data and customize a neural network architecture.
With the advancement of the Internet of Medical Things (IoMT) and cryptographic technologies, remote healthcare services have become more widespread, presenting new challenges for patient privacy and data security. Conventional security mechanisms, such as centralized authentication and key distribution systems, are susceptible to single points of failure and significant management burdens, potentially leading to compromised authentication centers and internal security threats. In response, this study presents a threshold signature algorithm, it uses Distributed Key Generation (DKG) that distributes private keys without the need for a trusted key distributor, requiring the cooperative signature of at least two nodes for authentication. This approach not only circumvents the risk of single points of failure but also enhances the system’s robustness and efficiency. The experimental results validate its prospective utility in safeguarding remote healthcare data.
Battery-free sensing devices have gained growing popularity as they can operate relying solely on harvested energy and environmentally friendly capacitors. However, despite the increasing number of battery-free solutions, their design remains a difficult task. In fact, the limited energy storage capacity and the resulting coupling between energy supply and demand introduce new design trade-offs that cannot be explored using conventional tools that consider a constant power supply. To enable fast design space exploration and facilitate the development of battery-free systems, we introduce Simba, an open-source simulation framework that allows to investigate in detail the complex interplay between various device components. We demonstrate the benefits of Simba in two case studies, evaluated experimentally, targeting real-world, state-of-the-art battery-free devices. First, we illustrate how Simba can explore the dependencies between different component configurations and assess their impact on the overall system performance. Among others, we show that changing the storage capacity or slightly modifying the load behavior can improve data throughput by a factor of up to 5.1x and 9.7x, respectively. Second, we present how Simba allows to automatically select key parameters that optimize the operations of a battery-free system (e.g., its checkpointing mechanism), and showcase how Simba enables performance evaluations based on real-world energy harvesting traces.CCS CONCEPTS• Computer systems organization → Embedded systems.
