Matches in SemOpenAlex for { <https://semopenalex.org/work/W2473799385> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2473799385 abstract "Reliable computer systems use component redundancy to achieve fault The reliability of a fault tolerant system is frequently estimated from an analytical model of the system. Two popular modeling techniques are combinatorial models and Markov models. Markov models are more comprehensive and flexible than combinatorial models, but combinatorial models can express the failure modes of a system in a more concise and understandable manner than Markov models. Combinatorial models are well understood and have the support of a rich body of research, but are inherently unable to model the dynamic system behavior associated with fault tolerant computer systems. An example of dynamic behavior that cannot be captured in a combinatorial model is the ability of a fault tolerant system to automatically recover from the occurrence of a fault during system operation. Including the concept of coverage (and the possibility that recovery may be imperfect) in the system level model is critical to an accurate dependability assessment. We develop two new algorithms for incorporating coverage into the reliability analysis of a system. In the first algorithm, we show that standard combinatorial (cutset-based) solution techniques can be used to solve a problem that was previously thought to require a Markov solution. In the second algorithm, an alternative to the traditional cutset-based solution approach to combinatorial models, the binary decision diagram (BDD), is used. Through the second approach, the time required to solve some systems is significantly reduced. It is also possible that large systems can be evaluated which could not be analyzed previously. Several applications are modeled to demonstrate the ability of the algorithms. These systems range in size and in functionality, but all have some level of fault tolerant design. Some of the systems had only been modeled with a Markov chain prior to the development of our algorithms. Another had never been buccessfully modeled at all. Another area of study which is not typically addressed is the integrated analysis of systems. Looking at only the hardware or software of a system only gives part of the picture. It is difficult to draw a clear line distinguishing the effects of hardware from those of software. To perform an accurate analysis on an integrated system, the analysis itself should be integrated. We demonstrate a new approach for performing such an analysis which combines the attributes of both Markov models and combinatorial models for the evaluation of hardware and software fault tolerance." @default.
- W2473799385 created "2016-07-22" @default.
- W2473799385 creator A5014246002 @default.
- W2473799385 creator A5079236593 @default.
- W2473799385 date "1995-01-01" @default.
- W2473799385 modified "2023-09-27" @default.
- W2473799385 title "Dependability analysis of fault-tolerant systems: a new look at combinatorial modeling" @default.
- W2473799385 hasPublicationYear "1995" @default.
- W2473799385 type Work @default.
- W2473799385 sameAs 2473799385 @default.
- W2473799385 citedByCount "1" @default.
- W2473799385 crossrefType "journal-article" @default.
- W2473799385 hasAuthorship W2473799385A5014246002 @default.
- W2473799385 hasAuthorship W2473799385A5079236593 @default.
- W2473799385 hasConcept C107094494 @default.
- W2473799385 hasConcept C111919701 @default.
- W2473799385 hasConcept C11413529 @default.
- W2473799385 hasConcept C114614502 @default.
- W2473799385 hasConcept C115903868 @default.
- W2473799385 hasConcept C115908005 @default.
- W2473799385 hasConcept C119857082 @default.
- W2473799385 hasConcept C120314980 @default.
- W2473799385 hasConcept C121332964 @default.
- W2473799385 hasConcept C127413603 @default.
- W2473799385 hasConcept C152124472 @default.
- W2473799385 hasConcept C163836022 @default.
- W2473799385 hasConcept C168167062 @default.
- W2473799385 hasConcept C200601418 @default.
- W2473799385 hasConcept C2779521423 @default.
- W2473799385 hasConcept C3309909 @default.
- W2473799385 hasConcept C33923547 @default.
- W2473799385 hasConcept C41008148 @default.
- W2473799385 hasConcept C63540848 @default.
- W2473799385 hasConcept C77019957 @default.
- W2473799385 hasConcept C80444323 @default.
- W2473799385 hasConcept C97355855 @default.
- W2473799385 hasConcept C98763669 @default.
- W2473799385 hasConceptScore W2473799385C107094494 @default.
- W2473799385 hasConceptScore W2473799385C111919701 @default.
- W2473799385 hasConceptScore W2473799385C11413529 @default.
- W2473799385 hasConceptScore W2473799385C114614502 @default.
- W2473799385 hasConceptScore W2473799385C115903868 @default.
- W2473799385 hasConceptScore W2473799385C115908005 @default.
- W2473799385 hasConceptScore W2473799385C119857082 @default.
- W2473799385 hasConceptScore W2473799385C120314980 @default.
- W2473799385 hasConceptScore W2473799385C121332964 @default.
- W2473799385 hasConceptScore W2473799385C127413603 @default.
- W2473799385 hasConceptScore W2473799385C152124472 @default.
- W2473799385 hasConceptScore W2473799385C163836022 @default.
- W2473799385 hasConceptScore W2473799385C168167062 @default.
- W2473799385 hasConceptScore W2473799385C200601418 @default.
- W2473799385 hasConceptScore W2473799385C2779521423 @default.
- W2473799385 hasConceptScore W2473799385C3309909 @default.
- W2473799385 hasConceptScore W2473799385C33923547 @default.
- W2473799385 hasConceptScore W2473799385C41008148 @default.
- W2473799385 hasConceptScore W2473799385C63540848 @default.
- W2473799385 hasConceptScore W2473799385C77019957 @default.
- W2473799385 hasConceptScore W2473799385C80444323 @default.
- W2473799385 hasConceptScore W2473799385C97355855 @default.
- W2473799385 hasConceptScore W2473799385C98763669 @default.
- W2473799385 hasLocation W24737993851 @default.
- W2473799385 hasOpenAccess W2473799385 @default.
- W2473799385 hasPrimaryLocation W24737993851 @default.
- W2473799385 hasRelatedWork W144893212 @default.
- W2473799385 hasRelatedWork W1498610047 @default.
- W2473799385 hasRelatedWork W1530308510 @default.
- W2473799385 hasRelatedWork W18767995 @default.
- W2473799385 hasRelatedWork W1977149623 @default.
- W2473799385 hasRelatedWork W2068974529 @default.
- W2473799385 hasRelatedWork W2126616726 @default.
- W2473799385 hasRelatedWork W2339779924 @default.
- W2473799385 hasRelatedWork W246122173 @default.
- W2473799385 hasRelatedWork W2472294315 @default.
- W2473799385 hasRelatedWork W2761901158 @default.
- W2473799385 hasRelatedWork W2804701907 @default.
- W2473799385 hasRelatedWork W2895662301 @default.
- W2473799385 hasRelatedWork W2897811012 @default.
- W2473799385 hasRelatedWork W2909717956 @default.
- W2473799385 hasRelatedWork W3000578236 @default.
- W2473799385 hasRelatedWork W3147668629 @default.
- W2473799385 hasRelatedWork W3199660578 @default.
- W2473799385 hasRelatedWork W751551286 @default.
- W2473799385 hasRelatedWork W836656263 @default.
- W2473799385 isParatext "false" @default.
- W2473799385 isRetracted "false" @default.
- W2473799385 magId "2473799385" @default.
- W2473799385 workType "article" @default.