Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130834825> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2130834825 abstract "A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Littlewood, this paper presents a mathematical framework that can be used to state and formally prove probabilistic safety claims. It also enables hazardous conditions, their uncertainties, and their interactions to be integrated into the safety claim. This framework provides a formal description of the probabilistic composition of an arbitrary number of hazardous conditions and their effects on system behavior. An example is given of a probabilistic safety claim for a conflict detection algorithm for aircraft in a 2D airspace. The motivation for developing this mathematical framework is that it can be used in an automated theorem prover to formally verify safety claims." @default.
- W2130834825 created "2016-06-24" @default.
- W2130834825 creator A5000166506 @default.
- W2130834825 creator A5040917904 @default.
- W2130834825 creator A5060219474 @default.
- W2130834825 date "2011-01-01" @default.
- W2130834825 modified "2023-09-26" @default.
- W2130834825 title "Formalizing Probabilistic Safety Claims" @default.
- W2130834825 cites W1534850143 @default.
- W2130834825 cites W1543414505 @default.
- W2130834825 cites W2327655320 @default.
- W2130834825 cites W2546909698 @default.
- W2130834825 doi "https://doi.org/10.1007/978-3-642-20398-5_13" @default.
- W2130834825 hasPublicationYear "2011" @default.
- W2130834825 type Work @default.
- W2130834825 sameAs 2130834825 @default.
- W2130834825 citedByCount "4" @default.
- W2130834825 countsByYear W21308348252012 @default.
- W2130834825 countsByYear W21308348252013 @default.
- W2130834825 countsByYear W21308348252014 @default.
- W2130834825 crossrefType "book-chapter" @default.
- W2130834825 hasAuthorship W2130834825A5000166506 @default.
- W2130834825 hasAuthorship W2130834825A5040917904 @default.
- W2130834825 hasAuthorship W2130834825A5060219474 @default.
- W2130834825 hasBestOaLocation W21308348252 @default.
- W2130834825 hasConcept C111498074 @default.
- W2130834825 hasConcept C127413603 @default.
- W2130834825 hasConcept C132835097 @default.
- W2130834825 hasConcept C154945302 @default.
- W2130834825 hasConcept C177264268 @default.
- W2130834825 hasConcept C17744445 @default.
- W2130834825 hasConcept C18903297 @default.
- W2130834825 hasConcept C199360897 @default.
- W2130834825 hasConcept C199539241 @default.
- W2130834825 hasConcept C200601418 @default.
- W2130834825 hasConcept C206880738 @default.
- W2130834825 hasConcept C22507642 @default.
- W2130834825 hasConcept C2777026412 @default.
- W2130834825 hasConcept C41008148 @default.
- W2130834825 hasConcept C49937458 @default.
- W2130834825 hasConcept C75606506 @default.
- W2130834825 hasConcept C80444323 @default.
- W2130834825 hasConcept C86803240 @default.
- W2130834825 hasConceptScore W2130834825C111498074 @default.
- W2130834825 hasConceptScore W2130834825C127413603 @default.
- W2130834825 hasConceptScore W2130834825C132835097 @default.
- W2130834825 hasConceptScore W2130834825C154945302 @default.
- W2130834825 hasConceptScore W2130834825C177264268 @default.
- W2130834825 hasConceptScore W2130834825C17744445 @default.
- W2130834825 hasConceptScore W2130834825C18903297 @default.
- W2130834825 hasConceptScore W2130834825C199360897 @default.
- W2130834825 hasConceptScore W2130834825C199539241 @default.
- W2130834825 hasConceptScore W2130834825C200601418 @default.
- W2130834825 hasConceptScore W2130834825C206880738 @default.
- W2130834825 hasConceptScore W2130834825C22507642 @default.
- W2130834825 hasConceptScore W2130834825C2777026412 @default.
- W2130834825 hasConceptScore W2130834825C41008148 @default.
- W2130834825 hasConceptScore W2130834825C49937458 @default.
- W2130834825 hasConceptScore W2130834825C75606506 @default.
- W2130834825 hasConceptScore W2130834825C80444323 @default.
- W2130834825 hasConceptScore W2130834825C86803240 @default.
- W2130834825 hasLocation W21308348251 @default.
- W2130834825 hasLocation W21308348252 @default.
- W2130834825 hasOpenAccess W2130834825 @default.
- W2130834825 hasPrimaryLocation W21308348251 @default.
- W2130834825 hasRelatedWork W105112127 @default.
- W2130834825 hasRelatedWork W1479802113 @default.
- W2130834825 hasRelatedWork W1503941568 @default.
- W2130834825 hasRelatedWork W1542183414 @default.
- W2130834825 hasRelatedWork W1543414505 @default.
- W2130834825 hasRelatedWork W1568477142 @default.
- W2130834825 hasRelatedWork W1575828165 @default.
- W2130834825 hasRelatedWork W1582986256 @default.
- W2130834825 hasRelatedWork W1606684007 @default.
- W2130834825 hasRelatedWork W1983371115 @default.
- W2130834825 hasRelatedWork W2055477538 @default.
- W2130834825 hasRelatedWork W2070717690 @default.
- W2130834825 hasRelatedWork W2154231274 @default.
- W2130834825 hasRelatedWork W2166496828 @default.
- W2130834825 hasRelatedWork W2167964658 @default.
- W2130834825 hasRelatedWork W2464096065 @default.
- W2130834825 hasRelatedWork W2518740569 @default.
- W2130834825 hasRelatedWork W2580401938 @default.
- W2130834825 hasRelatedWork W3029162146 @default.
- W2130834825 hasRelatedWork W94183712 @default.
- W2130834825 isParatext "false" @default.
- W2130834825 isRetracted "false" @default.
- W2130834825 magId "2130834825" @default.
- W2130834825 workType "book-chapter" @default.