Reliability models for hardware description languages in safety related systems

  • Authors:
  • B. Machmur;A. Hayek;M. Umar;J. Boercsoek

  • Affiliations:
  • Department of Computer Architecture and System Programming, University of Kassel, Faculty of Electrical Engineering /Computer Science, Kassel, Germany;Department of Computer Architecture and System Programming, University of Kassel, Faculty of Electrical Engineering /Computer Science, Kassel, Germany;Department of Computer Architecture and System Programming, University of Kassel, Faculty of Electrical Engineering /Computer Science, Kassel, Germany;Department of Computer Architecture and System Programming, University of Kassel, Faculty of Electrical Engineering /Computer Science, Kassel, Germany

  • Venue:
  • CSCC'11 Proceedings of the 2nd international conference on Circuits, Systems, Communications & Computers
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

For the development of Application Specific Integrated Circuits (ASICs) for safety-related applications Hardware Description Languages (HDLs) are used. The process of such development is presented in the international standard IEC 61508, which introduces guidelines and calculations to achieve a specific Safety Integrity Level (SIL). However, it is not concerning the estimation and calculation of the reliability of used HDL codes. In this paper, a model for the quantitative evaluation of the reliability of HDL Designs is introduced. For this, conventional software reliability models (SRMs) are applied. Due to the parallel processing nature of HDL more concurrent faults can lead to a failure, therefore current SRMs need to be extended. For the execution of test cases, Field Programmable Gate Arrays (FPGAs) are useful as a prototyping platform. Through the test cases, failures are detected in the FPGA, which are configured with the hardware function of the target HDL code.