Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293196514> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4293196514 endingPage "92" @default.
- W4293196514 startingPage "88" @default.
- W4293196514 abstract "In this journal-first paper, we present an overview of our novel formalism of Attack-Fault-Maintenance Trees (AFMTs). Detailed version of work is available in [3]. AFMTs enable practitioners to quantify the disruption scenarios by answering several safety-security metrics. Alongside, it provides an informed decision on optimal maintenance policies by suggesting preventive component repairs and inspection frequencies. We answer the aforementioned metrics through “what-if” and “scenario analysis”. The models are supported by a graphical friendly tool of PASST. The tool’s front-end is a drawing canvas that provides the different syntactic elements used to design a well-formed AFMT model. The back-end of the tool is based on the statistical-model checking techniques. From the practitioner perspective, once the AFMT is designed and input parameters on component failure, detection rates, inspection rates are provided, the entire analysis can be then done as push-button technology using model-checking techniques" @default.
- W4293196514 created "2022-08-27" @default.
- W4293196514 creator A5036442516 @default.
- W4293196514 creator A5047504594 @default.
- W4293196514 creator A5070007574 @default.
- W4293196514 creator A5088210519 @default.
- W4293196514 date "2022-01-01" @default.
- W4293196514 modified "2023-09-27" @default.
- W4293196514 title "Co-engineering Safety-Security Using Statistical Model Checking" @default.
- W4293196514 cites W2166423024 @default.
- W4293196514 cites W2259883075 @default.
- W4293196514 cites W2572735123 @default.
- W4293196514 cites W2979249584 @default.
- W4293196514 cites W4200533791 @default.
- W4293196514 doi "https://doi.org/10.1007/978-3-031-08679-3_6" @default.
- W4293196514 hasPublicationYear "2022" @default.
- W4293196514 type Work @default.
- W4293196514 citedByCount "1" @default.
- W4293196514 countsByYear W42931965142023 @default.
- W4293196514 crossrefType "book-chapter" @default.
- W4293196514 hasAuthorship W4293196514A5036442516 @default.
- W4293196514 hasAuthorship W4293196514A5047504594 @default.
- W4293196514 hasAuthorship W4293196514A5070007574 @default.
- W4293196514 hasAuthorship W4293196514A5088210519 @default.
- W4293196514 hasConcept C107094494 @default.
- W4293196514 hasConcept C110251889 @default.
- W4293196514 hasConcept C114289077 @default.
- W4293196514 hasConcept C115903868 @default.
- W4293196514 hasConcept C119857082 @default.
- W4293196514 hasConcept C121332964 @default.
- W4293196514 hasConcept C124101348 @default.
- W4293196514 hasConcept C127413603 @default.
- W4293196514 hasConcept C142362112 @default.
- W4293196514 hasConcept C153349607 @default.
- W4293196514 hasConcept C168167062 @default.
- W4293196514 hasConcept C199360897 @default.
- W4293196514 hasConcept C200601418 @default.
- W4293196514 hasConcept C41008148 @default.
- W4293196514 hasConcept C558565934 @default.
- W4293196514 hasConcept C73301696 @default.
- W4293196514 hasConcept C97355855 @default.
- W4293196514 hasConceptScore W4293196514C107094494 @default.
- W4293196514 hasConceptScore W4293196514C110251889 @default.
- W4293196514 hasConceptScore W4293196514C114289077 @default.
- W4293196514 hasConceptScore W4293196514C115903868 @default.
- W4293196514 hasConceptScore W4293196514C119857082 @default.
- W4293196514 hasConceptScore W4293196514C121332964 @default.
- W4293196514 hasConceptScore W4293196514C124101348 @default.
- W4293196514 hasConceptScore W4293196514C127413603 @default.
- W4293196514 hasConceptScore W4293196514C142362112 @default.
- W4293196514 hasConceptScore W4293196514C153349607 @default.
- W4293196514 hasConceptScore W4293196514C168167062 @default.
- W4293196514 hasConceptScore W4293196514C199360897 @default.
- W4293196514 hasConceptScore W4293196514C200601418 @default.
- W4293196514 hasConceptScore W4293196514C41008148 @default.
- W4293196514 hasConceptScore W4293196514C558565934 @default.
- W4293196514 hasConceptScore W4293196514C73301696 @default.
- W4293196514 hasConceptScore W4293196514C97355855 @default.
- W4293196514 hasLocation W42931965141 @default.
- W4293196514 hasOpenAccess W4293196514 @default.
- W4293196514 hasPrimaryLocation W42931965141 @default.
- W4293196514 hasRelatedWork W2040155565 @default.
- W4293196514 hasRelatedWork W2095008768 @default.
- W4293196514 hasRelatedWork W2098764310 @default.
- W4293196514 hasRelatedWork W2099119556 @default.
- W4293196514 hasRelatedWork W2105095784 @default.
- W4293196514 hasRelatedWork W2105462683 @default.
- W4293196514 hasRelatedWork W2187042235 @default.
- W4293196514 hasRelatedWork W2338942567 @default.
- W4293196514 hasRelatedWork W2353351788 @default.
- W4293196514 hasRelatedWork W2365403766 @default.
- W4293196514 isParatext "false" @default.
- W4293196514 isRetracted "false" @default.
- W4293196514 workType "book-chapter" @default.