DSpace About DSpace Software

DSpace at Cochin University >
Department of Computer Science >
Faculty >
G. Santhosh Kumar >
Publications >
International Conferences >

Please use this identifier to cite or link to this item: http://hdl.handle.net/123456789/276

Title: Safe Contiki OS: Type and Memory Safety for Contiki OS
Authors: Santhosh Kumar, G
Paul, Tomsy
Keywords: Contiki OS
Deputy tool
embedded systems
memory safety
Wireless Sensor Network
type safety
Issue Date: 19-Jun-2010
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.
URI: http://hdl.handle.net/123456789/276
Appears in Collections:International Conferences

Files in This Item:

File Description SizeFormat
5327948.pdf352.73 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback