A real-time UEFI functional validation tool with behavior Colored Petri Net model

As Unified Extensible Firmware Interface (UEFI) architectural complexity increases to accommodate a growing number of requirements, UEFI functional validation is becoming a large complex and time-consuming task. We have implemented an integrated validation tool that uses Colored Petri Net (CPN) to m...

Full description

Saved in:
Bibliographic Details
Published in2016 IEEE 59th International Midwest Symposium on Circuits and Systems (MWSCAS) pp. 1 - 4
Main Authors Rongyang Liu, Delgado-Frias, Jose G., Boyce, Doug, Khanna, Rahul
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.10.2016
Subjects
Debugging
Integrated circuit modeling
Microprogramming
Ports (Computers)
Probes
Sockets
Unified modeling language
Online AccessGet full text

Cover

More Information
Summary:As Unified Extensible Firmware Interface (UEFI) architectural complexity increases to accommodate a growing number of requirements, UEFI functional validation is becoming a large complex and time-consuming task. We have implemented an integrated validation tool that uses Colored Petri Net (CPN) to model the UEFI execution behavior in real-time. This tool extends the existing validation workflow with a run-time CPN model simulation that can indicate the correctness of the firmware execution and potentially pinpoints the location of error. This in turn could help reduce debugging time. Functional validation of UEFI USB Bus driver on MinnowBoard MAX is used as an example to demonstrate the effectiveness of the proposed approach.
ISSN:1558-3899
DOI:10.1109/MWSCAS.2016.7870117