20 July, 2004
OSMA Software Assurance Symposium
California Institute of Technology
Requirements Decomposition Analysis Importance and Benefits
As the complexity of spacecraft systems increases, and as increasing reliance is placed on software as an enhancing or enabling technology, the need for analysis of requirements decomposition is expected to grow further.
Improved methods for assuring correctness of requirements decomposition advance the state of the practice in software V&V.
Early detection of flaws in requirements decomposition permits early-lifecycle repair, thus avoiding costlier downstream repairs.
Reducing the state space required for model checking will enable analytical verification of larger systems with less effort.