Matches in SemOpenAlex for { <https://semopenalex.org/work/W2901915715> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2901915715 abstract "In this paper we introduce a notion of fault-tolerance distance between labeled transition systems. Intuitively, this notion of distance measures the degree of fault-tolerance exhibited by a candidate system. In practice, there are different kinds of fault-tolerance, here we restrict ourselves to the analysis of masking fault-tolerance because it is often a highly desirable goal for critical systems. Roughly speaking, a system is masking fault-tolerant when it is able to completely mask the faults, not allowing these faults to have any observable consequences for the users. We capture masking fault-tolerance via a simulation relation, which is accompanied by a corresponding game characterization. We enrich the resulting games with quantitative objectives to define the notion of masking fault-tolerance distance. Furthermore, we investigate the basic properties of this notion of masking distance, and we prove that it is a directed semimetric. We have implemented our approach in a prototype tool that automatically computes the masking distance between a nominal system and a fault-tolerant version of it. We have used this tool to measure the masking tolerance of multiple instances of several case studies." @default.
- W2901915715 created "2018-11-29" @default.
- W2901915715 creator A5027805990 @default.
- W2901915715 creator A5046933752 @default.
- W2901915715 creator A5059610025 @default.
- W2901915715 creator A5060135718 @default.
- W2901915715 date "2019-01-01" @default.
- W2901915715 modified "2023-09-30" @default.
- W2901915715 title "Measuring Masking Fault-Tolerance" @default.
- W2901915715 cites W149299502 @default.
- W2901915715 cites W1499481996 @default.
- W2901915715 cites W1503762954 @default.
- W2901915715 cites W1586805319 @default.
- W2901915715 cites W1594997032 @default.
- W2901915715 cites W1982429087 @default.
- W2901915715 cites W2015172530 @default.
- W2901915715 cites W2017194981 @default.
- W2901915715 cites W2038073775 @default.
- W2901915715 cites W2071138568 @default.
- W2901915715 cites W2083896385 @default.
- W2901915715 cites W2090847457 @default.
- W2901915715 cites W2092216144 @default.
- W2901915715 cites W2094017389 @default.
- W2901915715 cites W2094159214 @default.
- W2901915715 cites W2095425626 @default.
- W2901915715 cites W2148602057 @default.
- W2901915715 cites W2160029445 @default.
- W2901915715 cites W2169624732 @default.
- W2901915715 cites W2603330110 @default.
- W2901915715 cites W2913545290 @default.
- W2901915715 cites W3101533681 @default.
- W2901915715 cites W3137092842 @default.
- W2901915715 cites W4242959532 @default.
- W2901915715 cites W4244376142 @default.
- W2901915715 cites W986346366 @default.
- W2901915715 doi "https://doi.org/10.1007/978-3-030-17465-1_21" @default.
- W2901915715 hasPublicationYear "2019" @default.
- W2901915715 type Work @default.
- W2901915715 sameAs 2901915715 @default.
- W2901915715 citedByCount "5" @default.
- W2901915715 countsByYear W29019157152021 @default.
- W2901915715 countsByYear W29019157152022 @default.
- W2901915715 countsByYear W29019157152023 @default.
- W2901915715 crossrefType "book-chapter" @default.
- W2901915715 hasAuthorship W2901915715A5027805990 @default.
- W2901915715 hasAuthorship W2901915715A5046933752 @default.
- W2901915715 hasAuthorship W2901915715A5059610025 @default.
- W2901915715 hasAuthorship W2901915715A5060135718 @default.
- W2901915715 hasBestOaLocation W29019157151 @default.
- W2901915715 hasConcept C11413529 @default.
- W2901915715 hasConcept C120314980 @default.
- W2901915715 hasConcept C124101348 @default.
- W2901915715 hasConcept C142362112 @default.
- W2901915715 hasConcept C153349607 @default.
- W2901915715 hasConcept C25343380 @default.
- W2901915715 hasConcept C2777402240 @default.
- W2901915715 hasConcept C41008148 @default.
- W2901915715 hasConcept C50712370 @default.
- W2901915715 hasConcept C63540848 @default.
- W2901915715 hasConcept C80444323 @default.
- W2901915715 hasConceptScore W2901915715C11413529 @default.
- W2901915715 hasConceptScore W2901915715C120314980 @default.
- W2901915715 hasConceptScore W2901915715C124101348 @default.
- W2901915715 hasConceptScore W2901915715C142362112 @default.
- W2901915715 hasConceptScore W2901915715C153349607 @default.
- W2901915715 hasConceptScore W2901915715C25343380 @default.
- W2901915715 hasConceptScore W2901915715C2777402240 @default.
- W2901915715 hasConceptScore W2901915715C41008148 @default.
- W2901915715 hasConceptScore W2901915715C50712370 @default.
- W2901915715 hasConceptScore W2901915715C63540848 @default.
- W2901915715 hasConceptScore W2901915715C80444323 @default.
- W2901915715 hasLocation W29019157151 @default.
- W2901915715 hasLocation W29019157152 @default.
- W2901915715 hasLocation W29019157153 @default.
- W2901915715 hasOpenAccess W2901915715 @default.
- W2901915715 hasPrimaryLocation W29019157151 @default.
- W2901915715 hasRelatedWork W126332362 @default.
- W2901915715 hasRelatedWork W1595712103 @default.
- W2901915715 hasRelatedWork W1599252161 @default.
- W2901915715 hasRelatedWork W1881736994 @default.
- W2901915715 hasRelatedWork W1984688105 @default.
- W2901915715 hasRelatedWork W2020269241 @default.
- W2901915715 hasRelatedWork W2030816291 @default.
- W2901915715 hasRelatedWork W2034553162 @default.
- W2901915715 hasRelatedWork W2060114616 @default.
- W2901915715 hasRelatedWork W2142468309 @default.
- W2901915715 hasRelatedWork W2146829450 @default.
- W2901915715 hasRelatedWork W2518501055 @default.
- W2901915715 hasRelatedWork W2566529656 @default.
- W2901915715 hasRelatedWork W2616706018 @default.
- W2901915715 hasRelatedWork W2783080025 @default.
- W2901915715 hasRelatedWork W2950589015 @default.
- W2901915715 hasRelatedWork W2950848781 @default.
- W2901915715 hasRelatedWork W2979540099 @default.
- W2901915715 hasRelatedWork W810194604 @default.
- W2901915715 hasRelatedWork W2010894567 @default.
- W2901915715 isParatext "false" @default.
- W2901915715 isRetracted "false" @default.
- W2901915715 magId "2901915715" @default.
- W2901915715 workType "book-chapter" @default.