Poster Abstract: Run Time Assurance of Application-Level Requirements in Wireless Sensor Networks

The current rapid development and deployment of Wireless Sensor Networks (WSNs) and their application in mission critical systems are exacerbating the need for high confidence WSNs. Achieving high confidence WSNs will require new assurance technologies. Most current solutions deal with faults and reliability and not with application level semantics and associated assurances. The authors propose the use of a novel WSN design and assurance mechanism, Run Time Assurance (RTA), to guarantee that important application-level requirements are met in mission critical applications.