JPL Technical Report Server

Analytic Verification of Flight Software

Show simple item record

dc.contributor.author Dvorak, D. en_US
dc.date.accessioned 2004-09-25
dc.date.available 2004-09-25
dc.date.issued 1998-08 en_US
dc.identifier.citation IEEE Expert en_US
dc.identifier.citation USA en_US
dc.identifier.clearanceno 98-1490 en_US
dc.identifier.uri http://hdl.handle.net/2014/20501
dc.description.abstract In 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. en_US
dc.format.extent 899095 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other autonomous control verification validation decision-making systems design-time model en_US
dc.title Analytic Verification of Flight Software en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account