Matches in SemOpenAlex for { <https://semopenalex.org/work/W1502128903> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W1502128903 abstract "Fault trees (FT) are an established model for reliability and safety analysis of technical systems. They are combinatorial models and thus cannot consider state dependencies or temporal order of events. We recently proposed state-event-fault-trees (SEFTs), an extension of fault trees with state/event semantics, as a reliability model for embedded systems. In this paper, we demonstrate its application and introduce a number of new gates that are especially suitable for software-controlled systems. SEFTs are a compositional model where the components are connected by two types of ports, state ports and event ports. Together with the extended set of gates, SEFTs allow both more accurate modeling of embedded systems and integration with design phase models such as Statecharts to achieve an integrated development process. We show the practical application of SEFTs to a small case study and introduce our tool project ESSaRel." @default.
- W1502128903 created "2016-06-24" @default.
- W1502128903 creator A5090633008 @default.
- W1502128903 date "2005-01-01" @default.
- W1502128903 modified "2023-09-26" @default.
- W1502128903 title "Extending the expressive power of fault trees" @default.
- W1502128903 cites W1537624148 @default.
- W1502128903 cites W2099529102 @default.
- W1502128903 cites W2111728927 @default.
- W1502128903 cites W2125728980 @default.
- W1502128903 doi "https://doi.org/10.1109/rams.2005.1408407" @default.
- W1502128903 hasPublicationYear "2005" @default.
- W1502128903 type Work @default.
- W1502128903 sameAs 1502128903 @default.
- W1502128903 citedByCount "13" @default.
- W1502128903 countsByYear W15021289032014 @default.
- W1502128903 countsByYear W15021289032015 @default.
- W1502128903 countsByYear W15021289032017 @default.
- W1502128903 countsByYear W15021289032018 @default.
- W1502128903 crossrefType "proceedings-article" @default.
- W1502128903 hasAuthorship W1502128903A5090633008 @default.
- W1502128903 hasConcept C121332964 @default.
- W1502128903 hasConcept C127313418 @default.
- W1502128903 hasConcept C163258240 @default.
- W1502128903 hasConcept C165205528 @default.
- W1502128903 hasConcept C175551986 @default.
- W1502128903 hasConcept C195818886 @default.
- W1502128903 hasConcept C199360897 @default.
- W1502128903 hasConcept C41008148 @default.
- W1502128903 hasConcept C62520636 @default.
- W1502128903 hasConceptScore W1502128903C121332964 @default.
- W1502128903 hasConceptScore W1502128903C127313418 @default.
- W1502128903 hasConceptScore W1502128903C163258240 @default.
- W1502128903 hasConceptScore W1502128903C165205528 @default.
- W1502128903 hasConceptScore W1502128903C175551986 @default.
- W1502128903 hasConceptScore W1502128903C195818886 @default.
- W1502128903 hasConceptScore W1502128903C199360897 @default.
- W1502128903 hasConceptScore W1502128903C41008148 @default.
- W1502128903 hasConceptScore W1502128903C62520636 @default.
- W1502128903 hasLocation W15021289031 @default.
- W1502128903 hasOpenAccess W1502128903 @default.
- W1502128903 hasPrimaryLocation W15021289031 @default.
- W1502128903 hasRelatedWork W1159231614 @default.
- W1502128903 hasRelatedWork W1829882597 @default.
- W1502128903 hasRelatedWork W1907238783 @default.
- W1502128903 hasRelatedWork W2003686204 @default.
- W1502128903 hasRelatedWork W2373953574 @default.
- W1502128903 hasRelatedWork W2377978993 @default.
- W1502128903 hasRelatedWork W2389821452 @default.
- W1502128903 hasRelatedWork W2390643924 @default.
- W1502128903 hasRelatedWork W340558589 @default.
- W1502128903 hasRelatedWork W67921714 @default.
- W1502128903 isParatext "false" @default.
- W1502128903 isRetracted "false" @default.
- W1502128903 magId "1502128903" @default.
- W1502128903 workType "article" @default.