TY - GEN
T1 - Demo Abstract
T2 - 15th ACM Conference on Embedded Networked Sensor Systems, SenSys 2017
AU - Levy, Amit
AU - Giffin, Daniel B.
AU - Campbell, Bradford
AU - Leonard, Shane
AU - Ghena, Branden
AU - Pannuto, Pat
AU - Dutta, Prabal
AU - Levis, Philip
N1 - Publisher Copyright:
© 2017 Copyright held by the owner/author(s).
PY - 2017/11/6
Y1 - 2017/11/6
N2 - 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.
AB - 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.
KW - Embedded Operating Systems, Memory Allocation
UR - http://www.scopus.com/inward/record.url?scp=85052025860&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85052025860&partnerID=8YFLogxK
U2 - 10.1145/3131672.3136988
DO - 10.1145/3131672.3136988
M3 - Conference contribution
AN - SCOPUS:85052025860
T3 - SenSys 2017 - Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems
BT - SenSys 2017 - Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems
A2 - Eskicioglu, Rasit
PB - Association for Computing Machinery, Inc
Y2 - 6 November 2017 through 8 November 2017
ER -