Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications

Authors:
Doina Bucur;Marta Kwiatkowska
Affiliations:
Computing Laboratory, Oxford University, UK;Computing Laboratory, Oxford University, UK
Venue:
AmI '09 Proceedings of the European Conference on Ambient Intelligence
Year:
2009

Citing 5
Cited 2

Interface contracts for TinyOS

Proceedings of the 6th international conference on Information processing in sensor networks
Pervasive healthcare and wireless health monitoring

Mobile Networks and Applications
Efficient memory safety for TinyOS

Proceedings of the 5th international conference on Embedded networked sensor systems
TOSThreads: thread-safe and non-invasive preemption in TinyOS

Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
SATABS: SAT-Based predicate abstraction for ANSI-C

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Correctness of sensor network applications by software bounded model checking

FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
On software verification for sensor nodes

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

We provide the first tool for verifying the logic of context-aware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting programming errors related to incorrect adaptation to context.