DocumentCode
2334702
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
fYear
2012
fDate
18-20 April 2012
Firstpage
258
Lastpage
261
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/DDECS.2012.6219069
Filename
6219069
Link To Document