Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published April 4, 2016 | Submitted
Book Section - Chapter Open

Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture

Abstract

In this paper we discuss the application of correct-by-construction techniques to a resilient, risk-aware software architecture for onboard, real-time autonomous operations. We mean to combat complexity and the accidental introduction of bugs through the use of verifiable auto-coding software and correct-by-construction techniques, and discuss the use of a toolbox for correct-by-construction Temporal Logic Planning (TuLiP) for such a purpose. We describe some of TuLiP's current functionality, specifically its ability to model symbolic discrete systems and synthesize software controllers and control policies that are correct-by-construction. We then move on to discuss the use of these techniques to define a deliberative goal-directed executive capability that performs risk-informed action-planning – to satisfy the mission goals (specified by mission control) within the specified priorities and constraints. Finally, we discuss an application of the TuLiP process to a simple rover resilience scenario.

Additional Information

© 2015 AIAA. The authors would like to thank Tiago Vaquero and Klaus Havelund for their help as sounding boards during the problem formulation process, and Scott Livingston for his help in understanding the capabilities of the TuLiP and gr1c software algorithms. The authors would also like to thank both the Model-based Embedded Robotic Systems Group at MIT, and Michel Ingham and the System Architectures and BehaviorsGroup at the NASA Jet Propulsion Lab for their input and feedback during the development process. We would also like to thank the Keck Institute of Space Studies for its initial study and final report on Engineering Resilient Space Systems, from which this effort has originated. The research described in this paper was carried out at the California Institute of Technology under a grant from the Keck Institute for Space Studies.

Attached Files

Submitted - application.pdf

Files

application.pdf
Files (1.3 MB)
Name Size Download all
md5:f3002b6518e4b6e1e84fdc1c35c10ce4
1.3 MB Preview Download

Additional details

Created:
August 20, 2023
Modified:
October 18, 2023