Matches in SemOpenAlex for { <https://semopenalex.org/work/W2126829307> ?p ?o ?g. }
- W2126829307 endingPage "1064" @default.
- W2126829307 startingPage "1053" @default.
- W2126829307 abstract "The paper describes work that represents the culmination of a comprehensive hardware/software modeling and analysis project concerning the Charles Stark Draper Laboratory Fault-Tolerant Processor (FTP). The FTP performs a safety related function at the Integral Fast Reactor (IFR, previously known as the Experimental Breeder Reactor-II) operated by Argonne National Laboratory for the Department of Energy. Previously, we demonstrated the tolerance to hardware failures of data exchange instructions on the FTP (G.H. Chisholm et al., 1987; A.J. Kljaich et al., 1989; A.S. Wojcik et al., 1984; A.S. Wojcik, 1983). We describe a methodology for assuring that the software executing on the FTP is also tolerant to hardware failures. This methodology is based on an abstraction of the program data and control flows in terms of the specification of an abstract application program that operates on the FTP. We then prove the fault tolerance of the abstract application program to hardware and sensor failures. Based on a more detailed specification and analysis of the code that is used in the application software, we demonstrate that this code satisfies the sufficient conditions developed for the abstract application program to claim system fault tolerance." @default.
- W2126829307 created "2016-06-24" @default.
- W2126829307 creator A5016175515 @default.
- W2126829307 creator A5071980565 @default.
- W2126829307 date "1999-01-01" @default.
- W2126829307 modified "2023-09-27" @default.
- W2126829307 title "An application of formal analysis to software in a fault-tolerant environment" @default.
- W2126829307 cites W129252264 @default.
- W2126829307 cites W134651390 @default.
- W2126829307 cites W1495433690 @default.
- W2126829307 cites W151011738 @default.
- W2126829307 cites W1525223041 @default.
- W2126829307 cites W1531260926 @default.
- W2126829307 cites W1555188384 @default.
- W2126829307 cites W1577110168 @default.
- W2126829307 cites W1579433101 @default.
- W2126829307 cites W1583232763 @default.
- W2126829307 cites W1590686765 @default.
- W2126829307 cites W1592807794 @default.
- W2126829307 cites W1608433116 @default.
- W2126829307 cites W1619109010 @default.
- W2126829307 cites W1970495662 @default.
- W2126829307 cites W1975438208 @default.
- W2126829307 cites W1986681177 @default.
- W2126829307 cites W1989019829 @default.
- W2126829307 cites W1994879909 @default.
- W2126829307 cites W2011184850 @default.
- W2126829307 cites W2016944512 @default.
- W2126829307 cites W2039019493 @default.
- W2126829307 cites W2053409086 @default.
- W2126829307 cites W2053808314 @default.
- W2126829307 cites W2064984147 @default.
- W2126829307 cites W2092749622 @default.
- W2126829307 cites W2094873755 @default.
- W2126829307 cites W2098820900 @default.
- W2126829307 cites W2099140943 @default.
- W2126829307 cites W2112342905 @default.
- W2126829307 cites W2113102577 @default.
- W2126829307 cites W2114957237 @default.
- W2126829307 cites W2122627858 @default.
- W2126829307 cites W2130343303 @default.
- W2126829307 cites W2146586971 @default.
- W2126829307 cites W2150210903 @default.
- W2126829307 cites W2168010727 @default.
- W2126829307 cites W2168197734 @default.
- W2126829307 cites W2171482064 @default.
- W2126829307 cites W2296232480 @default.
- W2126829307 cites W2339045958 @default.
- W2126829307 cites W2914206182 @default.
- W2126829307 cites W783488073 @default.
- W2126829307 cites W2039000785 @default.
- W2126829307 doi "https://doi.org/10.1109/12.805155" @default.
- W2126829307 hasPublicationYear "1999" @default.
- W2126829307 type Work @default.
- W2126829307 sameAs 2126829307 @default.
- W2126829307 citedByCount "3" @default.
- W2126829307 crossrefType "journal-article" @default.
- W2126829307 hasAuthorship W2126829307A5016175515 @default.
- W2126829307 hasAuthorship W2126829307A5071980565 @default.
- W2126829307 hasConcept C110875604 @default.
- W2126829307 hasConcept C111472728 @default.
- W2126829307 hasConcept C111919701 @default.
- W2126829307 hasConcept C115903868 @default.
- W2126829307 hasConcept C124304363 @default.
- W2126829307 hasConcept C127413603 @default.
- W2126829307 hasConcept C138885662 @default.
- W2126829307 hasConcept C149635348 @default.
- W2126829307 hasConcept C169485995 @default.
- W2126829307 hasConcept C199360897 @default.
- W2126829307 hasConcept C200601418 @default.
- W2126829307 hasConcept C2775928411 @default.
- W2126829307 hasConcept C2777904410 @default.
- W2126829307 hasConcept C41008148 @default.
- W2126829307 hasConcept C50712370 @default.
- W2126829307 hasConcept C63540848 @default.
- W2126829307 hasConceptScore W2126829307C110875604 @default.
- W2126829307 hasConceptScore W2126829307C111472728 @default.
- W2126829307 hasConceptScore W2126829307C111919701 @default.
- W2126829307 hasConceptScore W2126829307C115903868 @default.
- W2126829307 hasConceptScore W2126829307C124304363 @default.
- W2126829307 hasConceptScore W2126829307C127413603 @default.
- W2126829307 hasConceptScore W2126829307C138885662 @default.
- W2126829307 hasConceptScore W2126829307C149635348 @default.
- W2126829307 hasConceptScore W2126829307C169485995 @default.
- W2126829307 hasConceptScore W2126829307C199360897 @default.
- W2126829307 hasConceptScore W2126829307C200601418 @default.
- W2126829307 hasConceptScore W2126829307C2775928411 @default.
- W2126829307 hasConceptScore W2126829307C2777904410 @default.
- W2126829307 hasConceptScore W2126829307C41008148 @default.
- W2126829307 hasConceptScore W2126829307C50712370 @default.
- W2126829307 hasConceptScore W2126829307C63540848 @default.
- W2126829307 hasIssue "10" @default.
- W2126829307 hasLocation W21268293071 @default.
- W2126829307 hasOpenAccess W2126829307 @default.
- W2126829307 hasPrimaryLocation W21268293071 @default.
- W2126829307 hasRelatedWork W1595866819 @default.
- W2126829307 hasRelatedWork W2024608029 @default.
- W2126829307 hasRelatedWork W2040421909 @default.