Poster Abstract: Static Analysis of Device Drivers in TinyOS

Simple item page
dc.contributor.authorOuadjaout, Abdelraouf
dc.contributor.authorLasla, Noureddine
dc.contributor.authorBagaa, Miloud
dc.contributor.authorBadache, Nadjib
dc.date.accessioned2016-10-23T16:13:03Z
dc.date.available2016-10-23T16:13:03Z
dc.date.issued2014-04-15
dc.description.abstractIn 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, to complex behaviors of possibly several connected hardware components. The hardware specification is expressed in BIP, a language for describing easily complex interacting discrete components. The analysis of the joint behavior of the application and the hardware specification is then performed using the theory of Abstract Interpretation. We have done a set of experiments on some TinyOS applications. Encouraging results are obtained that confirm the effectiveness of our approach.fr_FR
dc.identifier.urihttp://dl.cerist.dz/handle/CERIST/844
dc.publisherACM/IEEEfr_FR
dc.relation.ispartofseriesInternational Conference on Information Processing in Sensor Networks (IPSN);
dc.relation.placeBerlin, Germanyfr_FR
dc.structureRéseaux de capteurs et Applicationsfr_FR
dc.subjectTinyOS, Abstract Interpretationfr_FR
dc.titlePoster Abstract: Static Analysis of Device Drivers in TinyOSfr_FR
dc.typeConference paper
Files
Collections
International Conference Papers