Matches in SemOpenAlex for { <https://semopenalex.org/work/W3162963429> ?p ?o ?g. }
- W3162963429 abstract "“Proven-in-use”, “globally-at-least-equivalent”, “stress-tested”, are concepts that come up in diverse contexts in acceptance, certification or licensing of critical systems. Their common feature is that dependability claims for a system in a certain operational environment are supported, in part, by evidence – viz of successful operation – concerning different, though related, system[s] and/or environment[s], together with an auxiliary argument that the target system/environment offers the same, or improved, safety. We propose a formal probabilistic (Bayesian) organisation for these arguments. Through specific examples of evidence for the “improvement” argument above, we demonstrate scenarios in which formalising such arguments substantially increases confidence in the target system, and show why this is not always the case. Example scenarios concern vehicles and nuclear plants. Besides supporting stronger claims, the mathematical formalisation imposes precise statements of the bases for “improvement” claims: seemingly similar forms of prior beliefs are sometimes revealed to imply substantial differences in the claims they can support." @default.
- W3162963429 created "2021-05-24" @default.
- W3162963429 creator A5006324486 @default.
- W3162963429 creator A5047841010 @default.
- W3162963429 creator A5090309356 @default.
- W3162963429 date "2021-06-01" @default.
- W3162963429 modified "2023-10-17" @default.
- W3162963429 title "Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence" @default.
- W3162963429 cites W1916488832 @default.
- W3162963429 cites W1966362790 @default.
- W3162963429 cites W1985836836 @default.
- W3162963429 cites W2038710499 @default.
- W3162963429 cites W2097331548 @default.
- W3162963429 cites W2111453601 @default.
- W3162963429 cites W2123748412 @default.
- W3162963429 cites W2144361182 @default.
- W3162963429 cites W2147247028 @default.
- W3162963429 cites W2164404425 @default.
- W3162963429 cites W2214567334 @default.
- W3162963429 cites W2525000757 @default.
- W3162963429 cites W2525936901 @default.
- W3162963429 cites W2984283656 @default.
- W3162963429 cites W3047381566 @default.
- W3162963429 cites W3049580054 @default.
- W3162963429 cites W3099881166 @default.
- W3162963429 cites W4232441001 @default.
- W3162963429 doi "https://doi.org/10.1109/dsn48987.2021.00055" @default.
- W3162963429 hasPublicationYear "2021" @default.
- W3162963429 type Work @default.
- W3162963429 sameAs 3162963429 @default.
- W3162963429 citedByCount "4" @default.
- W3162963429 countsByYear W31629634292021 @default.
- W3162963429 countsByYear W31629634292022 @default.
- W3162963429 countsByYear W31629634292023 @default.
- W3162963429 crossrefType "proceedings-article" @default.
- W3162963429 hasAuthorship W3162963429A5006324486 @default.
- W3162963429 hasAuthorship W3162963429A5047841010 @default.
- W3162963429 hasAuthorship W3162963429A5090309356 @default.
- W3162963429 hasBestOaLocation W31629634292 @default.
- W3162963429 hasConcept C107673813 @default.
- W3162963429 hasConcept C111472728 @default.
- W3162963429 hasConcept C112930515 @default.
- W3162963429 hasConcept C115903868 @default.
- W3162963429 hasConcept C138885662 @default.
- W3162963429 hasConcept C144133560 @default.
- W3162963429 hasConcept C154945302 @default.
- W3162963429 hasConcept C163707989 @default.
- W3162963429 hasConcept C166052673 @default.
- W3162963429 hasConcept C17744445 @default.
- W3162963429 hasConcept C185592680 @default.
- W3162963429 hasConcept C199360897 @default.
- W3162963429 hasConcept C199539241 @default.
- W3162963429 hasConcept C2776401178 @default.
- W3162963429 hasConcept C2777904410 @default.
- W3162963429 hasConcept C2780234205 @default.
- W3162963429 hasConcept C41008148 @default.
- W3162963429 hasConcept C41895202 @default.
- W3162963429 hasConcept C46304622 @default.
- W3162963429 hasConcept C49937458 @default.
- W3162963429 hasConcept C55493867 @default.
- W3162963429 hasConcept C77019957 @default.
- W3162963429 hasConcept C98184364 @default.
- W3162963429 hasConceptScore W3162963429C107673813 @default.
- W3162963429 hasConceptScore W3162963429C111472728 @default.
- W3162963429 hasConceptScore W3162963429C112930515 @default.
- W3162963429 hasConceptScore W3162963429C115903868 @default.
- W3162963429 hasConceptScore W3162963429C138885662 @default.
- W3162963429 hasConceptScore W3162963429C144133560 @default.
- W3162963429 hasConceptScore W3162963429C154945302 @default.
- W3162963429 hasConceptScore W3162963429C163707989 @default.
- W3162963429 hasConceptScore W3162963429C166052673 @default.
- W3162963429 hasConceptScore W3162963429C17744445 @default.
- W3162963429 hasConceptScore W3162963429C185592680 @default.
- W3162963429 hasConceptScore W3162963429C199360897 @default.
- W3162963429 hasConceptScore W3162963429C199539241 @default.
- W3162963429 hasConceptScore W3162963429C2776401178 @default.
- W3162963429 hasConceptScore W3162963429C2777904410 @default.
- W3162963429 hasConceptScore W3162963429C2780234205 @default.
- W3162963429 hasConceptScore W3162963429C41008148 @default.
- W3162963429 hasConceptScore W3162963429C41895202 @default.
- W3162963429 hasConceptScore W3162963429C46304622 @default.
- W3162963429 hasConceptScore W3162963429C49937458 @default.
- W3162963429 hasConceptScore W3162963429C55493867 @default.
- W3162963429 hasConceptScore W3162963429C77019957 @default.
- W3162963429 hasConceptScore W3162963429C98184364 @default.
- W3162963429 hasLocation W31629634291 @default.
- W3162963429 hasLocation W31629634292 @default.
- W3162963429 hasOpenAccess W3162963429 @default.
- W3162963429 hasPrimaryLocation W31629634291 @default.
- W3162963429 hasRelatedWork W1981169586 @default.
- W3162963429 hasRelatedWork W2022305762 @default.
- W3162963429 hasRelatedWork W2066810711 @default.
- W3162963429 hasRelatedWork W2067292614 @default.
- W3162963429 hasRelatedWork W2068316528 @default.
- W3162963429 hasRelatedWork W2144280492 @default.
- W3162963429 hasRelatedWork W22895180 @default.
- W3162963429 hasRelatedWork W2840093804 @default.
- W3162963429 hasRelatedWork W3209447324 @default.
- W3162963429 hasRelatedWork W4243521276 @default.
- W3162963429 isParatext "false" @default.