• DocumentCode
    3662699
  • 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
  • fYear
    2015
  • Firstpage
    1
  • Lastpage
    4
  • 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"
  • Publisher
    ieee
  • Conference_Titel
    Circuits and Systems (MWSCAS), 2015 IEEE 58th International Midwest Symposium on
  • Type

    conf

  • DOI
    10.1109/MWSCAS.2015.7282158
  • Filename
    7282158
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3662699