On intermittence bugs in the battery-less internet of things (WIP paper)

• 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).

Ämnesord

TEKNIK OCH TEKNOLOGIER  -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)

ENGINEERING AND TECHNOLOGY  -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)

Nyckelord

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

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)