Matches in SemOpenAlex for { <https://semopenalex.org/work/W2093154894> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2093154894 abstract "Technology is constantly improving, thus aircraft systems are becoming highly-integrated and more complex. These systems are safety-critical and consequently must be carefully designed, analyzed and evaluated. In order to overcome this complexity increase in aircraft systems, this paper puts forward reliability and safety assessment techniques and methods based on the use of formal design language AltaRica and associated tools to obtain a formal model that is suitable to perform reliability and safety assessment of the system. Through the workbench based on AltaRica, graphical interactive simulation is performed to understand how failures propagate inside the system. Then a model checker is used to test whether the qualitative requirements are valid and fault tree analysis is established to produce a Boolean formula that describes all the sequences of failure events. And a hydraulic system is used to validate the approach. As a main result, these tools and the approach are very efficient to check whether qualitative reliability and safety requirements are fulfilled." @default.
- W2093154894 created "2016-06-24" @default.
- W2093154894 creator A5027770276 @default.
- W2093154894 creator A5030683432 @default.
- W2093154894 creator A5053822641 @default.
- W2093154894 creator A5086486021 @default.
- W2093154894 creator A5087673269 @default.
- W2093154894 creator A5090818171 @default.
- W2093154894 date "2011-06-01" @default.
- W2093154894 modified "2023-09-27" @default.
- W2093154894 title "Reliability and safety assessment with AltaRica for complex aircraft systems" @default.
- W2093154894 cites W1655053995 @default.
- W2093154894 cites W2166604851 @default.
- W2093154894 cites W2260627816 @default.
- W2093154894 doi "https://doi.org/10.1109/icrms.2011.5979336" @default.
- W2093154894 hasPublicationYear "2011" @default.
- W2093154894 type Work @default.
- W2093154894 sameAs 2093154894 @default.
- W2093154894 citedByCount "6" @default.
- W2093154894 countsByYear W20931548942012 @default.
- W2093154894 countsByYear W20931548942014 @default.
- W2093154894 countsByYear W20931548942015 @default.
- W2093154894 countsByYear W20931548942019 @default.
- W2093154894 countsByYear W20931548942020 @default.
- W2093154894 countsByYear W20931548942022 @default.
- W2093154894 crossrefType "proceedings-article" @default.
- W2093154894 hasAuthorship W2093154894A5027770276 @default.
- W2093154894 hasAuthorship W2093154894A5030683432 @default.
- W2093154894 hasAuthorship W2093154894A5053822641 @default.
- W2093154894 hasAuthorship W2093154894A5086486021 @default.
- W2093154894 hasAuthorship W2093154894A5087673269 @default.
- W2093154894 hasAuthorship W2093154894A5090818171 @default.
- W2093154894 hasConcept C107094494 @default.
- W2093154894 hasConcept C111498074 @default.
- W2093154894 hasConcept C121332964 @default.
- W2093154894 hasConcept C124101348 @default.
- W2093154894 hasConcept C127413603 @default.
- W2093154894 hasConcept C132835097 @default.
- W2093154894 hasConcept C154945302 @default.
- W2093154894 hasConcept C163258240 @default.
- W2093154894 hasConcept C163707989 @default.
- W2093154894 hasConcept C199360897 @default.
- W2093154894 hasConcept C200601418 @default.
- W2093154894 hasConcept C201995342 @default.
- W2093154894 hasConcept C2777904410 @default.
- W2093154894 hasConcept C2779145975 @default.
- W2093154894 hasConcept C36464697 @default.
- W2093154894 hasConcept C41008148 @default.
- W2093154894 hasConcept C43214815 @default.
- W2093154894 hasConcept C47822265 @default.
- W2093154894 hasConcept C62520636 @default.
- W2093154894 hasConceptScore W2093154894C107094494 @default.
- W2093154894 hasConceptScore W2093154894C111498074 @default.
- W2093154894 hasConceptScore W2093154894C121332964 @default.
- W2093154894 hasConceptScore W2093154894C124101348 @default.
- W2093154894 hasConceptScore W2093154894C127413603 @default.
- W2093154894 hasConceptScore W2093154894C132835097 @default.
- W2093154894 hasConceptScore W2093154894C154945302 @default.
- W2093154894 hasConceptScore W2093154894C163258240 @default.
- W2093154894 hasConceptScore W2093154894C163707989 @default.
- W2093154894 hasConceptScore W2093154894C199360897 @default.
- W2093154894 hasConceptScore W2093154894C200601418 @default.
- W2093154894 hasConceptScore W2093154894C201995342 @default.
- W2093154894 hasConceptScore W2093154894C2777904410 @default.
- W2093154894 hasConceptScore W2093154894C2779145975 @default.
- W2093154894 hasConceptScore W2093154894C36464697 @default.
- W2093154894 hasConceptScore W2093154894C41008148 @default.
- W2093154894 hasConceptScore W2093154894C43214815 @default.
- W2093154894 hasConceptScore W2093154894C47822265 @default.
- W2093154894 hasConceptScore W2093154894C62520636 @default.
- W2093154894 hasLocation W20931548941 @default.
- W2093154894 hasOpenAccess W2093154894 @default.
- W2093154894 hasPrimaryLocation W20931548941 @default.
- W2093154894 hasRelatedWork W1964305953 @default.
- W2093154894 hasRelatedWork W2003233639 @default.
- W2093154894 hasRelatedWork W202189996 @default.
- W2093154894 hasRelatedWork W2021903470 @default.
- W2093154894 hasRelatedWork W2047833267 @default.
- W2093154894 hasRelatedWork W2093154894 @default.
- W2093154894 hasRelatedWork W2122894575 @default.
- W2093154894 hasRelatedWork W2312985471 @default.
- W2093154894 hasRelatedWork W2383406940 @default.
- W2093154894 hasRelatedWork W2549840844 @default.
- W2093154894 isParatext "false" @default.
- W2093154894 isRetracted "false" @default.
- W2093154894 magId "2093154894" @default.
- W2093154894 workType "article" @default.