Velox VM: A safe execution environment for resource-constrained IoT applications

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 devel ...

[1]  Niels Provos,et al.  Improving Host Security with System Call Policies , 2003, USENIX Security Symposium.

[2]  Henry Hoffmann,et al.  JouleGuard: energy guarantees for approximate applications , 2015, SOSP.

[3]  Luca Mottola,et al.  Drop the phone and talk to the physical world: Programming the internet of things with Erlang , 2012, 2012 Third International Workshop on Software Engineering for Sensor Network Applications (SESENA).

[4]  John A. Stankovic,et al.  t-kernel: providing reliable OS support to wireless sensor networks , 2006, SenSys '06.

[5]  Matteo Petracca,et al.  PyFUNS: A Python Framework for Ubiquitous Networked Sensors , 2015, EWSN.

[6]  Gidon Ernst,et al.  Optimized Java Binary and Virtual Machine for Tiny Motes , 2010, DCOSS.

[7]  Zhao Li,et al.  SIFT: building an internet of safe things , 2015, IPSN.

[8]  Muneeb Ali,et al.  Protothreads: simplifying event-driven programming of memory-constrained embedded systems , 2006, SenSys '06.

[9]  Giancarlo Fortino,et al.  Towards a Development Methodology for Smart Object-Oriented IoT Systems: A Metamodel Approach , 2015, 2015 IEEE International Conference on Systems, Man, and Cybernetics.

[10]  Amin Vahdat,et al.  Currentcy: A Unifying Abstraction for Expressing Energy Management Policies , 2003, USENIX Annual Technical Conference, General Track.

[11]  Amin Vahdat,et al.  ECOSystem: managing energy as a first class operating system resource , 2002, ASPLOS X.

[12]  Gilad Bracha,et al.  The Java Virtual Machine Specification, Java SE 8 Edition , 2013 .

[13]  David E. Culler,et al.  Active sensor networks , 2005, NSDI.

[14]  Corrado Santoro,et al.  JarvSis: a distributed scheduler for IoT applications , 2017, Cluster Computing.

[15]  Jonathan Rees,et al.  Revised3 report on the algorithmic language scheme , 1986, SIGP.

[16]  Adam Dunkels,et al.  A database in every sensor , 2011, SenSys.

[17]  Pedro José Marrón,et al.  COOJA/MSPSim: interoperability testing for wireless sensor networks , 2009, SimuTools.

[18]  Jerome H. Saltzer,et al.  The protection of information in computer systems , 1975, Proc. IEEE.

[19]  Philip Levis,et al.  Energy management in mobile devices with the cinder operating system , 2011, EuroSys '11.

[20]  David E. Culler,et al.  Enabling Synergy in IoT: Platform to Service and Beyond , 2016, 2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI).

[21]  Adam Dunkels,et al.  Software-based on-line energy estimation for sensor nodes , 2007, EmNets '07.

[22]  Philip Levis,et al.  Maté: a tiny virtual machine for sensor networks , 2002, ASPLOS X.

[23]  Pedro José Marrón,et al.  Meeting lifetime goals with energy levels , 2007, SenSys '07.

[24]  Chenyang Lu,et al.  Servilla: A flexible service provisioning middleware for heterogeneous sensor networks , 2012, Sci. Comput. Program..

[25]  Adam Dunkels,et al.  Contiki - a lightweight and flexible operating system for tiny networked sensors , 2004, 29th Annual IEEE International Conference on Local Computer Networks.

[26]  Philip Levis,et al.  Usenix Association 8th Usenix Symposium on Operating Systems Design and Implementation 323 Quanto: Tracking Energy in Networked Embedded Systems , 2022 .

[27]  Somesh Jha,et al.  FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution , 2013, USENIX Security Symposium.

[28]  MengChu Zhou,et al.  Towards interoperable, cognitive and autonomic IoT systems: An agent-based approach , 2016, 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT).

[29]  Adam Dunkels,et al.  Powertrace: Network-level Power Profiling for Low-power Wireless Networks , 2011 .

[30]  Adam Dunkels,et al.  The ContikiMAC Radio Duty Cycling Protocol , 2011 .

[31]  Matt Welsh,et al.  Resource aware programming in the Pixie OS , 2008, SenSys '08.

[32]  Peter I. Corke,et al.  Darjeeling, a feature-rich VM for the resource poor , 2009, SenSys '09.