The Community for Technology Leaders
2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA) (2013)
San Francisco, CA, USA
May 21, 2013 to May 21, 2013
ISSN: 2327-1620
ISBN: 978-1-4673-6269-6
pp: 35-36
Stefan Fischer , Telematics Institute, University of Lübeck, Germany
Martin Leucker , Institute for Software Engineering and Programming Languages, University of Lübeck, Germany
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.
INDEX TERMS
CITATION

S. Fischer and M. Leucker, "Runtime verification and reflection for wireless sensor networks," 2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA), San Francisco, CA, USA, 2013, pp. 35-36.
doi:10.1109/SESENA.2013.6612263
87 ms
(Ver 3.3 (11022016))