Browse by author
Lookup NU author(s): Dr Leo Freitas
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
In this talk we will demonstrate the use of formal verification techniques for embedded systems software. Our work aims to provide a rigorous proof of correctness for this software, and also to leverage testing. Using the embedded real-time operating system FreeRTOS as a case study, we will introduce an experimental tool-chain to enable specification and proof of system properties so that the entire development process from requirements to binary code is covered. We will further present intermediate results from verifying FreeRTOS' core components and discuss how testing can benefit, in terms of automation and thoroughness, from involving formal verification tools.
Author(s): Mühlberg JT, Freitas L
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 11th International Conference on Software QA and Testing on Embedded Systems (QA&Test)
Year of Conference: 2011
Publisher: SQS, Software Quality Systems
