 |
||
|
Advanced Search |
||
|
|||||
|
Traceability Analysis < Verification & Validation < Results Home
|
|
Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.
Click here to view research projects that had new research results added in the last 90 days.
|
| Requirements Decomposition Analysis | |
| Point of Contact |
Allen N. Nikora anikora@mail.jpl.nasa.gov |
| Dates | October 2001 - November 2003 |
| Problem | Requirements play a pivotal role in planning, selection, development, testing and operation of NASA's missions. Starting from mission objectives, requirements are successively decomposed. The correctness of this decomposition is critical, yet V&V of this crucial step is limited to manual inspection and pointwise testing, which are cumbersome and fallible (e.g., Mars Polar Lander). |
| Objective | Rigorous lightweight analysis methods for requirements decomposition have been developed by the software engineering research community, and have shown promise in successful application to critical systems (e.g., rail transportation). This proposal willstudy their application to the V&V of spacecraft software requirements, to ascertain if, when and how they are suitable for use by NASA. |
| Results |
Paper for ISSRE 2005.pdf |
| Keywords | requirements decomposition, critical systems, software requirements |
| Categories |
Design Analysis Requirements Analysis Traceability Analysis |
|
| |
|
Curator: Josh Stonestreet NASA Official: Lisa Montgomery |
|
NASA Privacy, Security, Notices |