Meta-Debugging Pervasive Computers

Alexander Bernauer, Kay Römer


As computers get more complex, the task of programming them gets more complex as well. This is especially true for the “Pervasive Computer”, which is a massively distributed system consisting of unreliable embedded devices that communicate with each other over lousy wireless links. A common approach to address the programming problem is to offer programming abstractions that hide certain aspects of the complexity from the programmer. While several such abstractions and mappings thereof to low-level target languages have been proposed, there is a glaring lack of debugging support. It is typically impossible to debug at the conceptual level offered by the programming abstractions, instead one has to resort to debugging the generated target code. In this position paper we argue that programming abstractions should be designed in a way that allows debugging at the same conceptual level as programming. We further present requirements for such debugging tools, a taxonomy of programming abstractions and discuss debugging challenges, existing solutions, and potential approaches in each class.
Original languageEnglish
Publication statusPublished - 2010
EventFirst International Workshop on Programming Methods for Mobile and Pervasive Systems
- Helsinki, Finland
Duration: 17.05.201017.05.2010


ConferenceFirst International Workshop on Programming Methods for Mobile and Pervasive Systems
Abbreviated titlePMMPS 2010
Internet address


Dive into the research topics of 'Meta-Debugging Pervasive Computers'. Together they form a unique fingerprint.

Cite this