FRINK Linked Data Fragments server

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

• W2027421525 abstract "Well logically verified and tested software may fail because of undesired physical phenomena provoking transient faults during its execution. While being the most frequent kind of faults, transient faults are difficult to localize because they have a very short life, but they may cause the failure of software. A fault tolerant method against transient faults under the hypothesis of statically verified software is presented. In order to ensure the right experimental environment, first the specification of the application is validated by Alloy analyzer, second a JML annotated Java code is statically verified. The proposed approach is based on some rules transforming basic Java statements like assignments, conditional and iterative statements into equivalent fault tolerant ones. The current research has exhibited some natural redundancy in any code, and the corrective power of repetitive statements. It also proved that the proposed method makes more efficient fault tolerant versions compared with natural error recovery, i.e. without inserting any additional code for detecting or repairing the damaged state. Illustrated by Gas purification simulator, one can see the natural error recovery in case of fault injection in the code, and how fault tolerant rules recover more errors in less time compared to the natural recovery. The proposed approach is preventive because it avoids the propagation of errors at early stages by repeating low level statements until some “stability” of their behavior." @default.
• W2027421525 created "2016-06-24" @default.
• W2027421525 creator A5013236408 @default.
• W2027421525 creator A5014620418 @default.
• W2027421525 creator A5019888601 @default.
• W2027421525 creator A5040057778 @default.
• W2027421525 creator A5070371742 @default.
• W2027421525 creator A5088916237 @default.
• W2027421525 creator A5091526462 @default.
• W2027421525 date "2013-10-01" @default.
• W2027421525 modified "2023-09-27" @default.
• W2027421525 title "Fault tolerant approach for verified software: Case of natural gas purification simulator" @default.
• W2027421525 cites W1497557108 @default.
• W2027421525 cites W169659540 @default.
• W2027421525 cites W1988537734 @default.
• W2027421525 cites W2008939682 @default.
• W2027421525 cites W2014243696 @default.
• W2027421525 cites W2018863320 @default.
• W2027421525 cites W2035195286 @default.
• W2027421525 cites W2060440626 @default.
• W2027421525 cites W2097719961 @default.
• W2027421525 cites W2108195226 @default.
• W2027421525 cites W2121043529 @default.
• W2027421525 cites W2123534458 @default.
• W2027421525 cites W2160295502 @default.
• W2027421525 doi "https://doi.org/10.1109/systol.2013.6693902" @default.
• W2027421525 hasPublicationYear "2013" @default.
• W2027421525 type Work @default.
• W2027421525 sameAs 2027421525 @default.
• W2027421525 citedByCount "0" @default.
• W2027421525 crossrefType "proceedings-article" @default.
• W2027421525 hasAuthorship W2027421525A5013236408 @default.
• W2027421525 hasAuthorship W2027421525A5014620418 @default.
• W2027421525 hasAuthorship W2027421525A5019888601 @default.
• W2027421525 hasAuthorship W2027421525A5040057778 @default.
• W2027421525 hasAuthorship W2027421525A5070371742 @default.
• W2027421525 hasAuthorship W2027421525A5088916237 @default.
• W2027421525 hasAuthorship W2027421525A5091526462 @default.
• W2027421525 hasConcept C111919701 @default.
• W2027421525 hasConcept C119599485 @default.
• W2027421525 hasConcept C120314980 @default.
• W2027421525 hasConcept C126953365 @default.
• W2027421525 hasConcept C127313418 @default.
• W2027421525 hasConcept C127413603 @default.
• W2027421525 hasConcept C134146338 @default.
• W2027421525 hasConcept C152124472 @default.
• W2027421525 hasConcept C165205528 @default.
• W2027421525 hasConcept C175551986 @default.
• W2027421525 hasConcept C199360897 @default.
• W2027421525 hasConcept C200601418 @default.
• W2027421525 hasConcept C2775928411 @default.
• W2027421525 hasConcept C2777904410 @default.
• W2027421525 hasConcept C2780799671 @default.
• W2027421525 hasConcept C41008148 @default.
• W2027421525 hasConcept C50712370 @default.
• W2027421525 hasConcept C548217200 @default.
• W2027421525 hasConcept C63540848 @default.
• W2027421525 hasConceptScore W2027421525C111919701 @default.
• W2027421525 hasConceptScore W2027421525C119599485 @default.
• W2027421525 hasConceptScore W2027421525C120314980 @default.
• W2027421525 hasConceptScore W2027421525C126953365 @default.
• W2027421525 hasConceptScore W2027421525C127313418 @default.
• W2027421525 hasConceptScore W2027421525C127413603 @default.
• W2027421525 hasConceptScore W2027421525C134146338 @default.
• W2027421525 hasConceptScore W2027421525C152124472 @default.
• W2027421525 hasConceptScore W2027421525C165205528 @default.
• W2027421525 hasConceptScore W2027421525C175551986 @default.
• W2027421525 hasConceptScore W2027421525C199360897 @default.
• W2027421525 hasConceptScore W2027421525C200601418 @default.
• W2027421525 hasConceptScore W2027421525C2775928411 @default.
• W2027421525 hasConceptScore W2027421525C2777904410 @default.
• W2027421525 hasConceptScore W2027421525C2780799671 @default.
• W2027421525 hasConceptScore W2027421525C41008148 @default.
• W2027421525 hasConceptScore W2027421525C50712370 @default.
• W2027421525 hasConceptScore W2027421525C548217200 @default.
• W2027421525 hasConceptScore W2027421525C63540848 @default.
• W2027421525 hasLocation W20274215251 @default.
• W2027421525 hasOpenAccess W2027421525 @default.
• W2027421525 hasPrimaryLocation W20274215251 @default.
• W2027421525 hasRelatedWork W1750293025 @default.
• W2027421525 hasRelatedWork W1794292432 @default.
• W2027421525 hasRelatedWork W2043609748 @default.
• W2027421525 hasRelatedWork W2052008611 @default.
• W2027421525 hasRelatedWork W2066524634 @default.
• W2027421525 hasRelatedWork W2084789256 @default.
• W2027421525 hasRelatedWork W2122821232 @default.
• W2027421525 hasRelatedWork W2151474392 @default.
• W2027421525 hasRelatedWork W2184556922 @default.
• W2027421525 hasRelatedWork W2248406975 @default.
• W2027421525 hasRelatedWork W2336784315 @default.
• W2027421525 hasRelatedWork W2544329067 @default.
• W2027421525 hasRelatedWork W2562269543 @default.
• W2027421525 hasRelatedWork W2564194818 @default.
• W2027421525 hasRelatedWork W2998172464 @default.
• W2027421525 hasRelatedWork W2998897128 @default.
• W2027421525 hasRelatedWork W3009350142 @default.
• W2027421525 hasRelatedWork W845090218 @default.
• W2027421525 hasRelatedWork W2014731251 @default.
• W2027421525 hasRelatedWork W2185795398 @default.
• W2027421525 isParatext "false" @default.

• next