Model-based independent verification and validation for dependable flight software

Naohiko Kohtake, Atsushi Katoh, Naoki Ishihama, Masafumi Katahira

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)


The role of flight software in the spacecraft is becoming more essential if missions are to be considered successful. 1 2 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.

Original languageEnglish
Title of host publication2009 IEEE Aerospace Conference
Publication statusPublished - 2009
Externally publishedYes
Event2009 IEEE Aerospace Conference - Big Sky, MT, United States
Duration: 2009 Mar 72009 Mar 14

Publication series

NameIEEE Aerospace Conference Proceedings
ISSN (Print)1095-323X


Other2009 IEEE Aerospace Conference
Country/TerritoryUnited States
CityBig Sky, MT

ASJC Scopus subject areas

  • Aerospace Engineering
  • Space and Planetary Science


Dive into the research topics of 'Model-based independent verification and validation for dependable flight software'. Together they form a unique fingerprint.

Cite this