Matches in SemOpenAlex for { <https://semopenalex.org/work/W2110129261> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2110129261 abstract "The role of flight software in the spacecraft is becoming more essential if missions are to be considered successful. <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>1 2</sup> To realize more reliable and continuous independent verification and validation (IV&V) and improve the dependability of flight software, a systems engineering process called Model-based IV&V (MBIVV) was developed and has been applied to flight software for several years. This paper examines the experience of performing MBIVV, a process which augments existing IV&V methods with various potential benefits to improve the dependability of flight software. MBIVV techniques are effective for detecting basic or complex errors and many warnings, all of which may not be identified in existing IV&V processes. Moreover, the techniques can be applied to all or only the critical portions of the target software. The number, level of abstraction, and scope of the models are adjusted to meet the objectives of the IV&V attribute and the complexity of the target flight software. This paper introduces the MBIVV paradigm, activities, and practical applications to demonstrate that this MBIVV is an effective means of ensuring the dependability of flight software." @default.
- W2110129261 created "2016-06-24" @default.
- W2110129261 creator A5002775397 @default.
- W2110129261 creator A5041833965 @default.
- W2110129261 creator A5052183932 @default.
- W2110129261 creator A5083477395 @default.
- W2110129261 date "2009-03-01" @default.
- W2110129261 modified "2023-10-03" @default.
- W2110129261 title "Model-based independent verification and validation for dependable flight software" @default.
- W2110129261 cites W2160883697 @default.
- W2110129261 doi "https://doi.org/10.1109/aero.2009.4839650" @default.
- W2110129261 hasPublicationYear "2009" @default.
- W2110129261 type Work @default.
- W2110129261 sameAs 2110129261 @default.
- W2110129261 citedByCount "2" @default.
- W2110129261 countsByYear W21101292612013 @default.
- W2110129261 countsByYear W21101292612014 @default.
- W2110129261 crossrefType "proceedings-article" @default.
- W2110129261 hasAuthorship W2110129261A5002775397 @default.
- W2110129261 hasAuthorship W2110129261A5041833965 @default.
- W2110129261 hasAuthorship W2110129261A5052183932 @default.
- W2110129261 hasAuthorship W2110129261A5083477395 @default.
- W2110129261 hasConcept C109905503 @default.
- W2110129261 hasConcept C111472728 @default.
- W2110129261 hasConcept C115903868 @default.
- W2110129261 hasConcept C124304363 @default.
- W2110129261 hasConcept C127413603 @default.
- W2110129261 hasConcept C138885662 @default.
- W2110129261 hasConcept C186846655 @default.
- W2110129261 hasConcept C199360897 @default.
- W2110129261 hasConcept C200601418 @default.
- W2110129261 hasConcept C201995342 @default.
- W2110129261 hasConcept C21547014 @default.
- W2110129261 hasConcept C2777904410 @default.
- W2110129261 hasConcept C2778012447 @default.
- W2110129261 hasConcept C33054407 @default.
- W2110129261 hasConcept C41008148 @default.
- W2110129261 hasConcept C48002344 @default.
- W2110129261 hasConcept C529173508 @default.
- W2110129261 hasConcept C77019957 @default.
- W2110129261 hasConcept C98045186 @default.
- W2110129261 hasConceptScore W2110129261C109905503 @default.
- W2110129261 hasConceptScore W2110129261C111472728 @default.
- W2110129261 hasConceptScore W2110129261C115903868 @default.
- W2110129261 hasConceptScore W2110129261C124304363 @default.
- W2110129261 hasConceptScore W2110129261C127413603 @default.
- W2110129261 hasConceptScore W2110129261C138885662 @default.
- W2110129261 hasConceptScore W2110129261C186846655 @default.
- W2110129261 hasConceptScore W2110129261C199360897 @default.
- W2110129261 hasConceptScore W2110129261C200601418 @default.
- W2110129261 hasConceptScore W2110129261C201995342 @default.
- W2110129261 hasConceptScore W2110129261C21547014 @default.
- W2110129261 hasConceptScore W2110129261C2777904410 @default.
- W2110129261 hasConceptScore W2110129261C2778012447 @default.
- W2110129261 hasConceptScore W2110129261C33054407 @default.
- W2110129261 hasConceptScore W2110129261C41008148 @default.
- W2110129261 hasConceptScore W2110129261C48002344 @default.
- W2110129261 hasConceptScore W2110129261C529173508 @default.
- W2110129261 hasConceptScore W2110129261C77019957 @default.
- W2110129261 hasConceptScore W2110129261C98045186 @default.
- W2110129261 hasLocation W21101292611 @default.
- W2110129261 hasOpenAccess W2110129261 @default.
- W2110129261 hasPrimaryLocation W21101292611 @default.
- W2110129261 hasRelatedWork W1932020719 @default.
- W2110129261 hasRelatedWork W2037881206 @default.
- W2110129261 hasRelatedWork W205252480 @default.
- W2110129261 hasRelatedWork W2201303437 @default.
- W2110129261 hasRelatedWork W2769494974 @default.
- W2110129261 hasRelatedWork W3002776882 @default.
- W2110129261 hasRelatedWork W3026824164 @default.
- W2110129261 hasRelatedWork W3088145624 @default.
- W2110129261 hasRelatedWork W3155860078 @default.
- W2110129261 hasRelatedWork W827030833 @default.
- W2110129261 isParatext "false" @default.
- W2110129261 isRetracted "false" @default.
- W2110129261 magId "2110129261" @default.
- W2110129261 workType "article" @default.