Demo Abstract: The Tock Embedded Operating System

Amit Levy, Daniel B. Giffin, Bradford Campbell, Shane Leonard, Branden Ghena, Pat Pannuto, Prabal Dutta, Philip Levis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationSenSys 2017 - Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems
EditorsRasit Eskicioglu
PublisherAssociation for Computing Machinery, Inc
ISBN (Electronic)9781450354592
DOIs
StatePublished - Nov 6 2017
Externally publishedYes
Event15th ACM Conference on Embedded Networked Sensor Systems, SenSys 2017 - Delft, Netherlands
Duration: Nov 6 2017Nov 8 2017

Publication series

NameSenSys 2017 - Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems
Volume2017-January

Other

Other15th ACM Conference on Embedded Networked Sensor Systems, SenSys 2017
CountryNetherlands
CityDelft
Period11/6/1711/8/17

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering
  • Computer Networks and Communications

Keywords

  • Embedded Operating Systems, Memory Allocation

Fingerprint Dive into the research topics of 'Demo Abstract: The Tock Embedded Operating System'. Together they form a unique fingerprint.

Cite this