Publica
Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten. Bounded model checking of Contiki applications
| IEEE Computer Society, Test Technology Technical Council -TTTC-:
IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems 2012 : April 18 -20, 2012, Tallinn, Estonia
New York, NY: IEEE, 2012
ISBN: 978-1-4673-1187-8 (Print)
ISBN: 978-1-4673-1186-1
ISBN: 978-1-4673-1185-4
pp.258-261 |
| International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) <15, 2012, Tallinn> |
|
| English |
| Conference Paper |
| Fraunhofer IIS, Institutsteil Entwurfsautomatisierung (EAS) () |
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.