Software verification for TinyOS

Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN '10

Volumn , Issue , 2010, Pages 400-401

  Bucur, Doina ^a   Kwiatkowska, Marta Z ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

model checking; MSP430; reliability; safety; sensor networks; software verification; telos; TinyOS

Indexed keywords

APPLICATION-SPECIFIC; COMPILE TIME; MSP430; PROGRAM EXECUTION; SAFETY; SOFTWARE TOOL; SOFTWARE VERIFICATION;

DATA PROCESSING; MODEL CHECKING; SENSOR NETWORKS; SENSOR NODES; SOFTWARE RELIABILITY; TELECOMMUNICATION EQUIPMENT;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 77954478906     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1791212.1791274     Document Type: Conference Paper

References (5)

1. Texas Instruments. MSP430x1xx family - user's guide (Rev. F). www.ti.com, 2006 (accessed 02/2010).
2. Moteiv Corporation. Telos. Ultra low power IEEE 802.15.4 compliant wireless sensor module. Revision B: Humidity, Light, and Temperature sensors with USB. http://www.moteiv.com, 2004 (accessed 02/2010).
3. N. Cooprider, W. Archer, E. Eide, D. Gay, and J. Regehr. Efficient memory safety for TinyOS. In Proc. of the Conference on Embedded Networked Sensor Systems (SenSys), pages 205-218. ACM, 2007.
4. S. Underwood. Mspgcc - A port of the GNU tools to the Texas Instruments MSP430 microcontrollers. http://mspgcc.sourceforge.net/manual, 2003 (accessed 02/2010).
5. E. Clarke, D. Kroening, and F. Lerda. A tool for checking ANSI-C programs. In Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 2988 of LNCS, pages 168-176. Springer, 2004.