Matches in SemOpenAlex for { <https://semopenalex.org/work/W1967589009> ?p ?o ?g. }
- W1967589009 abstract "Functional fault models (FFMs) are a directed graph representation of the failure effect propagation paths within a system's physical architecture and are used to support development and real-time diagnostics of complex systems. Verification of these models is required to confirm that the FFMs are correctly built and accurately represent the underlying physical system. However, a manual, comprehensive verification process applied to the FFMs was found to be error prone due to the intensive and customized process necessary to verify each individual component model and to require a burdensome level of resources. To address this problem, automated verification tools have been developed and utilized to mitigate these key pitfalls. This paper discusses the verification of the FFMs and presents the tools that were developed to make the verification process more efficient and effective." @default.
- W1967589009 created "2016-06-24" @default.
- W1967589009 creator A5052216807 @default.
- W1967589009 creator A5070373465 @default.
- W1967589009 date "2015-01-02" @default.
- W1967589009 modified "2023-09-29" @default.
- W1967589009 title "Verification of Functional Fault Models and the Use of Resource Efficient Verification Tools" @default.
- W1967589009 cites W1963696853 @default.
- W1967589009 cites W2005739741 @default.
- W1967589009 cites W2038877132 @default.
- W1967589009 cites W2105233364 @default.
- W1967589009 cites W2119010704 @default.
- W1967589009 cites W2122159002 @default.
- W1967589009 cites W2313320142 @default.
- W1967589009 cites W4242947661 @default.
- W1967589009 doi "https://doi.org/10.2514/6.2015-1796" @default.
- W1967589009 hasPublicationYear "2015" @default.
- W1967589009 type Work @default.
- W1967589009 sameAs 1967589009 @default.
- W1967589009 citedByCount "3" @default.
- W1967589009 countsByYear W19675890092016 @default.
- W1967589009 countsByYear W19675890092018 @default.
- W1967589009 crossrefType "proceedings-article" @default.
- W1967589009 hasAuthorship W1967589009A5052216807 @default.
- W1967589009 hasAuthorship W1967589009A5070373465 @default.
- W1967589009 hasBestOaLocation W19675890092 @default.
- W1967589009 hasConcept C105795698 @default.
- W1967589009 hasConcept C111498074 @default.
- W1967589009 hasConcept C115903868 @default.
- W1967589009 hasConcept C120314980 @default.
- W1967589009 hasConcept C121332964 @default.
- W1967589009 hasConcept C126433048 @default.
- W1967589009 hasConcept C127413603 @default.
- W1967589009 hasConcept C142284323 @default.
- W1967589009 hasConcept C149091818 @default.
- W1967589009 hasConcept C168167062 @default.
- W1967589009 hasConcept C186846655 @default.
- W1967589009 hasConcept C187250869 @default.
- W1967589009 hasConcept C199360897 @default.
- W1967589009 hasConcept C200601418 @default.
- W1967589009 hasConcept C202973057 @default.
- W1967589009 hasConcept C26517878 @default.
- W1967589009 hasConcept C2777904410 @default.
- W1967589009 hasConcept C33923547 @default.
- W1967589009 hasConcept C3406870 @default.
- W1967589009 hasConcept C38652104 @default.
- W1967589009 hasConcept C41008148 @default.
- W1967589009 hasConcept C62460635 @default.
- W1967589009 hasConcept C97355855 @default.
- W1967589009 hasConcept C98045186 @default.
- W1967589009 hasConceptScore W1967589009C105795698 @default.
- W1967589009 hasConceptScore W1967589009C111498074 @default.
- W1967589009 hasConceptScore W1967589009C115903868 @default.
- W1967589009 hasConceptScore W1967589009C120314980 @default.
- W1967589009 hasConceptScore W1967589009C121332964 @default.
- W1967589009 hasConceptScore W1967589009C126433048 @default.
- W1967589009 hasConceptScore W1967589009C127413603 @default.
- W1967589009 hasConceptScore W1967589009C142284323 @default.
- W1967589009 hasConceptScore W1967589009C149091818 @default.
- W1967589009 hasConceptScore W1967589009C168167062 @default.
- W1967589009 hasConceptScore W1967589009C186846655 @default.
- W1967589009 hasConceptScore W1967589009C187250869 @default.
- W1967589009 hasConceptScore W1967589009C199360897 @default.
- W1967589009 hasConceptScore W1967589009C200601418 @default.
- W1967589009 hasConceptScore W1967589009C202973057 @default.
- W1967589009 hasConceptScore W1967589009C26517878 @default.
- W1967589009 hasConceptScore W1967589009C2777904410 @default.
- W1967589009 hasConceptScore W1967589009C33923547 @default.
- W1967589009 hasConceptScore W1967589009C3406870 @default.
- W1967589009 hasConceptScore W1967589009C38652104 @default.
- W1967589009 hasConceptScore W1967589009C41008148 @default.
- W1967589009 hasConceptScore W1967589009C62460635 @default.
- W1967589009 hasConceptScore W1967589009C97355855 @default.
- W1967589009 hasConceptScore W1967589009C98045186 @default.
- W1967589009 hasLocation W19675890091 @default.
- W1967589009 hasLocation W19675890092 @default.
- W1967589009 hasOpenAccess W1967589009 @default.
- W1967589009 hasPrimaryLocation W19675890091 @default.
- W1967589009 hasRelatedWork W1492450300 @default.
- W1967589009 hasRelatedWork W1514261334 @default.
- W1967589009 hasRelatedWork W1993481199 @default.
- W1967589009 hasRelatedWork W2007672174 @default.
- W1967589009 hasRelatedWork W2081647438 @default.
- W1967589009 hasRelatedWork W2112420251 @default.
- W1967589009 hasRelatedWork W2117877391 @default.
- W1967589009 hasRelatedWork W2130814419 @default.
- W1967589009 hasRelatedWork W2159072947 @default.
- W1967589009 hasRelatedWork W2186119228 @default.
- W1967589009 hasRelatedWork W2188008837 @default.
- W1967589009 hasRelatedWork W2363357013 @default.
- W1967589009 hasRelatedWork W2763447832 @default.
- W1967589009 hasRelatedWork W2889227506 @default.
- W1967589009 hasRelatedWork W2900045014 @default.
- W1967589009 hasRelatedWork W2962743573 @default.
- W1967589009 hasRelatedWork W2970309562 @default.
- W1967589009 hasRelatedWork W3005938533 @default.
- W1967589009 hasRelatedWork W3091400564 @default.
- W1967589009 hasRelatedWork W150430237 @default.
- W1967589009 isParatext "false" @default.
- W1967589009 isRetracted "false" @default.