Write a Blog >>
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
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00: Second sessionREBLS at Oxford
10:30 - 11:00
Handling Partial Failures in Distributed Reactive Programming
Florian MyterVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
11:00 - 11:30
A DSL for Compensable and Interruptible Executions
Hiroaki InoueGraduate School of Informatics, Kyoto University, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan
11:30 - 12:00
First-class Reactive Programs for CPS
Christophe De Troyer, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel