Task Oriented Programming for the Internet of Things
Task Oriented Programming (TOP) is a novel programming paradigm originally created to implement collaborative reactive multi-user systems. A task in TOP is a description of what needs to be done. Each task is specified by a function and evaluated at an event. The result of this evaluation is observable by other tasks even if the task is not finished. A program is a composition of tasks. The iTasks system is an implementation of TOP based on web-servers. For example, it is very suitable to program Microcontroller Units (MCUs) because they often follow similar design patterns. To cope with to the memory and processing limitations of MCUs we defined the embedded Domain Specific Language (eDSL) mTask. In this presentation, we introduce mTask and show how it is implemented such that tasks can be dynamically shipped to an MCU and executed there. MTask tasks can be generated by iTasks programs. They can communicate via Shared Data Sources (SDSs). With this new technique, one can make an entire Internet of Things (IoT) system in a single statically typed source program. This prevents many maintenance and version problems rooting from the impedance mismatch.
Thu 22 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:10 | |||
13:30 25mTalk | From Rascal to JVM byte code: a play in several acts PLNL | ||
13:55 25mTalk | Intrinsically Typed Definitional Interpreters: The Good, The Bad, and The Ugly PLNL Casper Bach Poulsen Delft University of Technology | ||
14:20 25mTalk | Task Oriented Programming for the Internet of Things PLNL Mart Lubbers Radboud University Nijmegen, Pieter Koopman Radboud University Nijmegen, Netherlands, Rinus Plasmeijer Radboud University Nijmegen | ||
14:45 25mTalk | A Functional Approach to Blockchain Contract Languages PLNL Manuel Chakravarty Tweag I/O & IOHK |