This paper describes how fault protection software verification testing has been addressed for the Attitude and Articulation Control Subsystem on the Saturn-bound Cassini spacecraft.
Introduction to Complex Fault Protection Software Testing
1998-06-01
Miscellaneous
No indication
English
testing , fault , protection , software
JPL Fault Protection Software Experiences
NTRS | 2008
|Software Fault Protection with ARINC 653
IEEE | 2007
|A Software Testing Process Derived from Software Fault Tree Analysis
British Library Conference Proceedings | 2001
|