Optimal Checkpointing for Secure Intermittently-Powered IoT Devices

Energy harvesting is a promising solution to power Internet of Things (IoT) devices. Due to the intermittent nature of these energy sources, one cannot guarantee forward progress of program execution. Prior work has advocated for checkpointing the intermediate state to off-chip non-volatile memory (NVM). Encrypting checkpoints addresses the security concern, but significantly increases the checkpointing overheads. In this paper, we propose a new online checkpointing policy that judiciously determines when to checkpoint so as to minimize application time to completion while guaranteeing security. Compared to state-of-the-art checkpointing schemes that do not account for the overheads of encrypted checkpoints we improve execution time up to 1.4x.Comment: ICCAD 201

A Traveling Standard for the Calibration of Data Acquisition Boards

The large use of measurement systems based on data acquisition boards makes the traceability-chain assurance a tricky problem due to the difficulty in consistently calibrating such boards. In this paper, the authors describe a traveling standard which can be used for the calibration of many commercially available acquisition boards. By employing such a traveling standard, the calibration procedure can be remotely exercised by a calibration laboratory through the personal computer which hosts the board that has to be calibrated. In such a way, the calibration results refer to environmental, software, and hardware conditions that exactly match the board-operating conditions. Furthermore, the board unavailability time is drastically reduced, with a consequent economic advantage for the board owner. The traveling standard is based on a microcontroller which is responsible for the communication with the PC that hosts the board and for the board-stimulus generation, and on a digital multimeter, which acts as a reference standard

A Memristor as Multi-Bit Memory: Feasibility Analysis

The use of emerging memristor materials for advanced electrical devices such as multi-valued logic is expected to outperform today's binary logic digital technologies. We show here an example for such non-binary device with the design of a multi-bit memory. While conventional memory cells can store only 1 bit, memristors-based multi-bit cells can store more information within single device thus increasing the information storage density. Such devices can potentially utilize the non-linear resistance of memristor materials for efficient information storage. We analyze the performance of such memory devices based on their expected variations in order to determine the viability of memristor-based multi-bit memory. A design of read/write scheme and a simple model for this cell, lay grounds for full integration of memristor multi-bit memory cell