%0 Conference Paper %1 zhang2008analysis %A Zhang, Tieling %A Wang, Yiming %A Xie, Min %B Reliability and Maintainability Symposium, 2008. RAMS 2008. Annual %D 2008 %K analysis performance %P 143-148 %R 10.1109/RAMS.2008.4925785 %T Analysis of the performance of safety-critical systems with diagnosis and periodic inspection %U http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4925785 %X This paper presents a method for analysis of performance indexes of safety-critical systems. It incorporates periodic inspection and repair which occurs just after each time interval into Markov model. This modeling technique is applied to the typical system structures regulated in the standard IEC 61508. Both perfect and imperfect inspections and repairs can be modeled. Through derivation, a variety of important system performance indexes can be obtained in closed form, that include MTTF, MTTFD, MTTFS, average availability, average probability of failure-dangerous, and average probability of failure on demand. The solutions are applied to 1-out-of-2 system structure to illustrate the usefulness of this method in analyzing the system performance, for example, choice of proof-test interval and evaluation on the average probability of failure on demand.

@inproceedings{zhang2008analysis, abstract = {This paper presents a method for analysis of performance indexes of safety-critical systems. It incorporates periodic inspection and repair which occurs just after each time interval into Markov model. This modeling technique is applied to the typical system structures regulated in the standard IEC 61508. Both perfect and imperfect inspections and repairs can be modeled. Through derivation, a variety of important system performance indexes can be obtained in closed form, that include MTTF, MTTFD, MTTFS, average availability, average probability of failure-dangerous, and average probability of failure on demand. The solutions are applied to 1-out-of-2 system structure to illustrate the usefulness of this method in analyzing the system performance, for example, choice of proof-test interval and evaluation on the average probability of failure on demand.}, added-at = {2014-09-11T11:48:37.000+0200}, author = {Zhang, Tieling and Wang, Yiming and Xie, Min}, biburl = {https://www.bibsonomy.org/bibtex/2ea1f29f4ccd378ba276529112ae25cf1/avail_map_stud}, booktitle = {Reliability and Maintainability Symposium, 2008. RAMS 2008. Annual}, description = {IEEE Xplore Abstract - Analysis of the performance of safety-critical systems with diagnosis and periodic inspection}, doi = {10.1109/RAMS.2008.4925785}, interhash = {8a17eca2faee315f0acdf85ab9d199c0}, intrahash = {ea1f29f4ccd378ba276529112ae25cf1}, issn = {0149-144X}, keywords = {analysis performance}, month = jan, pages = {143-148}, timestamp = {2014-09-11T11:48:37.000+0200}, title = {Analysis of the performance of safety-critical systems with diagnosis and periodic inspection}, url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4925785}, year = 2008 }