FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570801079> ?p ?o ?g. }

• W1570801079 abstract "The focus of the tool FTOS is to alleviate designers' burden by offering code generation for non-functional aspects including fault-tolerance mechanisms. One crucial aspect in this context is to ensure that user-selected mechanisms for the system model are sufficient to resist faults as specified in the underlying fault hypothesis. In this paper, formal approaches in verification are proposed to assist the claim. We first raise the precision of FTOS into pure mathematical constructs, and formulate the deterministic assumption, which is necessary as an extension of Giotto-like systems (e.g., FTOS) to equip with fault-tolerance abilities. We show that local properties of a system with the deterministic assumption will be preserved in a modified synchronous system used as the verification model. This enables the use of techniques known from hardware verification. As for implementation, we develop a prototype tool called FTOS-Verify, deploy it as an Eclipse add-on for FTOS, and conduct several case studies." @default.
• W1570801079 created "2016-06-24" @default.
• W1570801079 creator A5063781430 @default.
• W1570801079 creator A5066292729 @default.
• W1570801079 creator A5070565751 @default.
• W1570801079 creator A5090378914 @default.
• W1570801079 date "2009-05-25" @default.
• W1570801079 modified "2023-09-27" @default.
• W1570801079 title "FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems" @default.
• W1570801079 cites W1535237014 @default.
• W1570801079 cites W1943502734 @default.
• W1570801079 cites W1993978528 @default.
• W1570801079 cites W2000947342 @default.
• W1570801079 cites W2053152889 @default.
• W1570801079 cites W2060095702 @default.
• W1570801079 cites W2081756744 @default.
• W1570801079 cites W2090917162 @default.
• W1570801079 cites W2101508170 @default.
• W1570801079 cites W2113486906 @default.
• W1570801079 cites W2129717347 @default.
• W1570801079 cites W2129828158 @default.
• W1570801079 cites W2138059262 @default.
• W1570801079 cites W2159206387 @default.
• W1570801079 cites W2167700052 @default.
• W1570801079 cites W2171724570 @default.
• W1570801079 cites W3023258080 @default.
• W1570801079 hasPublicationYear "2009" @default.
• W1570801079 type Work @default.
• W1570801079 sameAs 1570801079 @default.
• W1570801079 citedByCount "1" @default.
• W1570801079 crossrefType "posted-content" @default.
• W1570801079 hasAuthorship W1570801079A5063781430 @default.
• W1570801079 hasAuthorship W1570801079A5066292729 @default.
• W1570801079 hasAuthorship W1570801079A5070565751 @default.
• W1570801079 hasAuthorship W1570801079A5090378914 @default.
• W1570801079 hasConcept C110251889 @default.
• W1570801079 hasConcept C111498074 @default.
• W1570801079 hasConcept C120314980 @default.
• W1570801079 hasConcept C120665830 @default.
• W1570801079 hasConcept C121332964 @default.
• W1570801079 hasConcept C127413603 @default.
• W1570801079 hasConcept C1276947 @default.
• W1570801079 hasConcept C149635348 @default.
• W1570801079 hasConcept C151730666 @default.
• W1570801079 hasConcept C177264268 @default.
• W1570801079 hasConcept C192209626 @default.
• W1570801079 hasConcept C199360897 @default.
• W1570801079 hasConcept C200601418 @default.
• W1570801079 hasConcept C202973057 @default.
• W1570801079 hasConcept C2775928411 @default.
• W1570801079 hasConcept C2776760102 @default.
• W1570801079 hasConcept C2777904410 @default.
• W1570801079 hasConcept C2778029271 @default.
• W1570801079 hasConcept C2778505590 @default.
• W1570801079 hasConcept C2779343474 @default.
• W1570801079 hasConcept C41008148 @default.
• W1570801079 hasConcept C62460635 @default.
• W1570801079 hasConcept C63540848 @default.
• W1570801079 hasConcept C86803240 @default.
• W1570801079 hasConceptScore W1570801079C110251889 @default.
• W1570801079 hasConceptScore W1570801079C111498074 @default.
• W1570801079 hasConceptScore W1570801079C120314980 @default.
• W1570801079 hasConceptScore W1570801079C120665830 @default.
• W1570801079 hasConceptScore W1570801079C121332964 @default.
• W1570801079 hasConceptScore W1570801079C127413603 @default.
• W1570801079 hasConceptScore W1570801079C1276947 @default.
• W1570801079 hasConceptScore W1570801079C149635348 @default.
• W1570801079 hasConceptScore W1570801079C151730666 @default.
• W1570801079 hasConceptScore W1570801079C177264268 @default.
• W1570801079 hasConceptScore W1570801079C192209626 @default.
• W1570801079 hasConceptScore W1570801079C199360897 @default.
• W1570801079 hasConceptScore W1570801079C200601418 @default.
• W1570801079 hasConceptScore W1570801079C202973057 @default.
• W1570801079 hasConceptScore W1570801079C2775928411 @default.
• W1570801079 hasConceptScore W1570801079C2776760102 @default.
• W1570801079 hasConceptScore W1570801079C2777904410 @default.
• W1570801079 hasConceptScore W1570801079C2778029271 @default.
• W1570801079 hasConceptScore W1570801079C2778505590 @default.
• W1570801079 hasConceptScore W1570801079C2779343474 @default.
• W1570801079 hasConceptScore W1570801079C41008148 @default.
• W1570801079 hasConceptScore W1570801079C62460635 @default.
• W1570801079 hasConceptScore W1570801079C63540848 @default.
• W1570801079 hasConceptScore W1570801079C86803240 @default.
• W1570801079 hasLocation W15708010791 @default.
• W1570801079 hasOpenAccess W1570801079 @default.
• W1570801079 hasPrimaryLocation W15708010791 @default.
• W1570801079 hasRelatedWork W1641698486 @default.
• W1570801079 hasRelatedWork W1799788669 @default.
• W1570801079 hasRelatedWork W1864488268 @default.
• W1570801079 hasRelatedWork W2063163522 @default.
• W1570801079 hasRelatedWork W2121902485 @default.
• W1570801079 hasRelatedWork W2188057831 @default.
• W1570801079 hasRelatedWork W2250100511 @default.
• W1570801079 hasRelatedWork W2296327877 @default.
• W1570801079 hasRelatedWork W2330593560 @default.
• W1570801079 hasRelatedWork W2602300369 @default.
• W1570801079 hasRelatedWork W2604275740 @default.
• W1570801079 hasRelatedWork W2750897473 @default.
• W1570801079 hasRelatedWork W2792237047 @default.
• W1570801079 hasRelatedWork W2951816589 @default.

• next