Safe Contiki OS: Type and Memory Safety for Contiki OS

Dyuthi/Manakin Repository

Safe Contiki OS: Type and Memory Safety for Contiki OS

Show full item record

Title: Safe Contiki OS: Type and Memory Safety for Contiki OS
Author: Santhosh Kumar, G; Tomsy, Paul
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/4144
Date: 2009


Files in this item

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

This item appears in the following Collection(s)

Show full item record

Search Dyuthi


Advanced Search

Browse

My Account