|
BEACON eSpace at Jet Propulsion Laboratory >
JPL Technical Report Server >
JPL TRS 1992+ >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2014/38126
|
| Title: | Autonomy software verification and validation might not be as hard as it seems |
| Authors: | Gat, Erann |
| Keywords: | autonomy software
spacecraft |
| Issue Date: | Mar-2004 |
| Publisher: | Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2004. |
| Citation: | IEEE Aerospace Conference, Big Sky, MT, March 6-13, 2004 |
| Abstract: | The verification and validation of autonomy software is widely believed to be a challenging unsolved problem. To a certain extent this is true, but in this paper I argue that the problem is not nearly as severe as seems to be widely perceived. many of the perceived hard problems in autonomy software V&V also exist for traditional software, and can be solved using many of the same methods and techniques used for traditional spacecraft software. In particular, the problem of intractably large state spaces exists for any non-trivial software system. |
| URI: | http://hdl.handle.net/2014/38126 |
| Appears in Collections: | JPL TRS 1992+
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
