Matches in SemOpenAlex for { <https://semopenalex.org/work/W64759968> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W64759968 endingPage "177" @default.
- W64759968 startingPage "163" @default.
- W64759968 abstract "In this paper, we study the problem of synthesizing fault-tolerant components from specifications, i.e., the problem of automatically constructing a fault-tolerant component implementation from a logical specification of the component, and the system’s required level of fault-tolerance. We study a specific level of fault-tolerance: masking tolerance. A system exhibits masking tolerance when both the liveness and the safety properties of the behaviors of the system are preserved under the occurrence of faults. In our approach, the logical specification of components is given in dCTL, a branching time temporal logic with deontic operators, especially designed for fault-tolerant component specification. The synthesis algorithm takes the component specification, and automatically determines whether a component with masking fault-tolerance is realizable, and the maximal set of faults supported for this level of tolerance. Our technique for synthesis is based on capturing masking fault-tolerance via a simulation relation. Furthermore, a combination of an extension of a synthesis algorithm for CTL to cope with dCTL specifications, with simulation algorithms, is defined in order to synthesize masking fault-tolerant implementations." @default.
- W64759968 created "2016-06-24" @default.
- W64759968 creator A5016401353 @default.
- W64759968 creator A5025139066 @default.
- W64759968 creator A5046933752 @default.
- W64759968 creator A5060135718 @default.
- W64759968 date "2013-01-01" @default.
- W64759968 modified "2023-09-26" @default.
- W64759968 title "Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications" @default.
- W64759968 cites W1495119494 @default.
- W64759968 cites W1590315663 @default.
- W64759968 cites W1983791345 @default.
- W64759968 cites W2001233105 @default.
- W64759968 cites W2039065451 @default.
- W64759968 cites W2084608278 @default.
- W64759968 cites W2128278617 @default.
- W64759968 cites W2158867151 @default.
- W64759968 cites W2169624732 @default.
- W64759968 cites W26992193 @default.
- W64759968 cites W92219756 @default.
- W64759968 doi "https://doi.org/10.1007/978-3-319-02444-8_13" @default.
- W64759968 hasPublicationYear "2013" @default.
- W64759968 type Work @default.
- W64759968 sameAs 64759968 @default.
- W64759968 citedByCount "5" @default.
- W64759968 countsByYear W647599682013 @default.
- W64759968 countsByYear W647599682015 @default.
- W64759968 countsByYear W647599682016 @default.
- W64759968 countsByYear W647599682017 @default.
- W64759968 crossrefType "book-chapter" @default.
- W64759968 hasAuthorship W64759968A5016401353 @default.
- W64759968 hasAuthorship W64759968A5025139066 @default.
- W64759968 hasAuthorship W64759968A5046933752 @default.
- W64759968 hasAuthorship W64759968A5060135718 @default.
- W64759968 hasConcept C11413529 @default.
- W64759968 hasConcept C119599485 @default.
- W64759968 hasConcept C120314980 @default.
- W64759968 hasConcept C121332964 @default.
- W64759968 hasConcept C126953365 @default.
- W64759968 hasConcept C127413603 @default.
- W64759968 hasConcept C134146338 @default.
- W64759968 hasConcept C142362112 @default.
- W64759968 hasConcept C153349607 @default.
- W64759968 hasConcept C15569618 @default.
- W64759968 hasConcept C167391956 @default.
- W64759968 hasConcept C168167062 @default.
- W64759968 hasConcept C177264268 @default.
- W64759968 hasConcept C199360897 @default.
- W64759968 hasConcept C2777402240 @default.
- W64759968 hasConcept C41008148 @default.
- W64759968 hasConcept C50712370 @default.
- W64759968 hasConcept C63540848 @default.
- W64759968 hasConcept C97355855 @default.
- W64759968 hasConceptScore W64759968C11413529 @default.
- W64759968 hasConceptScore W64759968C119599485 @default.
- W64759968 hasConceptScore W64759968C120314980 @default.
- W64759968 hasConceptScore W64759968C121332964 @default.
- W64759968 hasConceptScore W64759968C126953365 @default.
- W64759968 hasConceptScore W64759968C127413603 @default.
- W64759968 hasConceptScore W64759968C134146338 @default.
- W64759968 hasConceptScore W64759968C142362112 @default.
- W64759968 hasConceptScore W64759968C153349607 @default.
- W64759968 hasConceptScore W64759968C15569618 @default.
- W64759968 hasConceptScore W64759968C167391956 @default.
- W64759968 hasConceptScore W64759968C168167062 @default.
- W64759968 hasConceptScore W64759968C177264268 @default.
- W64759968 hasConceptScore W64759968C199360897 @default.
- W64759968 hasConceptScore W64759968C2777402240 @default.
- W64759968 hasConceptScore W64759968C41008148 @default.
- W64759968 hasConceptScore W64759968C50712370 @default.
- W64759968 hasConceptScore W64759968C63540848 @default.
- W64759968 hasConceptScore W64759968C97355855 @default.
- W64759968 hasLocation W647599681 @default.
- W64759968 hasOpenAccess W64759968 @default.
- W64759968 hasPrimaryLocation W647599681 @default.
- W64759968 hasRelatedWork W1853036562 @default.
- W64759968 hasRelatedWork W2017338346 @default.
- W64759968 hasRelatedWork W2101979774 @default.
- W64759968 hasRelatedWork W2128278617 @default.
- W64759968 hasRelatedWork W2151327182 @default.
- W64759968 hasRelatedWork W2533987203 @default.
- W64759968 hasRelatedWork W2603330110 @default.
- W64759968 hasRelatedWork W4300923837 @default.
- W64759968 hasRelatedWork W64759968 @default.
- W64759968 hasRelatedWork W2786351203 @default.
- W64759968 isParatext "false" @default.
- W64759968 isRetracted "false" @default.
- W64759968 magId "64759968" @default.
- W64759968 workType "book-chapter" @default.