Software Architecture Themes in JPL's Mission Data System
The rising frequency of NASA mission launches has highlighted the need for improvements leading to faster delivery of mission software without sacrificing reliability.
Software↗
Engineering topics
Dvorak, D.
Publications and source records attributed to Dvorak, D..
Verification of Autonomous Systems Using Embedded Behavior Auditors
Thr prospect of highly autonomous spacecraft and rovers is exciting for what they can do with onboard decision making, but also troubling for what they might do [improperly] without human-in-the-loop oversight.
verication↗
Analytic Verification of Flight Software
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.
model↗