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 - 11:00 Talk | Handling Partial Failures in Distributed Reactive Programming REBLS Florian MyterVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Link to publication | ||
11:00 - 11:30 Talk | A DSL for Compensable and Interruptible Executions REBLS Hiroaki InoueGraduate School of Informatics, Kyoto University, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan | ||
11:30 - 12:00 Talk | First-class Reactive Programs for CPS REBLS Christophe De Troyer, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel Pre-print |