Title :
Bounded model checking of Contiki applications
Author :
Vörtler, Thilo ; Rülke, Steffen ; Hofstedt, Petra
Author_Institution :
EAS, Design Autom. Div., Fraunhofer Inst. for Integrated Circuits IIS, Dresden, Germany
Abstract :
Verification of embedded systems is a challenge due to the tight combination of hardware and software. We present an approach on the automatic verification of embedded system applications for the operating system Contiki using a standard bounded model checking tool for software. By using an operating system a higher abstraction level to hardware is possible. Our approach is therefore easily applicable for the verification of different hardware platforms.
Keywords :
embedded systems; formal verification; operating systems (computers); Contiki application; Contiki operating system; bounded model checking tool; embedded system verification; hardware abstraction level; Clocks; Computer bugs; Embedded systems; Hardware; Light emitting diodes;
Conference_Titel :
Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2012 IEEE 15th International Symposium on
Conference_Location :
Tallinn
Print_ISBN :
978-1-4673-1187-8
Electronic_ISBN :
978-1-4673-1186-1
DOI :
10.1109/DDECS.2012.6219069
