@inproceedings{807e58535630479f9f3907b912bf5772,
title = "Demo Abstract: The Tock Embedded Operating System",
abstract = "Low-power microcontrollers lack some of the hardware features and most of the memory resources that usually enable multipro-grammable systems. Accordingly, operating system software for these platforms has not provided important features like memory isolation, dynamic memory allocation, and flexible concurrency. However, an emerging class of embedded applications are software platforms, rather than single purpose devices. Tock, a new operating system for low-power platforms, takes advantage of the limited hardware-protection mechanisms available on recent microcontrollers and the type-safety features of the Rust programming language to provide a multiprogramming environment that offers isolation of software faults, memory protection, and efficient memory management for dynamic application workloads written in any language while retaining the dependability requirements of long-running devices.",
keywords = "Embedded Operating Systems, Memory Allocation",
author = "Amit Levy and Giffin, {Daniel B.} and Bradford Campbell and Shane Leonard and Branden Ghena and Pat Pannuto and Prabal Dutta and Philip Levis",
year = "2017",
month = nov,
day = "6",
doi = "10.1145/3131672.3136988",
language = "English (US)",
series = "SenSys 2017 - Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems",
publisher = "Association for Computing Machinery, Inc",
editor = "Rasit Eskicioglu",
booktitle = "SenSys 2017 - Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems",
note = "15th ACM Conference on Embedded Networked Sensor Systems, SenSys 2017 ; Conference date: 06-11-2017 Through 08-11-2017",
}