Taskify: An Integrated Development Environment to Develop and Debug Intermittent Software for the Batteryless Internet of Things

Murat Mülayim, Arda Goknil, K. Yıldırım
{"title":"Taskify: An Integrated Development Environment to Develop and Debug Intermittent Software for the Batteryless Internet of Things","authors":"Murat Mülayim, Arda Goknil, K. Yıldırım","doi":"10.1109/DCOSS49796.2020.00062","DOIUrl":null,"url":null,"abstract":"Batteryless embedded devices rely only on ambient energy harvesting that enables stand-alone and sustainable applications for the Internet of Things. These devices perform computation, sensing, and communication when the harvested ambient energy in their energy reservoir is sufficient; they die abruptly when the energy drains out completely. This kind of operation, the so-called intermittent execution, dictates a task-based programming model for the development and implementation of intermittent applications. However, today’s task-based intermittent programs are tightly-coupled to the underlying run-time environments. This makes their debugging and testing difficult before deploying them into the target platform. To remedy this, we present Taskify, a tool that enables engineers to write and debug task-based intermittent programs in TaskDSL, i.e., a domain-specific language we designed for the development of intermittent programs on any general-purpose computer. Taskify automatically transforms these programs into C programs that can be linked to the underlying run-time environment and deployed into the target platform. Taskify is implemented as an Eclipse plugin. It has been evaluated on three intermittent applications.","PeriodicalId":198837,"journal":{"name":"2020 16th International Conference on Distributed Computing in Sensor Systems (DCOSS)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 16th International Conference on Distributed Computing in Sensor Systems (DCOSS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DCOSS49796.2020.00062","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

Batteryless embedded devices rely only on ambient energy harvesting that enables stand-alone and sustainable applications for the Internet of Things. These devices perform computation, sensing, and communication when the harvested ambient energy in their energy reservoir is sufficient; they die abruptly when the energy drains out completely. This kind of operation, the so-called intermittent execution, dictates a task-based programming model for the development and implementation of intermittent applications. However, today’s task-based intermittent programs are tightly-coupled to the underlying run-time environments. This makes their debugging and testing difficult before deploying them into the target platform. To remedy this, we present Taskify, a tool that enables engineers to write and debug task-based intermittent programs in TaskDSL, i.e., a domain-specific language we designed for the development of intermittent programs on any general-purpose computer. Taskify automatically transforms these programs into C programs that can be linked to the underlying run-time environment and deployed into the target platform. Taskify is implemented as an Eclipse plugin. It has been evaluated on three intermittent applications.
Taskify:为无电池物联网开发和调试间歇软件的集成开发环境
无电池嵌入式设备仅依赖于环境能量收集,从而实现物联网的独立和可持续应用。当蓄能器中收集的环境能量足够时,这些设备执行计算、传感和通信;当能量完全耗尽时,它们就会突然死亡。这种操作,即所谓的间歇执行,规定了用于间歇应用程序的开发和实现的基于任务的编程模型。然而,今天基于任务的间歇程序与底层运行时环境是紧密耦合的。这使得在将它们部署到目标平台之前对它们进行调试和测试变得困难。为了解决这个问题,我们提出了Taskify,这是一个工具,使工程师能够在TaskDSL中编写和调试基于任务的间歇程序,也就是说,我们为在任何通用计算机上开发间歇程序而设计的特定领域语言。Taskify自动将这些程序转换为C程序,这些程序可以链接到底层运行时环境并部署到目标平台中。Taskify是作为Eclipse插件实现的。在三种间歇应用中对其进行了评价。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信