Poster abstract: Static analysis of device drivers in TinyOS

  title={Poster abstract: Static analysis of device drivers in TinyOS},
  author={Abdelraouf Ouadjaout and Noureddine Lasla and Miloud Bagaa and Nadjib Badache},
  journal={IPSN-14 Proceedings of the 13th International Symposium on Information Processing in Sensor Networks},
In this paper, we present SADA, a static analysis tool to verify device drivers for TinyOS applications. Its broad goal is to certify that the execution paths of the application complies with a given hardware specification. SADA can handle a broad spectrum of hardware specifications, ranging from simple assertions about the values of configuration registers… CONTINUE READING