Firmware verification and simulation in IBM zEnterprise 196

  • Authors:

  • S. Koerner;C. Werner;T. Hess;P. Schulz;M. Strasser;S. Wagner;H. Böhm;M. Troester;D. Bolte;H. Elfering;T. Pohl;K. Theurich;W. H. Miller;P. Szwed

  • Affiliations:

  • IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Boeblingen, Germany;IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Boeblingen, Germany;IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Boeblingen, Germany;IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Boeblingen, Germany;IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Boeblingen, Germany;IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Boeblingen, Germany;IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Boeblingen, Germany;IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Boeblingen, Germany;IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Boeblingen, Germany;IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Boeblingen, Germany;IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Boeblingen, Germany;IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Boeblingen, Germany;IBM Systems and Technology Group, Poughkeepsie, NY;IBM Systems and Technology Group, Poughkeepsie, NY

  • Venue:
  • IBM Journal of Research and Development
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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.