Formally modelling and verifying the FreeRTOS real-time operating system

Cheng, Shu (2014) Formally modelling and verifying the FreeRTOS real-time operating system. PhD thesis, University of York.

Abstract

Metadata

Supervisors: Woodcock, Jim
Related URLs:
Keywords: Verified Software Initiative, Formal Methods, Z, FreeRTOS, Verification, VCC, Multi-core, Z/Eves.
Awarding institution: University of York
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID: uk.bl.ethos.684619
Depositing User: Mr Shu Cheng
Date Deposited: 06 May 2016 11:58
Last Modified: 08 Sep 2016 13:34

Downloads

PDF file for the thesis

Filename: Thesis.pdf

Description: PDF file for the thesis

Licence: Creative Commons Licence
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License

The model and proof scripts(can be used by Z/Eves and ProZ) of the FreeRTOS model, Multi-core model and Task model with promotion, VCC annotated FreeRTOS source code and Test performed with FreeRTOS during the work.

Filename: Archive.zip

Description: The model and proof scripts(can be used by Z/Eves and ProZ) of the FreeRTOS model, Multi-core model and Task model with promotion, VCC annotated FreeRTOS source code and Test performed with FreeRTOS during the work.

Licence: Creative Commons Licence
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License

Export

Statistics


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.