Matches in SemOpenAlex for { <https://semopenalex.org/work/W71197997> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W71197997 abstract "In train control systems, more and more (electro-)mechanical devices are substituted by software based devices. To sustain the high level safety standards for these embedded systems, we propose the integration of fault tree analysis and formal methods. This combines two important safety analysis methods from the involved domains of engineering and software development. Our approach proposes to build a formal model of the system together with fault trees, which investigate the safety critical aspects by breaking them down to software and hardware requirements. The events of fault trees are formalized with respect to the model. Formal completeness and correctness conditions are given, using Interval Tempo- ral Logic with continuous semantics. They define a formal semantics of fault trees, which allows cause-consequence relations between events in addition to boolean decomposi- tion. The semantics is therefore suitable for dynamic sys- tems. We will prove, that the conditions guarantee, that the fault tree is a correct and complete analysis of the causes of the considered fault." @default.
- W71197997 created "2016-06-24" @default.
- W71197997 creator A5020041058 @default.
- W71197997 creator A5046448779 @default.
- W71197997 creator A5052191541 @default.
- W71197997 date "2002-01-01" @default.
- W71197997 modified "2023-09-26" @default.
- W71197997 title "Formal Fault Tree Semantics" @default.
- W71197997 cites W1543835543 @default.
- W71197997 cites W1551331198 @default.
- W71197997 cites W1748251377 @default.
- W71197997 cites W2009570820 @default.
- W71197997 cites W2033891588 @default.
- W71197997 cites W2038569232 @default.
- W71197997 cites W2104085499 @default.
- W71197997 cites W2108978221 @default.
- W71197997 cites W2127681894 @default.
- W71197997 cites W2142071020 @default.
- W71197997 cites W2167467151 @default.
- W71197997 cites W2597414984 @default.
- W71197997 cites W2617708187 @default.
- W71197997 cites W3165744266 @default.
- W71197997 cites W2462980980 @default.
- W71197997 hasPublicationYear "2002" @default.
- W71197997 type Work @default.
- W71197997 sameAs 71197997 @default.
- W71197997 citedByCount "23" @default.
- W71197997 countsByYear W711979972012 @default.
- W71197997 countsByYear W711979972013 @default.
- W71197997 countsByYear W711979972014 @default.
- W71197997 countsByYear W711979972015 @default.
- W71197997 crossrefType "journal-article" @default.
- W71197997 hasAuthorship W71197997A5020041058 @default.
- W71197997 hasAuthorship W71197997A5046448779 @default.
- W71197997 hasAuthorship W71197997A5052191541 @default.
- W71197997 hasConcept C107094494 @default.
- W71197997 hasConcept C111498074 @default.
- W71197997 hasConcept C115903868 @default.
- W71197997 hasConcept C116253237 @default.
- W71197997 hasConcept C127413603 @default.
- W71197997 hasConcept C146499914 @default.
- W71197997 hasConcept C184337299 @default.
- W71197997 hasConcept C199360897 @default.
- W71197997 hasConcept C200601418 @default.
- W71197997 hasConcept C41008148 @default.
- W71197997 hasConcept C55439883 @default.
- W71197997 hasConcept C75606506 @default.
- W71197997 hasConcept C80444323 @default.
- W71197997 hasConceptScore W71197997C107094494 @default.
- W71197997 hasConceptScore W71197997C111498074 @default.
- W71197997 hasConceptScore W71197997C115903868 @default.
- W71197997 hasConceptScore W71197997C116253237 @default.
- W71197997 hasConceptScore W71197997C127413603 @default.
- W71197997 hasConceptScore W71197997C146499914 @default.
- W71197997 hasConceptScore W71197997C184337299 @default.
- W71197997 hasConceptScore W71197997C199360897 @default.
- W71197997 hasConceptScore W71197997C200601418 @default.
- W71197997 hasConceptScore W71197997C41008148 @default.
- W71197997 hasConceptScore W71197997C55439883 @default.
- W71197997 hasConceptScore W71197997C75606506 @default.
- W71197997 hasConceptScore W71197997C80444323 @default.
- W71197997 hasLocation W711979971 @default.
- W71197997 hasOpenAccess W71197997 @default.
- W71197997 hasPrimaryLocation W711979971 @default.
- W71197997 hasRelatedWork W1503170978 @default.
- W71197997 hasRelatedWork W1543835543 @default.
- W71197997 hasRelatedWork W1566274933 @default.
- W71197997 hasRelatedWork W1600732579 @default.
- W71197997 hasRelatedWork W1748251377 @default.
- W71197997 hasRelatedWork W1992669242 @default.
- W71197997 hasRelatedWork W2067858102 @default.
- W71197997 hasRelatedWork W2104085499 @default.
- W71197997 hasRelatedWork W2108978221 @default.
- W71197997 hasRelatedWork W2115179079 @default.
- W71197997 hasRelatedWork W2127681894 @default.
- W71197997 hasRelatedWork W2135209232 @default.
- W71197997 hasRelatedWork W2154884120 @default.
- W71197997 hasRelatedWork W2167467151 @default.
- W71197997 hasRelatedWork W2617708187 @default.
- W71197997 hasRelatedWork W2887757675 @default.
- W71197997 hasRelatedWork W2913459036 @default.
- W71197997 hasRelatedWork W2939335996 @default.
- W71197997 hasRelatedWork W3165744266 @default.
- W71197997 hasRelatedWork W61993190 @default.
- W71197997 isParatext "false" @default.
- W71197997 isRetracted "false" @default.
- W71197997 magId "71197997" @default.
- W71197997 workType "article" @default.