Browse wiki

From MurrayWiki
Jump to: navigation, search
Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture
Abstract In this paper we discuss the application o
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.
ess to a simple rover resilience scenario.  +
Authors Catharine L. McGhan and Richard M. Murray  +
Funding Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments +
ID 2015f  +
Source AIAA Space 2015 Conference and Exposition  +
Tag mm15-aiaa  +
Title Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture +
Type Conference Paper  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 05:39:16  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/mm15-aiaa.pdf  +
hide properties that link here 
Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture + Title
 

 

Enter the name of the page to start browsing from.