NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Analytic Verification of Flight SoftwareIn the realm of space exploration, the biggest obstacle to widespread application of autonomy in flight software is not technical feasibility; it is doubt about its trustworthiness as a replacement for human-in-the-loop decision-making.
Document ID
20060034827
Acquisition Source
Jet Propulsion Laboratory
Document Type
Reprint (Version printed in journal)
External Source(s)
hdl:2014/20501
Authors
Dvorak, D.
Date Acquired
August 23, 2013
Publication Date
August 1, 1998
Publication Information
Publication: IEEE Expert
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Other
Keywords
model
autonomous control verification validation decision-making systems design-time

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available