Software independent verification and validation for spacecraft at JAXA

IEEE Aerospace Conference Proceedings

Volumn , Issue , 2008, Pages

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

^a JAPAN AEROSPACE EXPLORATION AGENCY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

AEROSPACE ENGINEERING; CHLORINE COMPOUNDS; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; LIFE CYCLE; MANNED SPACE FLIGHT; SOFTWARE ENGINEERING; SPACE STATIONS; SPACECRAFT; TECHNOLOGY; VANADIUM COMPOUNDS;

DATA FILES; GROUND STATIONS; INTERNATIONAL SPACE STATION; JAPANESE EXPERIMENTAL MODULE; MISSION REQUIREMENTS; MISSION SUCCESS; ON-BOARD SOFTWARES; SOFTWARE PROGRAMS; VERIFICATION AND VALIDATION;

VERIFICATION;

EID: 49349113300     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.2008.4526598     Document Type: Conference Paper

References (10)

1. JAXA Vision - JAXA 2025- Web site, http://www.jaxa.jp/about/2025/index_e. html
2. ISO/IEC9126 Software engineering - Product quality
3. Robyn R. Lutz, Targeting Safety-Related Errors During Software Requirement Analysis, Journal of Systems and Software, Vol.34 Issue.3, p.223-230, 1996
4. Nancy G. Leveson, Jon D. Reese, Mats P.E.Heimdahl, SpecTRM: ACAD System for Digital Automation, Digital Avionics Systems Conference Proceedings. 17th DASC. The AIAA/IEEE/SAE, Vol.1, B52/1-B52/8, 1998
5. Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi, UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems, In Proceeding of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, 1995
6. Yuko Miyamoto, Haruka Nakao, Dan Port, Strategic Planning of IV&V for Space System Software, Data Systems in Aerospace, 2007
7. Naohiko Kohtake, Yuko Miyamoto, Masafumi Katahira, Needs Analysis for Simulation Framework throughout Spacecraft Life Cycle, 9th International Workshop on Simulation for European Space Programmes, 2006
8. Fabio Bella, Dirk Hamann, Jürgen Münch, Masa Katahira, Yuko Miyamoto, Makoto Shizunaga, Software Process Definition for Multi-organizational Development in the Aerospace Domain, International Conference on Software & Systems Engineering and their Applications, 2006
9. Frederick D. Gregory, NASA Software Independent Verification and Validation (IV&V) - An Upfront Approach to Mission Success, Data Systems in Aerospace, 1997
10. Frode Hogerg, Narve Mjos, Poul Gougaard, Ricardo Maia, Leslie Baldwin, Patricia Rodriguez, Kjeld Hjortnaes, ISVV Process & Facility Project, Data Systems in Aerospace, 2005