Safe Contiki OS: Type and Memory Safety for Contiki OS

Dyuthi/Manakin Repository

Safe Contiki OS: Type and Memory Safety for Contiki OS

Show simple item record

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


Files in this item

Files Size Format View Description
Safe Contiki OS ... Safety for Contiki OS.pdf 352.7Kb PDF View/Open pdf

This item appears in the following Collection(s)

Show simple item record

Search Dyuthi


Advanced Search

Browse

My Account