Matches in SemOpenAlex for { <https://semopenalex.org/work/W2279888664> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2279888664 abstract "In the modern environment, people are more and more dependent from software-controlled systems. If it comes, however, to the certification of those systems, frequently used methods like fault tree analysis or Markov models have some crucial disadvantages, especially in modeling the hierarchical decomposition as well as the temporal behavior of the underlying system. To deal with these weak points, state/event fault trees (SEFTs) [9] were developed. All analysis methods of SEFTs — qualitative and quantitative — based on their reachability graphs which are traditionally developed by translation into equivalent Petri-nets. However, this Petri-net translation and its subsequent reachability graph development is a computationally expensive procedure that comes mostly with a state-space explosion. In this paper, we propose an approach that is able to develop an SEFT's reachability graph directly without an intermediate Petri-net model. In the evaluation we have carrie out some case studies in order to show that the direct approach increases the efficiency w. r. t. memory and time consumption while maintaining the same results as the traditional approach." @default.
- W2279888664 created "2016-06-24" @default.
- W2279888664 creator A5001586722 @default.
- W2279888664 creator A5002540909 @default.
- W2279888664 creator A5025079639 @default.
- W2279888664 date "2015-11-01" @default.
- W2279888664 modified "2023-09-22" @default.
- W2279888664 title "Efficient reachability graph development for qualitive analysis of state/event fault trees" @default.
- W2279888664 cites W1566274933 @default.
- W2279888664 cites W1604981278 @default.
- W2279888664 cites W1706700386 @default.
- W2279888664 cites W1967748030 @default.
- W2279888664 cites W2000540645 @default.
- W2279888664 cites W2062054804 @default.
- W2279888664 cites W2111728927 @default.
- W2279888664 cites W2130841787 @default.
- W2279888664 cites W2149690743 @default.
- W2279888664 cites W2154884120 @default.
- W2279888664 cites W2255370965 @default.
- W2279888664 cites W4234119303 @default.
- W2279888664 doi "https://doi.org/10.1109/issrew.2015.7392060" @default.
- W2279888664 hasPublicationYear "2015" @default.
- W2279888664 type Work @default.
- W2279888664 sameAs 2279888664 @default.
- W2279888664 citedByCount "0" @default.
- W2279888664 crossrefType "proceedings-article" @default.
- W2279888664 hasAuthorship W2279888664A5001586722 @default.
- W2279888664 hasAuthorship W2279888664A5002540909 @default.
- W2279888664 hasAuthorship W2279888664A5025079639 @default.
- W2279888664 hasConcept C105795698 @default.
- W2279888664 hasConcept C107094494 @default.
- W2279888664 hasConcept C110251889 @default.
- W2279888664 hasConcept C120314980 @default.
- W2279888664 hasConcept C127413603 @default.
- W2279888664 hasConcept C132525143 @default.
- W2279888664 hasConcept C136643341 @default.
- W2279888664 hasConcept C197551870 @default.
- W2279888664 hasConcept C200601418 @default.
- W2279888664 hasConcept C33923547 @default.
- W2279888664 hasConcept C38677869 @default.
- W2279888664 hasConcept C41008148 @default.
- W2279888664 hasConcept C72434380 @default.
- W2279888664 hasConcept C80444323 @default.
- W2279888664 hasConceptScore W2279888664C105795698 @default.
- W2279888664 hasConceptScore W2279888664C107094494 @default.
- W2279888664 hasConceptScore W2279888664C110251889 @default.
- W2279888664 hasConceptScore W2279888664C120314980 @default.
- W2279888664 hasConceptScore W2279888664C127413603 @default.
- W2279888664 hasConceptScore W2279888664C132525143 @default.
- W2279888664 hasConceptScore W2279888664C136643341 @default.
- W2279888664 hasConceptScore W2279888664C197551870 @default.
- W2279888664 hasConceptScore W2279888664C200601418 @default.
- W2279888664 hasConceptScore W2279888664C33923547 @default.
- W2279888664 hasConceptScore W2279888664C38677869 @default.
- W2279888664 hasConceptScore W2279888664C41008148 @default.
- W2279888664 hasConceptScore W2279888664C72434380 @default.
- W2279888664 hasConceptScore W2279888664C80444323 @default.
- W2279888664 hasLocation W22798886641 @default.
- W2279888664 hasOpenAccess W2279888664 @default.
- W2279888664 hasPrimaryLocation W22798886641 @default.
- W2279888664 hasRelatedWork W111006764 @default.
- W2279888664 hasRelatedWork W2180475648 @default.
- W2279888664 hasRelatedWork W2202174127 @default.
- W2279888664 hasRelatedWork W2265529395 @default.
- W2279888664 hasRelatedWork W2485579498 @default.
- W2279888664 hasRelatedWork W2497391310 @default.
- W2279888664 hasRelatedWork W2518005752 @default.
- W2279888664 hasRelatedWork W2902571568 @default.
- W2279888664 hasRelatedWork W2914616270 @default.
- W2279888664 hasRelatedWork W2973427087 @default.
- W2279888664 hasRelatedWork W2973953287 @default.
- W2279888664 hasRelatedWork W2995977549 @default.
- W2279888664 hasRelatedWork W3093108013 @default.
- W2279888664 hasRelatedWork W3128259700 @default.
- W2279888664 hasRelatedWork W3131845281 @default.
- W2279888664 hasRelatedWork W3136557830 @default.
- W2279888664 hasRelatedWork W3138236348 @default.
- W2279888664 hasRelatedWork W3193496819 @default.
- W2279888664 hasRelatedWork W92219756 @default.
- W2279888664 hasRelatedWork W2822769498 @default.
- W2279888664 isParatext "false" @default.
- W2279888664 isRetracted "false" @default.
- W2279888664 magId "2279888664" @default.
- W2279888664 workType "article" @default.