UEFI USB bus initialization verification using Colored Petri Net
R Liu, JG Delgado-Frias, D Boyce… - 2015 IEEE 58th …, 2015 - ieeexplore.ieee.org
2015 IEEE 58th International Midwest Symposium on Circuits and …, 2015•ieeexplore.ieee.org
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.
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.
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.
ieeexplore.ieee.org
Showing the best result for this search. See all results