Matches in SemOpenAlex for { <https://semopenalex.org/work/W2294250010> ?p ?o ?g. }
- W2294250010 abstract "Safety critical systems or applications must satisfy safety requirements ensuring that catastrophic consequences of combined component failures are avoided or kept below a satisfying probability threshold. Therefore, designers must define a hardened architecture or implementation of each application, which fulfills the required level of safety by integrating redundancy and safety mechanisms. We propose a methodology which, given the nominal functional architecture, uses constraint solving to select automatically a subset of system components to update and appropriate safety patterns to apply to meet safety requirements. The proposed ideas are illustrated on an avionics flight controller case study." @default.
- W2294250010 created "2016-06-24" @default.
- W2294250010 creator A5025937527 @default.
- W2294250010 creator A5033722468 @default.
- W2294250010 creator A5081391554 @default.
- W2294250010 date "2015-01-01" @default.
- W2294250010 modified "2023-09-23" @default.
- W2294250010 title "Automatic Architecture Hardening Using Safety Patterns" @default.
- W2294250010 cites W1655053995 @default.
- W2294250010 cites W1953455498 @default.
- W2294250010 cites W1965732719 @default.
- W2294250010 cites W2028402808 @default.
- W2294250010 cites W2125419122 @default.
- W2294250010 cites W2151392245 @default.
- W2294250010 cites W2160484592 @default.
- W2294250010 cites W1813936646 @default.
- W2294250010 doi "https://doi.org/10.1007/978-3-319-24255-2_21" @default.
- W2294250010 hasPublicationYear "2015" @default.
- W2294250010 type Work @default.
- W2294250010 sameAs 2294250010 @default.
- W2294250010 citedByCount "4" @default.
- W2294250010 countsByYear W22942500102017 @default.
- W2294250010 countsByYear W22942500102019 @default.
- W2294250010 countsByYear W22942500102023 @default.
- W2294250010 crossrefType "book-chapter" @default.
- W2294250010 hasAuthorship W2294250010A5025937527 @default.
- W2294250010 hasAuthorship W2294250010A5033722468 @default.
- W2294250010 hasAuthorship W2294250010A5081391554 @default.
- W2294250010 hasConcept C111919701 @default.
- W2294250010 hasConcept C121332964 @default.
- W2294250010 hasConcept C123657996 @default.
- W2294250010 hasConcept C127413603 @default.
- W2294250010 hasConcept C132835097 @default.
- W2294250010 hasConcept C142362112 @default.
- W2294250010 hasConcept C148493468 @default.
- W2294250010 hasConcept C152124472 @default.
- W2294250010 hasConcept C153349607 @default.
- W2294250010 hasConcept C15792166 @default.
- W2294250010 hasConcept C159985019 @default.
- W2294250010 hasConcept C163707989 @default.
- W2294250010 hasConcept C168167062 @default.
- W2294250010 hasConcept C192562407 @default.
- W2294250010 hasConcept C199360897 @default.
- W2294250010 hasConcept C200601418 @default.
- W2294250010 hasConcept C2776036281 @default.
- W2294250010 hasConcept C2777904410 @default.
- W2294250010 hasConcept C31258907 @default.
- W2294250010 hasConcept C41008148 @default.
- W2294250010 hasConcept C78519656 @default.
- W2294250010 hasConcept C97355855 @default.
- W2294250010 hasConcept C98025372 @default.
- W2294250010 hasConceptScore W2294250010C111919701 @default.
- W2294250010 hasConceptScore W2294250010C121332964 @default.
- W2294250010 hasConceptScore W2294250010C123657996 @default.
- W2294250010 hasConceptScore W2294250010C127413603 @default.
- W2294250010 hasConceptScore W2294250010C132835097 @default.
- W2294250010 hasConceptScore W2294250010C142362112 @default.
- W2294250010 hasConceptScore W2294250010C148493468 @default.
- W2294250010 hasConceptScore W2294250010C152124472 @default.
- W2294250010 hasConceptScore W2294250010C153349607 @default.
- W2294250010 hasConceptScore W2294250010C15792166 @default.
- W2294250010 hasConceptScore W2294250010C159985019 @default.
- W2294250010 hasConceptScore W2294250010C163707989 @default.
- W2294250010 hasConceptScore W2294250010C168167062 @default.
- W2294250010 hasConceptScore W2294250010C192562407 @default.
- W2294250010 hasConceptScore W2294250010C199360897 @default.
- W2294250010 hasConceptScore W2294250010C200601418 @default.
- W2294250010 hasConceptScore W2294250010C2776036281 @default.
- W2294250010 hasConceptScore W2294250010C2777904410 @default.
- W2294250010 hasConceptScore W2294250010C31258907 @default.
- W2294250010 hasConceptScore W2294250010C41008148 @default.
- W2294250010 hasConceptScore W2294250010C78519656 @default.
- W2294250010 hasConceptScore W2294250010C97355855 @default.
- W2294250010 hasConceptScore W2294250010C98025372 @default.
- W2294250010 hasLocation W22942500101 @default.
- W2294250010 hasOpenAccess W2294250010 @default.
- W2294250010 hasPrimaryLocation W22942500101 @default.
- W2294250010 hasRelatedWork W1657987634 @default.
- W2294250010 hasRelatedWork W1910556186 @default.
- W2294250010 hasRelatedWork W2069695064 @default.
- W2294250010 hasRelatedWork W2075015955 @default.
- W2294250010 hasRelatedWork W2079277661 @default.
- W2294250010 hasRelatedWork W2183066408 @default.
- W2294250010 hasRelatedWork W2280907745 @default.
- W2294250010 hasRelatedWork W2422026687 @default.
- W2294250010 hasRelatedWork W2489013736 @default.
- W2294250010 hasRelatedWork W2621368678 @default.
- W2294250010 hasRelatedWork W2759191953 @default.
- W2294250010 hasRelatedWork W2805553092 @default.
- W2294250010 hasRelatedWork W2905471025 @default.
- W2294250010 hasRelatedWork W2923417599 @default.
- W2294250010 hasRelatedWork W2927671325 @default.
- W2294250010 hasRelatedWork W2947421976 @default.
- W2294250010 hasRelatedWork W2970990160 @default.
- W2294250010 hasRelatedWork W2972679655 @default.
- W2294250010 hasRelatedWork W2217635619 @default.
- W2294250010 hasRelatedWork W2773550362 @default.
- W2294250010 isParatext "false" @default.
- W2294250010 isRetracted "false" @default.
- W2294250010 magId "2294250010" @default.