| dc.contributor.author |
Santhosh Kumar, G |
|
| dc.contributor.author |
Tomsy, Paul |
|
| dc.date.accessioned |
2014-07-21T06:47:29Z |
|
| dc.date.available |
2014-07-21T06:47:29Z |
|
| dc.date.issued |
2009 |
|
| dc.identifier.uri |
http://dyuthi.cusat.ac.in/purl/4180 |
|
| dc.description |
2009 International Conference on Advances in Recent Technologies in Communication and Computing |
en_US |
| dc.description.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 |
en_US |
| dc.description.sponsorship |
Cochin University of Science and Technology |
en_US |
| dc.language.iso |
en |
en_US |
| dc.publisher |
IEEE |
en_US |
| dc.subject |
wireless sensor networks |
en_US |
| dc.subject |
type safety |
en_US |
| dc.subject |
memory safety |
en_US |
| dc.subject |
Deputy |
en_US |
| dc.subject |
Contiki OS |
en_US |
| dc.title |
Safe Contiki OS: Type and Memory Safety for Contiki OS |
en_US |
| dc.type |
Article |
en_US |