Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Mon 23 Oct 2017 11:30 - 12:00 at Oxford - Second session

Cyber-Physical Systems (CPS) are comprised of a network of devices that vary widely in complexity, ranging from simple sensors to autonomous robots. %Nonetheless there is a central command and control unit as we find in the %traditional client-server architecture. Traditionally, controlling and sensing these devices happens through API communication, in either push or pull-based fashion. We argue that the computational power of these devices is converging to the point where they can do autonomous computations. This allows application programmers to run programs locally on the sensors, thereby reducing the communication and workload of more central command and control entities.

This work introduces the Potato framework that aims to make programming CPS systems intuitively easy and fast. Potato is based on three essential mechanisms: failure handling by means of leasing, distribution by means of first-class reactive programs, and intentional retroactive designation of the network by means of capabilities and dynamic properties.

In this paper we focus on the reactive capabilities of our framework. Potato enables programmers to create and deploy first-class reactive programs on CPS devices at run time, abstracting away from the API approach. Each node in the network is equipped with a minimal actor-based runtime that can execute first-class reactive programs. We have implemented Potato as a library in Elixir and have used it to implement several small examples.

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
Second sessionREBLS at Oxford
10:30
30m
Talk
Handling Partial Failures in Distributed Reactive Programming
REBLS
Florian Myter Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
11:00
30m
Talk
A DSL for Compensable and Interruptible Executions
REBLS
Hiroaki Inoue Graduate School of Informatics, Kyoto University, Tomoyuki Aotani Tokyo Institute of Technology, Atsushi Igarashi Kyoto University, Japan
11:30
30m
Talk
First-class Reactive Programs for CPS
REBLS
Christophe De Troyer , Jens Nicolay Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Pre-print