Title :
UEFI USB bus initialization verification using Colored Petri Net
Author :
Rongyang Liu;José G. Delgado-Frias;Doug Boyce;Rahul Khanna
Author_Institution :
School of Electrical Engineering and Computer Science, Washington State University, Pullman, 99164, USA
Abstract :
In this paper we present a novel scheme to perform firmware verification using a graphical Colored Petri Net (CPN). CPNs provide modeling features for concurrency, communication and synchronization as well as hierarchical abstraction and timing analysis. These features are used to perform firmware validation of the UEFI USB bus initialization. The CPN representation provides better visualization support to streamline the validation process. A Beagle Board is used to show the potential of the proposed firmware validation scheme.
Keywords :
"Universal Serial Bus","Microprogramming","Debugging","Petri nets","Hardware","Software","Computational modeling"
Conference_Titel :
Circuits and Systems (MWSCAS), 2015 IEEE 58th International Midwest Symposium on
DOI :
10.1109/MWSCAS.2015.7282158
