Threading the Arduino with Haskell

Grebe, Mark; Gill, Andy

doi:10.1007/978-3-030-14805-8_8

Cited by 6 publications

(6 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Figure 3 depicts the current consumption of this example. The longer upper 9 See https://www.wemos.cc/en/latest/d1 mini shield/sht30.html. bound of the refresh interval enables deep sleep between individual measurements.…”

Section: Resulting Power Reductionsmentioning

confidence: 99%

Reducing the Power Consumption of IoT with Task-Oriented Programming

Crooijmans

Lubbers

Koopman

2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Limiting the energy consumption of IoT nodes is a hot topic in green computing. For battery-powered devices this necessity is obvious, but the enormous growth of the number of IoT nodes makes energy efficiency important for every node in the IoT. In this paper, we show how we can automatically compute execution intervals for our task-oriented programs for the IoT. These intervals offer the possibility to save energy by bringing the microprocessor driving the IoT node into a low-power sleep mode until the task need to be executed. Furthermore, they offer an elegant way to add interrupts to the system. We do allow an arbitrary number of tasks on the IoT nodes and achieve significant reductions of the energy consumption by bringing the microprocessor in sleep mode as much as possible. We have seen energy reductions of an order of magnitude without imposing any constraints on the tasks to be executed on the IoT nodes.

show abstract

Section: Resulting Power Reductionsmentioning

confidence: 99%

Reducing the Power Consumption of IoT with Task-Oriented Programming

Crooijmans

Lubbers

Koopman

2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Grebe and Gill (2016) wrapped Firmata in a remote monad for integration with Haskell that allowed imperative code to be interpreted on the microprocessors. Later this system was extended to support multithreading as well, stepping away from Firmata as the basis and using their own RTS (Grebe and Gill, 2019). Both differ from our approach because it is required to mark continuation points by hand and there is no automatic safe data communication.…”

Section: Discussionmentioning

confidence: 99%

Orchestrating the Internet of Things with Task-Oriented Programming

Lubbers

2023

View full text Add to dashboard Cite

The development of reliable software for the internet of things (IoT) is difficult because IoT systems are dynamic, interactive, distributed, collaborative, multi-tiered, and multitasking in nature. The complexity is increased further by semantic friction that arises through different hardware and software characteristics between tiers. Many computers that operate in IoT systems are edge devices that interact with the environment using sensors and actuators. Edge devices are often powered by low-cost microcontrollers designed for embedded applications. They have little memory, unhurried processors, and are slow in communication but are also small and energy efficient. Task-oriented programming (TOP) can cope with the challenges of IoT programming. In TOP, the main building blocks are tasks, an abstract representation of work. During execution, the current value of the task is observable, and other tasks can act upon it. Collaboration patterns can be modelled by combining and transforming tasks into compound tasks. Programming edge devices benefits from TOP as well, but running such a system within the limitations of resource-constrained microcontrollers is not straightforward. This dissertation demonstrates how to include edge devices in TOP systems using domain-specific languages (DSLs). With these techniques, all tiers and their interoperation of an IoT system are specified in a single high-level source, language, paradigm, high abstraction level, and type system. First, I present advanced DSL embedding techniques. Then mTask is shown, a TOP DSL for IoT edge devices, embedded in iTask. Tasks are constructed and compiled at run time in order to allow tasks to be tailored to the current work requirements. The task is then sent to the device for interpretation. A device is programmed once with a lightweight domain-specific OS to be used in an mTask system. This OS executes tasks in an energy-efficient way and automates all communications and data sharing. All aspects of the mTask system are shown: example applications, language design, implementation details, integration with iTask, and green computing facilities such as automatic sleeping. Finally, tierless IoT programming is compared to traditional tiered programming. In tierless programming frameworks, the size of the code and the number of required programming languages is reduced significantly. By using a single paradigm and a system-wide type system, tierless programming reduces problems such as semantic friction; maintainability and robustness issues; and interoperation safety.

show abstract

“…Haskino is one of the few tierless IoT languages [6]. It is integrated in the Haskell functional language and uses runtime provisioning to control Arduino devices.…”

Section: Other Tierless Iot Systemsmentioning

confidence: 99%

Tiered versus tierless IoT stacks

Lubbers

Koopman

Ramsingh

et al. 2020

Proceedings of the 10th International Conference on the Internet of Things

View full text Add to dashboard Cite

The following full text is a publisher's version.For additional information about this publication click this link. https://hdl.handle.net/2066/225814Please be advised that this information was generated on 2022-01-24 and may be subject to change. Article 25fa pilot End User AgreementThis publication is distributed under the terms of Article 25fa of the Dutch Copyright Act (Auteurswet) with explicit consent by the author. Dutch law entitles the maker of a short scientific work funded either wholly or partially by Dutch public funds to make that work publicly available for no consideration following a reasonable period of time after the work was first published, provided that clear reference is made to the source of the first publication of the work. This publication is distributed under The Association of Universities in the Netherlands (VSNU) 'Article 25fa implementation' pilot project. In this pilot research outputs of researchers employed by Dutch Universities that comply with the legal requirements of Article 25fa of the Dutch Copyright Act are distributed online and free of cost or other barriers in institutional repositories. Research outputs are distributed six months after their first online publication in the original published version and with proper attribution to the source of the original publication.You are permitted to download and use the publication for personal purposes. Please note that you are not allowed to share this article on other platforms, but can link to it. All rights remain with the author(s) and/or copyrights owner(s) of this work. Any use of the publication or parts of it other than authorised under this licence or copyright law is prohibited. Neither Radboud University nor the authors of this publication are liable for any damage resulting from your (re)use of this publication.If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the ma terial

show abstract

Threading the Arduino with Haskell

Cited by 6 publications

References 6 publications

Reducing the Power Consumption of IoT with Task-Oriented Programming

Reducing the Power Consumption of IoT with Task-Oriented Programming

Orchestrating the Internet of Things with Task-Oriented Programming

Tiered versus tierless IoT stacks

Contact Info

Product

Resources

About