Matches in SemOpenAlex for { <https://semopenalex.org/work/W116171884> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W116171884 abstract "This paper describes the application of modeling and analysis techniques to software that is designed to execute on the Charles Stark Draper Laboratory (CSDL) Fault-Tolerant Processor, referred to as the FTP. The work reported here is part of a hardware/software modeling and analysis project. In an earlier paper we have described the hierarchical modeling technique based upon Petri Nets, the formal analysis techniques based upon the automated reasoning software ITP/LMA, and the specific application for which the software was designed. The software performs sensor validation of four independent measures (signals) from the Experimental Breeder Reactor-II operated by Argonne National Laboratory. From the validated signals, a flow trip signal is formulated for the reactor safety system. In the previous paper, we demonstrated fault-tolerance of the FTP's data exchange instructions to failures in the hardware. In this paper, we demonstrate that the same modeling and analysis techniques apply to proving the fault-tolerance of the software in the hardware, provided the validation algorithms have a certain generic structure. The approach that has been developed has provided insight into formal software specification as well as into the generation of test vectors for software and has provided a continuity between specification, design, analysis, and testing." @default.
- W116171884 created "2016-06-24" @default.
- W116171884 creator A5007902416 @default.
- W116171884 creator A5016175515 @default.
- W116171884 creator A5054539499 @default.
- W116171884 creator A5071980565 @default.
- W116171884 date "1987-01-01" @default.
- W116171884 modified "2023-09-26" @default.
- W116171884 title "Formal modeling and analysis of fault-tolerance properties for software" @default.
- W116171884 hasPublicationYear "1987" @default.
- W116171884 type Work @default.
- W116171884 sameAs 116171884 @default.
- W116171884 citedByCount "0" @default.
- W116171884 crossrefType "journal-article" @default.
- W116171884 hasAuthorship W116171884A5007902416 @default.
- W116171884 hasAuthorship W116171884A5016175515 @default.
- W116171884 hasAuthorship W116171884A5054539499 @default.
- W116171884 hasAuthorship W116171884A5071980565 @default.
- W116171884 hasConcept C115903868 @default.
- W116171884 hasConcept C116253237 @default.
- W116171884 hasConcept C127413603 @default.
- W116171884 hasConcept C149091818 @default.
- W116171884 hasConcept C186846655 @default.
- W116171884 hasConcept C199360897 @default.
- W116171884 hasConcept C200601418 @default.
- W116171884 hasConcept C21547014 @default.
- W116171884 hasConcept C2777904410 @default.
- W116171884 hasConcept C33054407 @default.
- W116171884 hasConcept C41008148 @default.
- W116171884 hasConcept C48002344 @default.
- W116171884 hasConcept C50712370 @default.
- W116171884 hasConcept C52928878 @default.
- W116171884 hasConceptScore W116171884C115903868 @default.
- W116171884 hasConceptScore W116171884C116253237 @default.
- W116171884 hasConceptScore W116171884C127413603 @default.
- W116171884 hasConceptScore W116171884C149091818 @default.
- W116171884 hasConceptScore W116171884C186846655 @default.
- W116171884 hasConceptScore W116171884C199360897 @default.
- W116171884 hasConceptScore W116171884C200601418 @default.
- W116171884 hasConceptScore W116171884C21547014 @default.
- W116171884 hasConceptScore W116171884C2777904410 @default.
- W116171884 hasConceptScore W116171884C33054407 @default.
- W116171884 hasConceptScore W116171884C41008148 @default.
- W116171884 hasConceptScore W116171884C48002344 @default.
- W116171884 hasConceptScore W116171884C50712370 @default.
- W116171884 hasConceptScore W116171884C52928878 @default.
- W116171884 hasLocation W1161718841 @default.
- W116171884 hasOpenAccess W116171884 @default.
- W116171884 hasPrimaryLocation W1161718841 @default.
- W116171884 hasRelatedWork W1485847380 @default.
- W116171884 hasRelatedWork W1609225318 @default.
- W116171884 hasRelatedWork W1742450382 @default.
- W116171884 hasRelatedWork W1816870013 @default.
- W116171884 hasRelatedWork W1905336937 @default.
- W116171884 hasRelatedWork W1931337126 @default.
- W116171884 hasRelatedWork W1988006617 @default.
- W116171884 hasRelatedWork W2019065740 @default.
- W116171884 hasRelatedWork W2038360477 @default.
- W116171884 hasRelatedWork W2057583130 @default.
- W116171884 hasRelatedWork W2066035398 @default.
- W116171884 hasRelatedWork W2110642552 @default.
- W116171884 hasRelatedWork W2123329891 @default.
- W116171884 hasRelatedWork W2142438987 @default.
- W116171884 hasRelatedWork W2147699275 @default.
- W116171884 hasRelatedWork W2166568431 @default.
- W116171884 hasRelatedWork W2170192942 @default.
- W116171884 hasRelatedWork W2482029010 @default.
- W116171884 hasRelatedWork W3091400564 @default.
- W116171884 hasRelatedWork W2163581746 @default.
- W116171884 isParatext "false" @default.
- W116171884 isRetracted "false" @default.
- W116171884 magId "116171884" @default.
- W116171884 workType "article" @default.