Dissertation
PNetTFV: A Colored Petri Net Based Online Firmware Functional Validation Scheme And Implementation
Doctor of Philosophy (PhD), Washington State University
01/2019
Handle:
https://hdl.handle.net/2376/16814
Abstract
Firmware functional validation has major challenges due to its hardware-specific nature, and the current firmware functional validation approach cannot benefit from the formal analysis used by high-level software validation, which in turn heavily relies on manual effort and becomes a major bottleneck of product time cycle. To automate and streamline the validation process, an online firmware functional validation scheme utilizing the Colored Petri Net (CPN) model is proposed. The Firmware Functional Validation CPN (FFV-CPN) model can be automatically generated from the firmware code, and its simulation run monitors the firmware execution path at runtime and, if an error occurs, pinpoints the location where the firmware execution initially departs from a normal path. The detection of the firmware execution path deviation at runtime is ensured by the identification of a CPN faulty marking, which is produced by the debugging strings that are generated from the automatically inserted observation points. An implementation of the proposed scheme, PNetTFV, is presented, and it has been used in the validation of the Unified Extensible Firmware Interface (UEFI) firmware to evaluate the potential and effectiveness of the proposed validation approach.
Metrics
9 File views/ downloads
29 Record Views
Details
- Title
- PNetTFV
- Creators
- Rongyang Liu
- Contributors
- José G Delgado-Frias (Advisor)David E Bakken (Committee Member)Hassan Ghasemzadeh (Committee Member)
- Awarding Institution
- Washington State University
- Academic Unit
- School of Electrical Engineering and Computer Science
- Theses and Dissertations
- Doctor of Philosophy (PhD), Washington State University
- Number of pages
- 141
- Identifiers
- 99900581814701842
- Language
- English
- Resource Type
- Dissertation