Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
On intermittence bugs in the battery-less internet of things (WIP paper)
Politecnico di Milano, Italy.
LUMS, Pakistan.
RISE - Research Institutes of Sweden, ICT, SICS. Politecnico di Milano, Italy.ORCID iD: 0000-0003-4560-9541
LUMS, Pakistan.
2019 (English)In: Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Association for Computing Machinery , 2019, p. 203-207Conference paper, Published paper (Refereed)
Abstract [en]

The resource-constrained devices of the battery-less Internet of Things are powered off energy harvesting and compute intermittently, as energy is available. Forward progress of programs is ensured by creating persistent state. Mixed-volatile platforms are thus an asset, as they map slices of the address space onto non-volatile memory. However, these platforms also possibly introduce intermittence bugs, where intermittent and continuous executions differ. Our ongoing work on intermittence bugs includes (i) an analysis that demonstrates their presence in settings that current literature overlooks; (ii) the design of efficient testing techniques to check their presence in arbitrary code, which would be otherwise prohibitive given the sheer number of different executions to check; (iii) the implementation of an offline tool called ScEpTIC that implements these techniques. ScEpTIC finds the same bugs as a brute-force approach, but is six orders of magnitude faster. © 2019 Copyright held by the owner/author(s).

Place, publisher, year, edition, pages
Association for Computing Machinery , 2019. p. 203-207
Keywords [en]
Intermittence bugs, Intermittent computing, Mixed-volatile systems, Transiently-powered computing, Digital storage, Electric batteries, Embedded systems, Energy harvesting, Internet of things, Program compilers, Space platforms, Testing, Brute-force approach, Non-volatile memory, Orders of magnitude, Resourceconstrained devices, Testing technique, Program debugging
National Category
Natural Sciences
Identifiers
URN: urn:nbn:se:ri:diva-40161DOI: 10.1145/3316482.3326346Scopus ID: s2.0-85070995506ISBN: 9781450367240 (print)OAI: oai:DiVA.org:ri-40161DiVA, id: diva2:1361307
Conference
20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2019, co-located with PLDI 2019, 23 June 2019
Available from: 2019-10-15 Created: 2019-10-15 Last updated: 2019-10-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Mottola, Luca

Search in DiVA

By author/editor
Mottola, Luca
By organisation
SICS
Natural Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.35.8