Velox VM: A safe execution environment for resource-constrained IoT applications. (15th September 2018)
- Record Type:
- Journal Article
- Title:
- Velox VM: A safe execution environment for resource-constrained IoT applications. (15th September 2018)
- Main Title:
- Velox VM: A safe execution environment for resource-constrained IoT applications
- Authors:
- Tsiftes, Nicolas
Voigt, Thiemo - Abstract:
- Abstract: We present Velox, a virtual machine architecture that provides a safe execution environment for applications in resource-constrained IoT devices. Our goal with this architecture is to support developers in writing and deploying safe IoT applications, in a manner similar to smartphones with application stores. To this end, we provide a resource and security policy framework that enables fine-grained control of the execution environment of IoT applications. This framework allows device owners to configure, e.g., the amount of bandwidth, energy, and memory that each IoT application can use. Velox's features also include support for high-level programming languages, a compact bytecode format, and preemptive multi-threading. In the context of IoT devices, there are typically severe energy, memory, and processing constraints that make the design and implementation of a virtual machine with such features challenging. We elaborate on how Velox is implemented in a resource-efficient manner, and describe our port of Velox to the Contiki OS. Our experimental evaluation shows that we can control the resource usage of applications with a low overhead. We further show that, for typical I/O-driven IoT applications, the CPU and energy overhead of executing Velox bytecode is as low as 1–5% compared to corresponding applications compiled to machine code. Lastly, we demonstrate how application policies can be used to mitigate the possibility of exploiting vulnerable applications.
- Is Part Of:
- Journal of network and computer applications. Volume 118(2018)
- Journal:
- Journal of network and computer applications
- Issue:
- Volume 118(2018)
- Issue Display:
- Volume 118, Issue 2018 (2018)
- Year:
- 2018
- Volume:
- 118
- Issue:
- 2018
- Issue Sort Value:
- 2018-0118-2018-0000
- Page Start:
- 61
- Page End:
- 73
- Publication Date:
- 2018-09-15
- Subjects:
- Internet of things -- Embedded systems -- Virtual machine -- Resource management -- Policy enforcement -- High-level programming
Microcomputers -- Periodicals
Computer networks -- Periodicals
Application software -- Periodicals
Micro-ordinateurs -- Périodiques
Réseaux d'ordinateurs -- Périodiques
Logiciels d'application -- Périodiques
Application software
Computer networks
Microcomputers
Periodicals
004.05
004 - Journal URLs:
- http://www.sciencedirect.com/science/journal/10848045 ↗
http://www.elsevier.com/journals ↗ - DOI:
- 10.1016/j.jnca.2018.06.001 ↗
- Languages:
- English
- ISSNs:
- 1084-8045
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 5021.410600
British Library DSC - BLDSS-3PM
British Library HMNTS - ELD Digital store - Ingest File:
- 17124.xml