Write a Blog >>
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Mon 23 Oct 2017 13:30 - 14:00 at Oxford - Third session

With Internet of Things applications growing in size and popularity, physical sensor networks are more often running multiple complex applications. It becomes increasingly important to maintain these event-driven programs on embedded systems. Traditionally, event-driven applications such as sensor network applications are written using an imperative style of programming where different callback routines are registered to handle events. As the application complexity grows, the maintainability of this style of programming becomes an issue. Furthermore, sensor network applications are inherently distributed and are written by manually managing code-bases of sub-applications that go on all nodes separately.

We propose a more maintainable approach where the developer essentially writes a meta-program that constructs a first-order FRP program. From that FRP program we generate efficient C code. Every module of the FRP program is compiled to a separate C module, making it easy to deploy modules to different nodes, and to enhance the security of the application by isolating modules from other software running on the nodes. Our implementation is based on a Scala EDSL that makes it convenient to write such meta-programs, and we use Lightweight Modular Staging to generate annotated C code. The annotated C code gets compiled to Sancus, a security architecture for IoT nodes that supports the secure and distributed execution of the generated modules.

Mon 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

13:30 - 15:00: Third sessionREBLS at Oxford
13:30 - 14:00
Ben Calusimec - DistriNet, KU Leuven, Bob Reyndersimec-DistriNet, KU Leuven, Belgium, Dominique DevrieseKU Leuven, Job NoormanKU Leuven, Frank PiessensKU Leuven
14:00 - 14:30
Sam Van den Vonder, Joeri De KosterVrije Universiteit Brussel, Belgium, Florian MyterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
DOI Pre-print
14:30 - 15:00