Breadcrumb

 
 

Formal Reliability Analysis Using Theorem Proving

Title:

Formal Reliability Analysis Using Theorem Proving

Hasan, Osman and Tahar, Sofiène and Abbasi, Naeem (2010) Formal Reliability Analysis Using Theorem Proving. IEEE Transactions on Computers, 59 (5). pp. 579-592. ISSN 0018-9340

[img]
Preview
PDF - Accepted Version
432Kb

Official URL: http://dx.doi.org/10.1109/TC.2009.165

Abstract

Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety and mission critical domains, such as medicine, military, and transportation. Due to the strong relationship between reliability theory and probabilistic notions, computer simulation techniques have been traditionally used to perform reliability analysis. However, simulation provides less accurate results and cannot handle large-scale systems due to its enormous CPU time requirements. To ensure accurate and complete reliability analysis and thus more reliable hardware designs, we propose to conduct a formal reliability analysis of systems within the sound core of a higher order logic theorem prover (HOL). In this paper, we present the higher order logic formalization of some fundamental reliability theory concepts, which can be built upon to precisely analyze the reliability of various engineering systems. The proposed approach and formalization is then utilized to analyze the repairability conditions for a reconfigurable memory array in the presence of stuck-at and coupling faults.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Article
Refereed:Yes
Authors:Hasan, Osman and Tahar, Sofiène and Abbasi, Naeem
Journal or Publication:IEEE Transactions on Computers
Date:2010
Keywords:formal reliability analysis - hardware systems - reliability theory - computer simulation techniques - CPU time requirements - higher order logic theorem prover - reconfigurable memory array - coupling faults
ID Code:974498
Deposited By:ANDREA MURRAY
Deposited On:31 Jul 2012 15:58
Last Modified:31 Jul 2012 15:58
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Document Downloads

More statistics for this item...

Concordia University - Footer