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
| Name | Size | Download all |
|---|---|---|
|
md5:f3002b6518e4b6e1e84fdc1c35c10ce4
|
1.3 MB | Preview Download |
Additional details
- Eprint ID
- 65888
- Resolver ID
- CaltechAUTHORS:20160404-092715239
- Keck Institute for Space Studies (KISS)
- Created
-
2016-04-04Created from EPrint's datestamp field
- Updated
-
2021-11-10Created from EPrint's last_modified field
- Caltech groups
- Keck Institute for Space Studies
- Other Numbering System Name
- AIAA Paper
- Other Numbering System Identifier
- 2015-4527