Title :
Safe Contiki OS: Type and Memory Safety for Contiki OS
Author :
Paul, Tomsy ; Kumar, G. Santhosh
Author_Institution :
Dept. of Comput. Sci., Cochin Univ. of Sci. & Technol., Cochin, India
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.
Keywords :
embedded systems; operating systems (computers); safety; telecommunication computing; wireless sensor networks; Contiki OS; Deputy tool; embedded systems; memory safety; operating system; type safety; wireless sensor network; Computer science; Embedded system; Kernel; Operating systems; Programming profession; Random access memory; Read-write memory; Safety; Sensor systems; Wireless sensor networks; Contiki OS; Deputy; memory safety; type safety; wireless sensor networks;
Conference_Titel :
Advances in Recent Technologies in Communication and Computing, 2009. ARTCom '09. International Conference on
Conference_Location :
Kottayam, Kerala
Print_ISBN :
978-1-4244-5104-3
Electronic_ISBN :
978-0-7695-3845-7
DOI :
10.1109/ARTCom.2009.126
