Matches in SemOpenAlex for { <https://semopenalex.org/work/W1921154532> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1921154532 abstract "The Dynamic Flowgraph Methodology (DFM) is an integrated methodological approach to modeling and analyzing the behavior of software-driven embedded systems for the purpose of dependability assessment and verification. The methodology has two fundamental goals: 1) to identify how events can occur in a system; and 2) to identify an appropriate testing strategy based on an analysis of system functional behavior. To achieve these goals, the methodology employs a modeling framework in which models expressing the logic of the system being analyzed are developed in terms of causal relationships between physical variables and temporal characteristics of the execution of software modules. These models are then analyzed to determined how a certain state (desirable or undesirable) can be reached. This is done by developing timed fault trees which take the form of logical combinations of static trees relating the system parameters at different points in time. The resulting information concerning the hardware and software states that can lead to certain events of interest can then be used to increase confidence in the system, eliminate unsafe execution paths, and identify testing criteria for safety critical software functions." @default.
- W1921154532 created "2016-06-24" @default.
- W1921154532 creator A5002668847 @default.
- W1921154532 creator A5016630070 @default.
- W1921154532 creator A5053264520 @default.
- W1921154532 creator A5071198973 @default.
- W1921154532 date "1995-01-01" @default.
- W1921154532 modified "2023-09-23" @default.
- W1921154532 title "Assessing the Dependability of Embedded Software Systems Using the Dynamic Flowgraph Methodology" @default.
- W1921154532 cites W1922808635 @default.
- W1921154532 cites W1983274906 @default.
- W1921154532 cites W1996109622 @default.
- W1921154532 cites W2022269915 @default.
- W1921154532 cites W2024853889 @default.
- W1921154532 cites W2062432492 @default.
- W1921154532 cites W2075806344 @default.
- W1921154532 cites W2117834984 @default.
- W1921154532 cites W2118895024 @default.
- W1921154532 cites W3160505576 @default.
- W1921154532 cites W344674204 @default.
- W1921154532 cites W4244808913 @default.
- W1921154532 doi "https://doi.org/10.1007/978-3-7091-9396-9_13" @default.
- W1921154532 hasPublicationYear "1995" @default.
- W1921154532 type Work @default.
- W1921154532 sameAs 1921154532 @default.
- W1921154532 citedByCount "5" @default.
- W1921154532 countsByYear W19211545322013 @default.
- W1921154532 countsByYear W19211545322018 @default.
- W1921154532 crossrefType "book-chapter" @default.
- W1921154532 hasAuthorship W1921154532A5002668847 @default.
- W1921154532 hasAuthorship W1921154532A5016630070 @default.
- W1921154532 hasAuthorship W1921154532A5053264520 @default.
- W1921154532 hasAuthorship W1921154532A5071198973 @default.
- W1921154532 hasConcept C107094494 @default.
- W1921154532 hasConcept C110251889 @default.
- W1921154532 hasConcept C115903868 @default.
- W1921154532 hasConcept C127413603 @default.
- W1921154532 hasConcept C149091818 @default.
- W1921154532 hasConcept C199360897 @default.
- W1921154532 hasConcept C200601418 @default.
- W1921154532 hasConcept C21547014 @default.
- W1921154532 hasConcept C2777904410 @default.
- W1921154532 hasConcept C41008148 @default.
- W1921154532 hasConcept C48002344 @default.
- W1921154532 hasConcept C77019957 @default.
- W1921154532 hasConceptScore W1921154532C107094494 @default.
- W1921154532 hasConceptScore W1921154532C110251889 @default.
- W1921154532 hasConceptScore W1921154532C115903868 @default.
- W1921154532 hasConceptScore W1921154532C127413603 @default.
- W1921154532 hasConceptScore W1921154532C149091818 @default.
- W1921154532 hasConceptScore W1921154532C199360897 @default.
- W1921154532 hasConceptScore W1921154532C200601418 @default.
- W1921154532 hasConceptScore W1921154532C21547014 @default.
- W1921154532 hasConceptScore W1921154532C2777904410 @default.
- W1921154532 hasConceptScore W1921154532C41008148 @default.
- W1921154532 hasConceptScore W1921154532C48002344 @default.
- W1921154532 hasConceptScore W1921154532C77019957 @default.
- W1921154532 hasLocation W19211545321 @default.
- W1921154532 hasOpenAccess W1921154532 @default.
- W1921154532 hasPrimaryLocation W19211545321 @default.
- W1921154532 hasRelatedWork W1503502818 @default.
- W1921154532 hasRelatedWork W1557270585 @default.
- W1921154532 hasRelatedWork W1896944471 @default.
- W1921154532 hasRelatedWork W1976400069 @default.
- W1921154532 hasRelatedWork W1978023745 @default.
- W1921154532 hasRelatedWork W2031150002 @default.
- W1921154532 hasRelatedWork W2055146545 @default.
- W1921154532 hasRelatedWork W2070874614 @default.
- W1921154532 hasRelatedWork W2073975791 @default.
- W1921154532 hasRelatedWork W2092106531 @default.
- W1921154532 hasRelatedWork W2138756653 @default.
- W1921154532 hasRelatedWork W2158007538 @default.
- W1921154532 hasRelatedWork W2327257661 @default.
- W1921154532 hasRelatedWork W2336882285 @default.
- W1921154532 hasRelatedWork W2460313466 @default.
- W1921154532 hasRelatedWork W2471467496 @default.
- W1921154532 hasRelatedWork W2774615096 @default.
- W1921154532 hasRelatedWork W2895084012 @default.
- W1921154532 hasRelatedWork W3046358224 @default.
- W1921154532 hasRelatedWork W2558659778 @default.
- W1921154532 isParatext "false" @default.
- W1921154532 isRetracted "false" @default.
- W1921154532 magId "1921154532" @default.
- W1921154532 workType "book-chapter" @default.