Peripheral State Persistence For Transiently Powered Systems

Our society relies increasingly on digital technologies to communicate, seek medical information, travel, or have fun. These often-invisible technologies simplify our tasks and enrich our daily lives, while also developing the economy. Recently has emerged the concept of powered by harvesting and being able to retain information between power failures using non-volatile RAM. This report presents a software layer called that permits the use of non-trivial peripherals such as timers, serial interface or radio devices in transiently powered systems

Sytare: a Lightweight Kernel for NVRAM-Based Transiently-Powered Systems

International audienceIn a near future, energy harvesting is expected to replace batteries in ultra-low-power embedded systems. Research prototypes of such systems have recently been proposed. As the power harvested in the environment is very low, such systems need to cope with frequent power outages. They are referred to as transiently-powered systems (TPS). In order to execute non-trivial applications, TPS need to retain information between power losses. To achieve this goal, emerging non-volatile memory (NVM) technologies are a key enabler: they provide a lightweight solution to retain, between power outages, the state of an application and of its peripheral devices. These include sensors, serial interface or radio devices for instance. Existing works have described various checkpointing mechanisms to adapt embedded applications to TPS but the use of peripherals was not yet handled. in these works. This paper proposes a solution for embedded applications using any peripheral device to run despite transient power. We follow a kernel-oriented approach resulting in minimal impact on the programming model of the application. We implement the new concepts in our lightweight kernel called Sytare, running on an MSP430FR5739 micro-controller and we analyze the cost of the proposed solution

Functional characterization of reappearing B cells after anti-CD20 treatment of CNS autoimmune disease.

The anti-CD20 antibody ocrelizumab, approved for treatment of multiple sclerosis, leads to rapid elimination of B cells from the blood. The extent of B cell depletion and kinetics of their recovery in different immune compartments is largely unknown. Here, we studied how anti-CD20 treatment influences B cells in bone marrow, blood, lymph nodes, and spleen in models of experimental autoimmune encephalomyelitis (EAE). Anti-CD20 reduced mature B cells in all compartments examined, although a subpopulation of antigen-experienced B cells persisted in splenic follicles. Upon treatment cessation, CD20+ B cells simultaneously repopulated in bone marrow and spleen before their reappearance in blood. In EAE induced by native myelin oligodendrocyte glycoprotein (MOG), a model in which B cells are activated, B cell recovery was characterized by expansion of mature, differentiated cells containing a high frequency of myelin-reactive B cells with restricted B cell receptor gene diversity. Those B cells served as efficient antigen-presenting cells (APCs) for activation of myelin-specific T cells. In MOG peptide-induced EAE, a purely T cell-mediated model that does not require B cells, in contrast, reconstituting B cells exhibited a naive phenotype without efficient APC capacity. Our results demonstrate that distinct subpopulations of B cells differ in their sensitivity to anti-CD20 treatment and suggest that differentiated B cells persisting in secondary lymphoid organs contribute to the recovering B cell pool

Intermittent Computing: Challenges and Opportunities

The maturation of energy-harvesting technology and ultra-low-power computer systems has led to the advent of intermittently-powered, batteryless devices that operate entirely using energy extracted from their environment. Intermittently operating devices present a rich vein of programming languages research challenges and the purpose of this paper is to illustrate these challenges to the PL research community. To provide depth, this paper includes a survey of the hardware and software design space of intermittent computing platforms. On the foundation of these research challenges and the state of the art in intermittent hardware and software, this paper describes several future PL research directions, emphasizing a connection between intermittence, distributed computing, energy-aware programming and compilation, and approximate computing. We illustrate these connections with a discussion of our ongoing work on programming for intermittence, and on building and simulating intermittent distributed systems

Transiently Powered Computers

Demand for compact, easily deployable, energy-efficient computers has driven the development of general-purpose transiently powered computers (TPCs) that lack both batteries and wired power, operating exclusively on energy harvested from their surroundings. TPCs\u27 dependence solely on transient, harvested power offers several important design-time benefits. For example, omitting batteries saves board space and weight while obviating the need to make devices physically accessible for maintenance. However, transient power may provide an unpredictable supply of energy that makes operation difficult. A predictable energy supply is a key abstraction underlying most electronic designs. TPCs discard this abstraction in favor of opportunistic computation that takes advantage of available resources. A crucial question is how should a software-controlled computing device operate if it depends completely on external entities for power and other resources? The question poses challenges for computation, communication, storage, and other aspects of TPC design. The main idea of this work is that software techniques can make energy harvesting a practicable form of power supply for electronic devices. Its overarching goal is to facilitate the design and operation of usable TPCs. This thesis poses a set of challenges that are fundamental to TPCs, then pairs these challenges with approaches that use software techniques to address them. To address the challenge of computing steadily on harvested power, it describes Mementos, an energy-aware state-checkpointing system for TPCs. To address the dependence of opportunistic RF-harvesting TPCs on potentially untrustworthy RFID readers, it describes CCCP, a protocol and system for safely outsourcing data storage to RFID readers that may attempt to tamper with data. Additionally, it describes a simulator that facilitates experimentation with the TPC model, and a prototype computational RFID that implements the TPC model. To show that TPCs can improve existing electronic devices, this thesis describes applications of TPCs to implantable medical devices (IMDs), a challenging design space in which some battery-constrained devices completely lack protection against radio-based attacks. TPCs can provide security and privacy benefits to IMDs by, for instance, cryptographically authenticating other devices that want to communicate with the IMD before allowing the IMD to use any of its battery power. This thesis describes a simplified IMD that lacks its own radio, saving precious battery energy and therefore size. The simplified IMD instead depends on an RFID-scale TPC for all of its communication functions. TPCs are a natural area of exploration for future electronic design, given the parallel trends of energy harvesting and miniaturization. This work aims to establish and evaluate basic principles by which TPCs can operate

Sytare: Persistence de l'état des périphériques pour les systèmes à alimentation intermittente

National audienceLes systèmes dits à alimentation intermittente sont de petits systèmes embarqués récupérant l'énergie dans leur environnement. À cause de contraintes de taille et de coût, ils subissent de fréquentes coupures de courant, mais sont néanmoins capables d'exécuter un programme logiciel, en sauvegardant les données nécessaires au calcul dans une mémoire non-volatile. Cet article présente une technique permettant à ces systèmes d'utiliser des périphériques non triviaux tels qu'un convertisseur analogique-numérique, une interface série ou une radio