Matches in SemOpenAlex for { <https://semopenalex.org/work/W1542873426> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1542873426 endingPage "43" @default.
- W1542873426 startingPage "30" @default.
- W1542873426 abstract "Design and validation of safety-critical systems are crucial because faults or security issues could have significant impacts (loss of life, mission failure, etc.). Each year, millions of dollars are lost due to these kinds of issues. Consequently, safety and security requirements must be enforced. Systems must be validated against these requirements to improve safety and security and to make them more reliable and robust. We present our approach to avoid such issues by modeling safe and secure systems with both safety and security requirements. We rely on a modeling language (AADL) to model and design partitioned systems with their requirements and constraints. We then validate these models to ensure security and safety enforcement. We also discuss how this approach can be used to automatically generate and build safe and secure partitioned systems." @default.
- W1542873426 created "2016-06-24" @default.
- W1542873426 creator A5036479102 @default.
- W1542873426 creator A5083913244 @default.
- W1542873426 creator A5087170492 @default.
- W1542873426 date "2009-01-01" @default.
- W1542873426 modified "2023-10-02" @default.
- W1542873426 title "Validating Safety and Security Requirements for Partitioned Architectures" @default.
- W1542873426 cites W1991895580 @default.
- W1542873426 cites W2098592421 @default.
- W1542873426 cites W2135969459 @default.
- W1542873426 cites W3162445290 @default.
- W1542873426 cites W4242692807 @default.
- W1542873426 cites W4246472322 @default.
- W1542873426 doi "https://doi.org/10.1007/978-3-642-01924-1_3" @default.
- W1542873426 hasPublicationYear "2009" @default.
- W1542873426 type Work @default.
- W1542873426 sameAs 1542873426 @default.
- W1542873426 citedByCount "17" @default.
- W1542873426 countsByYear W15428734262012 @default.
- W1542873426 countsByYear W15428734262013 @default.
- W1542873426 countsByYear W15428734262014 @default.
- W1542873426 countsByYear W15428734262015 @default.
- W1542873426 countsByYear W15428734262016 @default.
- W1542873426 countsByYear W15428734262018 @default.
- W1542873426 countsByYear W15428734262019 @default.
- W1542873426 countsByYear W15428734262021 @default.
- W1542873426 crossrefType "book-chapter" @default.
- W1542873426 hasAuthorship W1542873426A5036479102 @default.
- W1542873426 hasAuthorship W1542873426A5083913244 @default.
- W1542873426 hasAuthorship W1542873426A5087170492 @default.
- W1542873426 hasConcept C103377522 @default.
- W1542873426 hasConcept C111919701 @default.
- W1542873426 hasConcept C112930515 @default.
- W1542873426 hasConcept C121822524 @default.
- W1542873426 hasConcept C127413603 @default.
- W1542873426 hasConcept C132835097 @default.
- W1542873426 hasConcept C148493468 @default.
- W1542873426 hasConcept C17744445 @default.
- W1542873426 hasConcept C184842701 @default.
- W1542873426 hasConcept C195518309 @default.
- W1542873426 hasConcept C199539241 @default.
- W1542873426 hasConcept C200601418 @default.
- W1542873426 hasConcept C2779777834 @default.
- W1542873426 hasConcept C31258907 @default.
- W1542873426 hasConcept C38652104 @default.
- W1542873426 hasConcept C41008148 @default.
- W1542873426 hasConcept C71924100 @default.
- W1542873426 hasConcept C79974875 @default.
- W1542873426 hasConceptScore W1542873426C103377522 @default.
- W1542873426 hasConceptScore W1542873426C111919701 @default.
- W1542873426 hasConceptScore W1542873426C112930515 @default.
- W1542873426 hasConceptScore W1542873426C121822524 @default.
- W1542873426 hasConceptScore W1542873426C127413603 @default.
- W1542873426 hasConceptScore W1542873426C132835097 @default.
- W1542873426 hasConceptScore W1542873426C148493468 @default.
- W1542873426 hasConceptScore W1542873426C17744445 @default.
- W1542873426 hasConceptScore W1542873426C184842701 @default.
- W1542873426 hasConceptScore W1542873426C195518309 @default.
- W1542873426 hasConceptScore W1542873426C199539241 @default.
- W1542873426 hasConceptScore W1542873426C200601418 @default.
- W1542873426 hasConceptScore W1542873426C2779777834 @default.
- W1542873426 hasConceptScore W1542873426C31258907 @default.
- W1542873426 hasConceptScore W1542873426C38652104 @default.
- W1542873426 hasConceptScore W1542873426C41008148 @default.
- W1542873426 hasConceptScore W1542873426C71924100 @default.
- W1542873426 hasConceptScore W1542873426C79974875 @default.
- W1542873426 hasLocation W15428734261 @default.
- W1542873426 hasOpenAccess W1542873426 @default.
- W1542873426 hasPrimaryLocation W15428734261 @default.
- W1542873426 hasRelatedWork W2078706642 @default.
- W1542873426 hasRelatedWork W2201722213 @default.
- W1542873426 hasRelatedWork W2384598124 @default.
- W1542873426 hasRelatedWork W2655426414 @default.
- W1542873426 hasRelatedWork W2765960653 @default.
- W1542873426 hasRelatedWork W2977630600 @default.
- W1542873426 hasRelatedWork W3201891247 @default.
- W1542873426 hasRelatedWork W896362041 @default.
- W1542873426 hasRelatedWork W9641455 @default.
- W1542873426 hasRelatedWork W1497028801 @default.
- W1542873426 isParatext "false" @default.
- W1542873426 isRetracted "false" @default.
- W1542873426 magId "1542873426" @default.
- W1542873426 workType "book-chapter" @default.