Abstract-Flera olika modeller för att förutsäga täckning i ett feltolerant system diskuteras, inklusive modeller för permanenta, intermittenta och övergående fel. Markov, semi-Markov, nonhomogenous Markov, och utökad stochastic Petri nettomodeller för datortäckning utvecklas. Två typer av händelser som påverkar återhämtningen undersöks; metoder för modellering av sådana händelser (tillämpliga om händelserna är deterministiska eller slumpmässiga) anges. Känsligheten hos systemets tillförlitlighet/availabiIitet mot täckningsparametern och täckningsparameterns känslighet för olika felhanteringsstrategier undersöks. Särskilt upptäckte vi att en policy att försöka övergående återhämtning vid upptäckt av ett fel (i motsats till att automatiskt konfigurera den drabbade komponenten ur systemet) faktiskt kan öka systemets otillförlitlighet. Detta resultat är sant om feldetekterbarheten inte är nästan perfekt, så att risken för att producera ett odetekterbart fel (om det övergående felet fortfarande är närvarande) är större än den nytta som uppnås genom att inte kassera komponenten.
Dugan och Trivedi REF föreslog Markov, semi-Markov, nonhomogenous Markov, och förlängd stochastic Petri nettomodeller för datortäckning.
Coverage modeling for dependability analysis of fault-tolerant systems
{'venue': 'IEEE Trans. Computers', 'journal': 'IEEE Trans. Computers', 'mag_field_of_study': ['Computer Science']}