|
Dyuthi @ CUSAT >
e-SCHOLARSHIP >
Computer Science >
Faculty >
Dr.Santhosh Kumar G >
Please use this identifier to cite or link to this item:
http://purl.org/purl/4180
|
| Title: | Safe Contiki OS: Type and Memory Safety for Contiki OS |
| Authors: | Santhosh Kumar, G
Tomsy, Paul |
| Keywords: | wireless sensor networks
type safety
memory safety
Deputy
Contiki OS |
| Issue Date: | 2009 |
| Publisher: | IEEE |
| Abstract: | Embedded systems, especially Wireless Sensor Nodes
are highly prone to Type Safety and Memory Safety issues.
Contiki, a prominent Operating System in the domain is even
more affected by the problem since it makes extensive use of
Type casts and Pointers. The work is an attempt to nullify the
possibility of Safety violations in Contiki. We use a powerful,
still efficient tool called Deputy to achieve this. We also try to
automate the process |
| Description: | 2009 International Conference on Advances in Recent Technologies in Communication and Computing |
| URI: | http://dyuthi.cusat.ac.in/purl/4180 |
| Appears in Collections: | Dr.Santhosh Kumar G
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
