Loading [MathJax]/extensions/TeX/upgreek.js
Firmware verification and simulation in IBM zEnterprise 196 | IBM Journals & Magazine | IEEE Xplore

Firmware verification and simulation in IBM zEnterprise 196

Publisher: IBM

Abstract:

In IBM zEnterprise® 196, we introduced another set of firmware verification environments to enhance the verification coverage. In this paper, we discuss four affected are...View more

Abstract:

In IBM zEnterprise® 196, we introduced another set of firmware verification environments to enhance the verification coverage. In this paper, we discuss four affected areas: 1) virtualization of the support element, the hardware management console, and the flexible support processor; 2) test cases; 3) simulation of input/output adapter firmware; and 4) static analysis for millicode. These start another round in increasing verification coverage with the final goal of having all firmware components under simulation and test before the final system becomes available.
Published in: IBM Journal of Research and Development ( Volume: 56, Issue: 1.2, Jan.-Feb. 2012)
Page(s): 14:1 - 14:17
Date of Publication: 26 January 2012

ISSN Information:

Publisher: IBM

References

References is not available for this document.