Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285305831> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4285305831 endingPage "437" @default.
- W4285305831 startingPage "429" @default.
- W4285305831 abstract "Altarica3.0 is a high-level modeling language for security analysis, and its basic mathematical form is Guardian Transformation System (GTS). At present, GTS (or Altarica3.0 model) can be compiled into a fault tree or critical event sequence. There are several reasons for turning GTS model into a fault tree: automatically generating a fault tree from a high-level model is easier and less time consuming than creating one from scratch; Second, the high level model greatly improves the model design, sharing and maintenance; Finally, the evaluation tools of the Boolean model are more effective than the state/transition model. In general, however, the cost is the loss of sequence between events: the sequence of events is compiled into the connection of events, so there may be potential omissions throughout the system reliability analysis process and analysis results. To remedy this problem, in this paper we outline an analysis approach that converts failure behavioural models (GTS) to temporal fault trees (TFTs), which can then be analysed using Pandora a recent technique for introducing temporal logic to fault trees. The approach is compositional and potentially more scalable, as it relies on the synthesis of large system TFTs from smaller component TFTs. We verify, by using a redundant system, the effectiveness of the proposed method." @default.
- W4285305831 created "2022-07-14" @default.
- W4285305831 creator A5010818843 @default.
- W4285305831 creator A5063127492 @default.
- W4285305831 creator A5067057943 @default.
- W4285305831 date "2022-01-01" @default.
- W4285305831 modified "2023-09-29" @default.
- W4285305831 title "Automatic Generation Method of Temporal Fault Tree Based on AltaRica3.0" @default.
- W4285305831 cites W1925088674 @default.
- W4285305831 cites W2057156693 @default.
- W4285305831 cites W2064759549 @default.
- W4285305831 cites W2097545679 @default.
- W4285305831 cites W2125959410 @default.
- W4285305831 cites W2884424341 @default.
- W4285305831 doi "https://doi.org/10.1007/978-981-19-0386-1_55" @default.
- W4285305831 hasPublicationYear "2022" @default.
- W4285305831 type Work @default.
- W4285305831 citedByCount "0" @default.
- W4285305831 crossrefType "book-chapter" @default.
- W4285305831 hasAuthorship W4285305831A5010818843 @default.
- W4285305831 hasAuthorship W4285305831A5063127492 @default.
- W4285305831 hasAuthorship W4285305831A5067057943 @default.
- W4285305831 hasConcept C107094494 @default.
- W4285305831 hasConcept C113174947 @default.
- W4285305831 hasConcept C11413529 @default.
- W4285305831 hasConcept C121332964 @default.
- W4285305831 hasConcept C124101348 @default.
- W4285305831 hasConcept C127413603 @default.
- W4285305831 hasConcept C134306372 @default.
- W4285305831 hasConcept C163258240 @default.
- W4285305831 hasConcept C199360897 @default.
- W4285305831 hasConcept C200601418 @default.
- W4285305831 hasConcept C2778112365 @default.
- W4285305831 hasConcept C2779662365 @default.
- W4285305831 hasConcept C33923547 @default.
- W4285305831 hasConcept C41008148 @default.
- W4285305831 hasConcept C43214815 @default.
- W4285305831 hasConcept C48044578 @default.
- W4285305831 hasConcept C54355233 @default.
- W4285305831 hasConcept C62520636 @default.
- W4285305831 hasConcept C77088390 @default.
- W4285305831 hasConcept C80444323 @default.
- W4285305831 hasConcept C86803240 @default.
- W4285305831 hasConcept C98045186 @default.
- W4285305831 hasConceptScore W4285305831C107094494 @default.
- W4285305831 hasConceptScore W4285305831C113174947 @default.
- W4285305831 hasConceptScore W4285305831C11413529 @default.
- W4285305831 hasConceptScore W4285305831C121332964 @default.
- W4285305831 hasConceptScore W4285305831C124101348 @default.
- W4285305831 hasConceptScore W4285305831C127413603 @default.
- W4285305831 hasConceptScore W4285305831C134306372 @default.
- W4285305831 hasConceptScore W4285305831C163258240 @default.
- W4285305831 hasConceptScore W4285305831C199360897 @default.
- W4285305831 hasConceptScore W4285305831C200601418 @default.
- W4285305831 hasConceptScore W4285305831C2778112365 @default.
- W4285305831 hasConceptScore W4285305831C2779662365 @default.
- W4285305831 hasConceptScore W4285305831C33923547 @default.
- W4285305831 hasConceptScore W4285305831C41008148 @default.
- W4285305831 hasConceptScore W4285305831C43214815 @default.
- W4285305831 hasConceptScore W4285305831C48044578 @default.
- W4285305831 hasConceptScore W4285305831C54355233 @default.
- W4285305831 hasConceptScore W4285305831C62520636 @default.
- W4285305831 hasConceptScore W4285305831C77088390 @default.
- W4285305831 hasConceptScore W4285305831C80444323 @default.
- W4285305831 hasConceptScore W4285305831C86803240 @default.
- W4285305831 hasConceptScore W4285305831C98045186 @default.
- W4285305831 hasLocation W42853058311 @default.
- W4285305831 hasOpenAccess W4285305831 @default.
- W4285305831 hasPrimaryLocation W42853058311 @default.
- W4285305831 hasRelatedWork W1844291143 @default.
- W4285305831 hasRelatedWork W2035822260 @default.
- W4285305831 hasRelatedWork W2042341726 @default.
- W4285305831 hasRelatedWork W2122894575 @default.
- W4285305831 hasRelatedWork W2188491941 @default.
- W4285305831 hasRelatedWork W2358049183 @default.
- W4285305831 hasRelatedWork W2362353689 @default.
- W4285305831 hasRelatedWork W2388079945 @default.
- W4285305831 hasRelatedWork W2390145995 @default.
- W4285305831 hasRelatedWork W3193609653 @default.
- W4285305831 isParatext "false" @default.
- W4285305831 isRetracted "false" @default.
- W4285305831 workType "book-chapter" @default.