Software independent verification and validation for spacecraft at JAXA

Naohiko Kohtake, Atsushi Katoh, Naoki Ishihama, Yuko Miyamoto, Tomomi Kawasaki, Masafumi Katahira

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

4 Citations (Scopus)

Abstract

In order to achieve mission success with more demanding mission requirements and more complex onboard software, our software independent verification and validation (IV&V) has been applied to various spacecraft software programs, such as software on satellites, ground stations, and the Japanese Experimental Module (JEM) of the International Space Station (ISS). The malfunction procedure in the operations data file for JEM is also the target for applying software IV&V. Suitable software IV&V can be performed for each spacecraft throughout the entire development life cycle. The objectives for software IV&V activity are the following: applying suitable software IV&V to each spacecraft, creating new software IV&V technologies for spacecraft, and spreading new software engineering technologies based on our software IV&V to development teams and contractors. This paper introduces our software IV&V activities and several examples to confirm that our activities are effective and efficient for spacecraft.

Original languageEnglish
Title of host publication2008 IEEE Aerospace Conference, AC
DOIs
Publication statusPublished - 2008 Aug 19
Externally publishedYes
Event2008 IEEE Aerospace Conference, AC - Big Sky, MT, United States
Duration: 2008 Mar 12008 Mar 8

Publication series

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

Other

Other2008 IEEE Aerospace Conference, AC
CountryUnited States
CityBig Sky, MT
Period08/3/108/3/8

ASJC Scopus subject areas

  • Aerospace Engineering
  • Space and Planetary Science

Fingerprint Dive into the research topics of 'Software independent verification and validation for spacecraft at JAXA'. Together they form a unique fingerprint.

  • Cite this

    Kohtake, N., Katoh, A., Ishihama, N., Miyamoto, Y., Kawasaki, T., & Katahira, M. (2008). Software independent verification and validation for spacecraft at JAXA. In 2008 IEEE Aerospace Conference, AC [4526598] (IEEE Aerospace Conference Proceedings). https://doi.org/10.1109/AERO.2008.4526598