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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/MWSCAS.2015.7282158 | Midwest Symposium on Circuits and Systems Conference Proceedings |
Keywords | Field | DocType |
hardware,microprogramming,petri nets,debugging,computational modeling | Microcode,Petri net,Visualization,Concurrency,Computer science,Initialization,Operating system,Firmware,Embedded system,Debugging,USB | Conference |
ISSN | Citations | PageRank |
1548-3746 | 0 | 0.34 |
References | Authors | |
2 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
rongyang liu | 1 | 0 | 0.34 |
Jose G. Delgado-Frias | 2 | 23 | 8.75 |
doug boyce | 3 | 0 | 0.34 |
Rahul Khanna | 4 | 287 | 20.90 |