JPL Technical Report Server

Analytic Verification of Flight Software

Show simple item record Dvorak, D. en_US 2004-09-25 2004-09-25 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.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



My Account