Coverage modeling for dependability analysis of fault-tolerant systems
Several different models for predicting coverage in a fault-tolerant system, including models for permanent, intermittent, and transient errors, are discussed. Markov, semi-Markov, nonhomogeneous Markov, and extended stochastic Petri net models for computing coverage are developed. Two types of even...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on computers 1989-06, Vol.38 (6), p.775-787 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 787 |
|---|---|
| container_issue | 6 |
| container_start_page | 775 |
| container_title | IEEE transactions on computers |
| container_volume | 38 |
| creator | Dugan, J.B. Trivedi, K.S. |
| description | Several different models for predicting coverage in a fault-tolerant system, including models for permanent, intermittent, and transient errors, are discussed. Markov, semi-Markov, nonhomogeneous Markov, and extended stochastic Petri net models for computing coverage are developed. Two types of events that interfere with recovery are examined; and methods for modeling such events, whether they are deterministic or random, are given. The sensitivity of system reliability/availability to the coverage parameter and the sensitivity of the coverage parameter to various error-handling strategies are investigated. It is found that a policy of attempting transient recovery upon detection of an error (as opposed to automatically reconfiguring the affected component out of the system) can actually increase the unreliability of the system.< > |
| doi_str_mv | 10.1109/12.24286 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_miscellaneous_28196136</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>24286</ieee_id><sourcerecordid>25176800</sourcerecordid><originalsourceid>FETCH-LOGICAL-c287t-33f2f34bad44da1e403f2edf1b02aaaaa163f12d707777d8f65fad96b9145dac3</originalsourceid><addsrcrecordid>eNqFkM1LxDAQxYMouH6AV8FDDyJeqjNpkjZHWVwVBC96DrNNIpVsu3a6wv73dq149V0GZn7vDTwhzhBuEMHeoryRSlZmT8xQ6zK3Vpt9MQPAKreFgkNxxPwBAEaCnYnFvPsKPb2HbNX5kJr2PYtdn_mwDq2nZZOaYZtRS2nLDWddzCJt0pAPXRpd7ZDxloew4hNxEClxOP2dx-Jtcf86f8yfXx6e5nfPeS2rcsiLIspYqCV5pTxhUDAugo-4BEk7oSkiSl9COcpX0ehI3pqlRaU91cWxuJpy1333uQk8uFXDdUiJ2tBt2MkKrcHC_A9qLE0FMILXE1j3HXMfolv3zYr6rUNwu0YdSvfT6Ihe_mYS15TiWEDd8B9vtFUa1YhdTFhLTK4denZoKwugtZK7lPPp3IQQ_szTh28gioYz</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>25176800</pqid></control><display><type>article</type><title>Coverage modeling for dependability analysis of fault-tolerant systems</title><source>IEEE Electronic Library (IEL)</source><creator>Dugan, J.B. ; Trivedi, K.S.</creator><creatorcontrib>Dugan, J.B. ; Trivedi, K.S.</creatorcontrib><description>Several different models for predicting coverage in a fault-tolerant system, including models for permanent, intermittent, and transient errors, are discussed. Markov, semi-Markov, nonhomogeneous Markov, and extended stochastic Petri net models for computing coverage are developed. Two types of events that interfere with recovery are examined; and methods for modeling such events, whether they are deterministic or random, are given. The sensitivity of system reliability/availability to the coverage parameter and the sensitivity of the coverage parameter to various error-handling strategies are investigated. It is found that a policy of attempting transient recovery upon detection of an error (as opposed to automatically reconfiguring the affected component out of the system) can actually increase the unreliability of the system.< ></description><identifier>ISSN: 0018-9340</identifier><identifier>EISSN: 1557-9956</identifier><identifier>DOI: 10.1109/12.24286</identifier><identifier>CODEN: ITCOB4</identifier><language>eng</language><publisher>Legacy CDMS: IEEE</publisher><subject>Applied sciences ; Computer errors ; Computer science; control theory; systems ; Computer Systems ; Computer systems performance. Reliability ; Error analysis ; Error correction ; Exact sciences and technology ; Fault detection ; Fault tolerance ; Fault tolerant systems ; Predictive models ; Reliability ; Software ; Stochastic processes ; Transient analysis</subject><ispartof>IEEE transactions on computers, 1989-06, Vol.38 (6), p.775-787</ispartof><rights>1990 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c287t-33f2f34bad44da1e403f2edf1b02aaaaa163f12d707777d8f65fad96b9145dac3</citedby><cites>FETCH-LOGICAL-c287t-33f2f34bad44da1e403f2edf1b02aaaaa163f12d707777d8f65fad96b9145dac3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/24286$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/24286$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=6594514$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Dugan, J.B.</creatorcontrib><creatorcontrib>Trivedi, K.S.</creatorcontrib><title>Coverage modeling for dependability analysis of fault-tolerant systems</title><title>IEEE transactions on computers</title><addtitle>TC</addtitle><description>Several different models for predicting coverage in a fault-tolerant system, including models for permanent, intermittent, and transient errors, are discussed. Markov, semi-Markov, nonhomogeneous Markov, and extended stochastic Petri net models for computing coverage are developed. Two types of events that interfere with recovery are examined; and methods for modeling such events, whether they are deterministic or random, are given. The sensitivity of system reliability/availability to the coverage parameter and the sensitivity of the coverage parameter to various error-handling strategies are investigated. It is found that a policy of attempting transient recovery upon detection of an error (as opposed to automatically reconfiguring the affected component out of the system) can actually increase the unreliability of the system.< ></description><subject>Applied sciences</subject><subject>Computer errors</subject><subject>Computer science; control theory; systems</subject><subject>Computer Systems</subject><subject>Computer systems performance. Reliability</subject><subject>Error analysis</subject><subject>Error correction</subject><subject>Exact sciences and technology</subject><subject>Fault detection</subject><subject>Fault tolerance</subject><subject>Fault tolerant systems</subject><subject>Predictive models</subject><subject>Reliability</subject><subject>Software</subject><subject>Stochastic processes</subject><subject>Transient analysis</subject><issn>0018-9340</issn><issn>1557-9956</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1989</creationdate><recordtype>article</recordtype><sourceid>CYI</sourceid><recordid>eNqFkM1LxDAQxYMouH6AV8FDDyJeqjNpkjZHWVwVBC96DrNNIpVsu3a6wv73dq149V0GZn7vDTwhzhBuEMHeoryRSlZmT8xQ6zK3Vpt9MQPAKreFgkNxxPwBAEaCnYnFvPsKPb2HbNX5kJr2PYtdn_mwDq2nZZOaYZtRS2nLDWddzCJt0pAPXRpd7ZDxloew4hNxEClxOP2dx-Jtcf86f8yfXx6e5nfPeS2rcsiLIspYqCV5pTxhUDAugo-4BEk7oSkiSl9COcpX0ehI3pqlRaU91cWxuJpy1333uQk8uFXDdUiJ2tBt2MkKrcHC_A9qLE0FMILXE1j3HXMfolv3zYr6rUNwu0YdSvfT6Ihe_mYS15TiWEDd8B9vtFUa1YhdTFhLTK4denZoKwugtZK7lPPp3IQQ_szTh28gioYz</recordid><startdate>19890601</startdate><enddate>19890601</enddate><creator>Dugan, J.B.</creator><creator>Trivedi, K.S.</creator><general>IEEE</general><general>Institute of Electrical and Electronics Engineers</general><scope>CYE</scope><scope>CYI</scope><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>8FD</scope><scope>H8D</scope><scope>L7M</scope><scope>7SC</scope><scope>JQ2</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19890601</creationdate><title>Coverage modeling for dependability analysis of fault-tolerant systems</title><author>Dugan, J.B. ; Trivedi, K.S.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c287t-33f2f34bad44da1e403f2edf1b02aaaaa163f12d707777d8f65fad96b9145dac3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1989</creationdate><topic>Applied sciences</topic><topic>Computer errors</topic><topic>Computer science; control theory; systems</topic><topic>Computer Systems</topic><topic>Computer systems performance. Reliability</topic><topic>Error analysis</topic><topic>Error correction</topic><topic>Exact sciences and technology</topic><topic>Fault detection</topic><topic>Fault tolerance</topic><topic>Fault tolerant systems</topic><topic>Predictive models</topic><topic>Reliability</topic><topic>Software</topic><topic>Stochastic processes</topic><topic>Transient analysis</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Dugan, J.B.</creatorcontrib><creatorcontrib>Trivedi, K.S.</creatorcontrib><collection>NASA Scientific and Technical Information</collection><collection>NASA Technical Reports Server</collection><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Technology Research Database</collection><collection>Aerospace Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>IEEE transactions on computers</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Dugan, J.B.</au><au>Trivedi, K.S.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Coverage modeling for dependability analysis of fault-tolerant systems</atitle><jtitle>IEEE transactions on computers</jtitle><stitle>TC</stitle><date>1989-06-01</date><risdate>1989</risdate><volume>38</volume><issue>6</issue><spage>775</spage><epage>787</epage><pages>775-787</pages><issn>0018-9340</issn><eissn>1557-9956</eissn><coden>ITCOB4</coden><abstract>Several different models for predicting coverage in a fault-tolerant system, including models for permanent, intermittent, and transient errors, are discussed. Markov, semi-Markov, nonhomogeneous Markov, and extended stochastic Petri net models for computing coverage are developed. Two types of events that interfere with recovery are examined; and methods for modeling such events, whether they are deterministic or random, are given. The sensitivity of system reliability/availability to the coverage parameter and the sensitivity of the coverage parameter to various error-handling strategies are investigated. It is found that a policy of attempting transient recovery upon detection of an error (as opposed to automatically reconfiguring the affected component out of the system) can actually increase the unreliability of the system.< ></abstract><cop>Legacy CDMS</cop><pub>IEEE</pub><doi>10.1109/12.24286</doi><tpages>13</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0018-9340 |
| ispartof | IEEE transactions on computers, 1989-06, Vol.38 (6), p.775-787 |
| issn | 0018-9340 1557-9956 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_28196136 |
| source | IEEE Electronic Library (IEL) |
| subjects | Applied sciences Computer errors Computer science control theory systems Computer Systems Computer systems performance. Reliability Error analysis Error correction Exact sciences and technology Fault detection Fault tolerance Fault tolerant systems Predictive models Reliability Software Stochastic processes Transient analysis |
| title | Coverage modeling for dependability analysis of fault-tolerant systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-31T00%3A33%3A28IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Coverage%20modeling%20for%20dependability%20analysis%20of%20fault-tolerant%20systems&rft.jtitle=IEEE%20transactions%20on%20computers&rft.au=Dugan,%20J.B.&rft.date=1989-06-01&rft.volume=38&rft.issue=6&rft.spage=775&rft.epage=787&rft.pages=775-787&rft.issn=0018-9340&rft.eissn=1557-9956&rft.coden=ITCOB4&rft_id=info:doi/10.1109/12.24286&rft_dat=%3Cproquest_RIE%3E25176800%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=25176800&rft_id=info:pmid/&rft_ieee_id=24286&rfr_iscdi=true |