Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019643518> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2019643518 abstract "We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replication for tolerating transient faults. Processes are statically scheduled and communications are performed using the time-triggered protocol. Our synthesis approach decides the assignment of fault-tolerance policies to processes, the optimal placement of checkpoints and the mapping of processes to processors such that transient faults are tolerated and the timing constraints of the application are satisfied. We present several synthesis algorithms which are able to find fault-tolerant implementations given a limited amount of resources. The developed algorithms are evaluated using extensive experiments, including a real-life example." @default.
- W2019643518 created "2016-06-24" @default.
- W2019643518 creator A5001844771 @default.
- W2019643518 creator A5003372884 @default.
- W2019643518 creator A5022303478 @default.
- W2019643518 creator A5041645408 @default.
- W2019643518 date "2006-01-01" @default.
- W2019643518 modified "2023-10-16" @default.
- W2019643518 title "Synthesis of fault-tolerant embedded systems with checkpointing and replication" @default.
- W2019643518 cites W1488202922 @default.
- W2019643518 cites W1494301198 @default.
- W2019643518 cites W1685204595 @default.
- W2019643518 cites W1901543340 @default.
- W2019643518 cites W2011039300 @default.
- W2019643518 cites W2097472430 @default.
- W2019643518 cites W2100970777 @default.
- W2019643518 cites W2101819517 @default.
- W2019643518 cites W2117441930 @default.
- W2019643518 cites W2119699246 @default.
- W2019643518 cites W2129451538 @default.
- W2019643518 cites W2129828158 @default.
- W2019643518 cites W2130321694 @default.
- W2019643518 cites W2134666085 @default.
- W2019643518 cites W2142816104 @default.
- W2019643518 cites W2145411592 @default.
- W2019643518 cites W2148147784 @default.
- W2019643518 cites W2158601789 @default.
- W2019643518 cites W2161432424 @default.
- W2019643518 cites W2164357820 @default.
- W2019643518 cites W2166883710 @default.
- W2019643518 cites W2167200329 @default.
- W2019643518 cites W2891212941 @default.
- W2019643518 doi "https://doi.org/10.1109/delta.2006.83" @default.
- W2019643518 hasPublicationYear "2006" @default.
- W2019643518 type Work @default.
- W2019643518 sameAs 2019643518 @default.
- W2019643518 citedByCount "25" @default.
- W2019643518 countsByYear W20196435182013 @default.
- W2019643518 countsByYear W20196435182014 @default.
- W2019643518 countsByYear W20196435182016 @default.
- W2019643518 countsByYear W20196435182019 @default.
- W2019643518 crossrefType "proceedings-article" @default.
- W2019643518 hasAuthorship W2019643518A5001844771 @default.
- W2019643518 hasAuthorship W2019643518A5003372884 @default.
- W2019643518 hasAuthorship W2019643518A5022303478 @default.
- W2019643518 hasAuthorship W2019643518A5041645408 @default.
- W2019643518 hasBestOaLocation W20196435182 @default.
- W2019643518 hasConcept C120314980 @default.
- W2019643518 hasConcept C12590798 @default.
- W2019643518 hasConcept C159047783 @default.
- W2019643518 hasConcept C173608175 @default.
- W2019643518 hasConcept C41008148 @default.
- W2019643518 hasConcept C63540848 @default.
- W2019643518 hasConcept C86803240 @default.
- W2019643518 hasConceptScore W2019643518C120314980 @default.
- W2019643518 hasConceptScore W2019643518C12590798 @default.
- W2019643518 hasConceptScore W2019643518C159047783 @default.
- W2019643518 hasConceptScore W2019643518C173608175 @default.
- W2019643518 hasConceptScore W2019643518C41008148 @default.
- W2019643518 hasConceptScore W2019643518C63540848 @default.
- W2019643518 hasConceptScore W2019643518C86803240 @default.
- W2019643518 hasLocation W20196435181 @default.
- W2019643518 hasLocation W20196435182 @default.
- W2019643518 hasLocation W20196435183 @default.
- W2019643518 hasLocation W20196435184 @default.
- W2019643518 hasOpenAccess W2019643518 @default.
- W2019643518 hasPrimaryLocation W20196435181 @default.
- W2019643518 hasRelatedWork W1513409726 @default.
- W2019643518 hasRelatedWork W1584625515 @default.
- W2019643518 hasRelatedWork W1606082841 @default.
- W2019643518 hasRelatedWork W1823107212 @default.
- W2019643518 hasRelatedWork W1840560589 @default.
- W2019643518 hasRelatedWork W1966284344 @default.
- W2019643518 hasRelatedWork W1984291288 @default.
- W2019643518 hasRelatedWork W2124870959 @default.
- W2019643518 hasRelatedWork W2467168712 @default.
- W2019643518 hasRelatedWork W3102446781 @default.
- W2019643518 isParatext "false" @default.
- W2019643518 isRetracted "false" @default.
- W2019643518 magId "2019643518" @default.
- W2019643518 workType "article" @default.