Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103812909> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2103812909 abstract "In the formal modelling of safety critical systems, an initial abstract model captures the ideal, fault free, conception of the system. Subsequently, this model is enriched with the detail required to deal with envisaged faults that the system is designed to be robust against, resulting in a concrete extended system model. Normally, conventional refinement cannot provide a formal account of the relationship between the two models. Retrenchment, a liberalisation of refinement introduced to address such situations, allows model evolution, and is deployed to provide a formal account of the fault injection process that yields the extended system model. The simulation relationship of retrenchment is used to derive fault trees for the faults introduced during the injection process. A two bit adder example drawn from the FSAP/NuSMV-SA safety analysis platform is used to illustrate the technique." @default.
- W2103812909 created "2016-06-24" @default.
- W2103812909 creator A5057652289 @default.
- W2103812909 creator A5075794170 @default.
- W2103812909 date "2004-01-01" @default.
- W2103812909 modified "2023-09-23" @default.
- W2103812909 title "Safety Requirements and Fault Trees Using Retrenchment" @default.
- W2103812909 cites W1541721537 @default.
- W2103812909 cites W1543654202 @default.
- W2103812909 cites W1565059069 @default.
- W2103812909 cites W159140081 @default.
- W2103812909 cites W1982225114 @default.
- W2103812909 cites W2033567995 @default.
- W2103812909 cites W2142185961 @default.
- W2103812909 cites W2500079794 @default.
- W2103812909 cites W4254136620 @default.
- W2103812909 cites W4254354208 @default.
- W2103812909 doi "https://doi.org/10.1007/978-3-540-30138-7_18" @default.
- W2103812909 hasPublicationYear "2004" @default.
- W2103812909 type Work @default.
- W2103812909 sameAs 2103812909 @default.
- W2103812909 citedByCount "5" @default.
- W2103812909 countsByYear W21038129092017 @default.
- W2103812909 crossrefType "book-chapter" @default.
- W2103812909 hasAuthorship W2103812909A5057652289 @default.
- W2103812909 hasAuthorship W2103812909A5075794170 @default.
- W2103812909 hasConcept C101173714 @default.
- W2103812909 hasConcept C107094494 @default.
- W2103812909 hasConcept C110251889 @default.
- W2103812909 hasConcept C111498074 @default.
- W2103812909 hasConcept C11413529 @default.
- W2103812909 hasConcept C115903868 @default.
- W2103812909 hasConcept C119599485 @default.
- W2103812909 hasConcept C120314980 @default.
- W2103812909 hasConcept C127313418 @default.
- W2103812909 hasConcept C127413603 @default.
- W2103812909 hasConcept C134146338 @default.
- W2103812909 hasConcept C161771561 @default.
- W2103812909 hasConcept C165205528 @default.
- W2103812909 hasConcept C167391956 @default.
- W2103812909 hasConcept C175551986 @default.
- W2103812909 hasConcept C17744445 @default.
- W2103812909 hasConcept C199360897 @default.
- W2103812909 hasConcept C200601418 @default.
- W2103812909 hasConcept C3116431 @default.
- W2103812909 hasConcept C41008148 @default.
- W2103812909 hasConcept C75606506 @default.
- W2103812909 hasConcept C80444323 @default.
- W2103812909 hasConcept C98045186 @default.
- W2103812909 hasConceptScore W2103812909C101173714 @default.
- W2103812909 hasConceptScore W2103812909C107094494 @default.
- W2103812909 hasConceptScore W2103812909C110251889 @default.
- W2103812909 hasConceptScore W2103812909C111498074 @default.
- W2103812909 hasConceptScore W2103812909C11413529 @default.
- W2103812909 hasConceptScore W2103812909C115903868 @default.
- W2103812909 hasConceptScore W2103812909C119599485 @default.
- W2103812909 hasConceptScore W2103812909C120314980 @default.
- W2103812909 hasConceptScore W2103812909C127313418 @default.
- W2103812909 hasConceptScore W2103812909C127413603 @default.
- W2103812909 hasConceptScore W2103812909C134146338 @default.
- W2103812909 hasConceptScore W2103812909C161771561 @default.
- W2103812909 hasConceptScore W2103812909C165205528 @default.
- W2103812909 hasConceptScore W2103812909C167391956 @default.
- W2103812909 hasConceptScore W2103812909C175551986 @default.
- W2103812909 hasConceptScore W2103812909C17744445 @default.
- W2103812909 hasConceptScore W2103812909C199360897 @default.
- W2103812909 hasConceptScore W2103812909C200601418 @default.
- W2103812909 hasConceptScore W2103812909C3116431 @default.
- W2103812909 hasConceptScore W2103812909C41008148 @default.
- W2103812909 hasConceptScore W2103812909C75606506 @default.
- W2103812909 hasConceptScore W2103812909C80444323 @default.
- W2103812909 hasConceptScore W2103812909C98045186 @default.
- W2103812909 hasLocation W21038129091 @default.
- W2103812909 hasOpenAccess W2103812909 @default.
- W2103812909 hasPrimaryLocation W21038129091 @default.
- W2103812909 hasRelatedWork W1964856545 @default.
- W2103812909 hasRelatedWork W2356598197 @default.
- W2103812909 hasRelatedWork W2356897859 @default.
- W2103812909 hasRelatedWork W2360046382 @default.
- W2103812909 hasRelatedWork W2361996834 @default.
- W2103812909 hasRelatedWork W2365085484 @default.
- W2103812909 hasRelatedWork W2370479232 @default.
- W2103812909 hasRelatedWork W2370783447 @default.
- W2103812909 hasRelatedWork W2372644717 @default.
- W2103812909 hasRelatedWork W2376989940 @default.
- W2103812909 isParatext "false" @default.
- W2103812909 isRetracted "false" @default.
- W2103812909 magId "2103812909" @default.
- W2103812909 workType "book-chapter" @default.