Matches in SemOpenAlex for { <https://semopenalex.org/work/W2540121754> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2540121754 abstract "Integrated modular avionics (IMA) present many benefits in power and weight savings for an aircraft, but also create new challenges for verification due to the increased complexity in interactions between the highly integrated network of avionics systems. For a large set of hosted avionics functions, it is impractical to exhaustively test an entire set of functions while they are fully integrated. There can be a combinatorial explosion of test cases for an integrated IMA system since the performance and function of a hosted system can be impacted by other hosted systems. This traditional test approach would be characterized by a high cost of change since any single system change could require the full integrated set of to be retested. This paper introduces a modular verification strategy for IMA systems, which provides a practical approach to verifying these architectures. Within the modular verification strategy, are verified in isolation from the fully integrated set of avionics systems. This can be done without requiring re-test within the fully integrated environment. In order to accomplish this, terms of equivalency must be established for an avionics system's test environment with respect to the integrated system environment. This equivalency relies on reasoning in the logical system domain rather than the physical system domain. This is a fundamental change in reasoning from traditional verification concepts employed within federated architectures. The cost of change is minimized since each hosted system can be tested and retested without impacting the test results for other hosted systems. This proposed verification strategy is based upon the author's experience in developing the Genesis IMA architecture at Smiths Aerospace. The Genesis IMA architecture was implemented on the Boeing 787 Dreamliner as the common core system (CCS). The CCS is one of the first implementations of an open systems IMA architecture" @default.
- W2540121754 created "2016-11-04" @default.
- W2540121754 creator A5058494857 @default.
- W2540121754 date "2006-10-01" @default.
- W2540121754 modified "2023-09-25" @default.
- W2540121754 title "Modular Verification: Testing a Subset of Integrated Modular Avionics in Isolation" @default.
- W2540121754 cites W1491620647 @default.
- W2540121754 cites W1886135052 @default.
- W2540121754 cites W2054894328 @default.
- W2540121754 doi "https://doi.org/10.1109/dasc.2006.313747" @default.
- W2540121754 hasPublicationYear "2006" @default.
- W2540121754 type Work @default.
- W2540121754 sameAs 2540121754 @default.
- W2540121754 citedByCount "10" @default.
- W2540121754 countsByYear W25401217542012 @default.
- W2540121754 countsByYear W25401217542013 @default.
- W2540121754 countsByYear W25401217542014 @default.
- W2540121754 countsByYear W25401217542016 @default.
- W2540121754 countsByYear W25401217542018 @default.
- W2540121754 crossrefType "proceedings-article" @default.
- W2540121754 hasAuthorship W2540121754A5058494857 @default.
- W2540121754 hasConcept C101468663 @default.
- W2540121754 hasConcept C111919701 @default.
- W2540121754 hasConcept C127413603 @default.
- W2540121754 hasConcept C134306372 @default.
- W2540121754 hasConcept C14036430 @default.
- W2540121754 hasConcept C146978453 @default.
- W2540121754 hasConcept C149635348 @default.
- W2540121754 hasConcept C15792166 @default.
- W2540121754 hasConcept C177264268 @default.
- W2540121754 hasConcept C189956118 @default.
- W2540121754 hasConcept C199360897 @default.
- W2540121754 hasConcept C200601418 @default.
- W2540121754 hasConcept C201995342 @default.
- W2540121754 hasConcept C33923547 @default.
- W2540121754 hasConcept C36503486 @default.
- W2540121754 hasConcept C41008148 @default.
- W2540121754 hasConcept C78458016 @default.
- W2540121754 hasConcept C86803240 @default.
- W2540121754 hasConceptScore W2540121754C101468663 @default.
- W2540121754 hasConceptScore W2540121754C111919701 @default.
- W2540121754 hasConceptScore W2540121754C127413603 @default.
- W2540121754 hasConceptScore W2540121754C134306372 @default.
- W2540121754 hasConceptScore W2540121754C14036430 @default.
- W2540121754 hasConceptScore W2540121754C146978453 @default.
- W2540121754 hasConceptScore W2540121754C149635348 @default.
- W2540121754 hasConceptScore W2540121754C15792166 @default.
- W2540121754 hasConceptScore W2540121754C177264268 @default.
- W2540121754 hasConceptScore W2540121754C189956118 @default.
- W2540121754 hasConceptScore W2540121754C199360897 @default.
- W2540121754 hasConceptScore W2540121754C200601418 @default.
- W2540121754 hasConceptScore W2540121754C201995342 @default.
- W2540121754 hasConceptScore W2540121754C33923547 @default.
- W2540121754 hasConceptScore W2540121754C36503486 @default.
- W2540121754 hasConceptScore W2540121754C41008148 @default.
- W2540121754 hasConceptScore W2540121754C78458016 @default.
- W2540121754 hasConceptScore W2540121754C86803240 @default.
- W2540121754 hasLocation W25401217541 @default.
- W2540121754 hasOpenAccess W2540121754 @default.
- W2540121754 hasPrimaryLocation W25401217541 @default.
- W2540121754 hasRelatedWork W1744058484 @default.
- W2540121754 hasRelatedWork W1794264780 @default.
- W2540121754 hasRelatedWork W1849508243 @default.
- W2540121754 hasRelatedWork W1979092009 @default.
- W2540121754 hasRelatedWork W2171139856 @default.
- W2540121754 hasRelatedWork W2390879050 @default.
- W2540121754 hasRelatedWork W2909552459 @default.
- W2540121754 hasRelatedWork W4205254043 @default.
- W2540121754 hasRelatedWork W4241087310 @default.
- W2540121754 hasRelatedWork W2186669634 @default.
- W2540121754 isParatext "false" @default.
- W2540121754 isRetracted "false" @default.
- W2540121754 magId "2540121754" @default.
- W2540121754 workType "article" @default.