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

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

• Type: Conference
• Year: 2009
• Where: AMI
• Authors: Doina Bucur, Marta Z. Kwiatkowska
• Keywords: AMI 2009, Artificial Intelligence, Contextaware Applications, Mainstream Sensor Network, Programming Errors