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

fYear

2009

fDate

27-28 Oct. 2009

Firstpage

169

Lastpage

171

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ARTCom.2009.126

Filename

5327948

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2341084