Runtime verification and reflection for wireless sensor networks

S. Fischer; M. Leucker

doi:10.1109/SESENA.2013.6612263

Runtime verification and reflection for wireless sensor networks

Abstract

The paper proposes to re-visit a light-weight verification technique called runtime verification in the context of wireless sensor networks. The authors believe that especially an extension of runtime verification which is called runtime reflection and which is not only able to detect faults, but diagnose and even repair them, can be an important step towards robust, self-organizing and self-healing WSNs. They present the basic idea of runtime reflection and possible applications.

Original language	English
Title of host publication	2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)
Number of pages	2
Place of Publication	San Francisco, CA, USA
Publisher	IEEE
Publication date	01.05.2013
Pages	35-36
ISBN (Electronic)	978-1-4673-6269-6
DOIs	https://doi.org/10.1109/SESENA.2013.6612263
Publication status	Published - 01.05.2013
Event	4th International Workshop on Software Engineering for Sensor Network Applications - San Francisco, United States Duration: 21.05.2013 → 21.05.2013

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 3 Good Health and Well-being
SDG 9 Industry, Innovation, and Infrastructure
SDG 11 Sustainable Cities and Communities
SDG 12 Responsible Consumption and Production

Access to Document

10.1109/SESENA.2013.6612263

Cite this

@inproceedings{8c946b4b7e234b6b90ada756fca6a83a,

title = "Runtime verification and reflection for wireless sensor networks",

abstract = "The paper proposes to re-visit a light-weight verification technique called runtime verification in the context of wireless sensor networks. The authors believe that especially an extension of runtime verification which is called runtime reflection and which is not only able to detect faults, but diagnose and even repair them, can be an important step towards robust, self-organizing and self-healing WSNs. They present the basic idea of runtime reflection and possible applications.",

author = "S. Fischer and M. Leucker",

year = "2013",

month = may,

day = "1",

doi = "10.1109/SESENA.2013.6612263",

language = "English",

series = "Software Engineering for Sensor Network Applications (SESENA)",

publisher = "IEEE",

pages = "35--36",

booktitle = "2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)",

note = "4th International Workshop on Software Engineering for Sensor Network Applications , SESENA 2013 ; Conference date: 21-05-2013 Through 21-05-2013",

}

Fischer, S & Leucker, M 2013, Runtime verification and reflection for wireless sensor networks. in 2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA). Software Engineering for Sensor Network Applications (SESENA), IEEE, San Francisco, CA, USA, pp. 35-36, 4th International Workshop on Software Engineering for Sensor Network Applications , San Francisco, California, United States, 21.05.13. https://doi.org/10.1109/SESENA.2013.6612263

Runtime verification and reflection for wireless sensor networks. / Fischer, S.; Leucker, M.
2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA). San Francisco, CA, USA: IEEE, 2013. p. 35-36 (Software Engineering for Sensor Network Applications (SESENA)).

Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

TY - GEN

T1 - Runtime verification and reflection for wireless sensor networks

AU - Fischer, S.

AU - Leucker, M.

PY - 2013/5/1

Y1 - 2013/5/1

N2 - The paper proposes to re-visit a light-weight verification technique called runtime verification in the context of wireless sensor networks. The authors believe that especially an extension of runtime verification which is called runtime reflection and which is not only able to detect faults, but diagnose and even repair them, can be an important step towards robust, self-organizing and self-healing WSNs. They present the basic idea of runtime reflection and possible applications.

AB - The paper proposes to re-visit a light-weight verification technique called runtime verification in the context of wireless sensor networks. The authors believe that especially an extension of runtime verification which is called runtime reflection and which is not only able to detect faults, but diagnose and even repair them, can be an important step towards robust, self-organizing and self-healing WSNs. They present the basic idea of runtime reflection and possible applications.

UR - https://www.scopus.com/pages/publications/84891547307

U2 - 10.1109/SESENA.2013.6612263

DO - 10.1109/SESENA.2013.6612263

M3 - Conference contribution

T3 - Software Engineering for Sensor Network Applications (SESENA)

SP - 35

EP - 36

BT - 2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)

PB - IEEE

CY - San Francisco, CA, USA

T2 - 4th International Workshop on Software Engineering for Sensor Network Applications

Y2 - 21 May 2013 through 21 May 2013

ER -

Runtime verification and reflection for wireless sensor networks

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this