---
title: "A Comprehensive Approach to On-Board Autonomy Verification and Validation"
authors:
  - "Marco Bozzano"
  - "Alessandro Cimatti"
  - "Marco Roveri"
  - "Andrei Tchaltsev"
doi: "10.5591/978-1-57735-516-8/IJCAI11-400"
url: "https://ijcai.org/proceedings/2011/400"
pdf: "https://ijcai.org/proceedings/2011/0400.pdf"
venue: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence"
year: 2011
pages: "2398-2402"
track: ""
keywords:
---

# A Comprehensive Approach to On-Board Autonomy Verification and Validation

Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev

*Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence*, pages 2398-2402. DOI: [10.5591/978-1-57735-516-8/IJCAI11-400](https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400)

## Abstract

Deep space missions are characterized by severely constrained communication links. To meet the needs of future missions and increase their scientific return, future space systems will require an increased level of autonomy on-board. In this work, we propose a comprehensive approach to on-board autonomy relying on model-based reasoning, and encompassing many important reasoning capabilities such as plan generation, validation, execution and monitoring, FDIR, and run-time diagnosis. The controlled platform is represented symbolically, and the reasoning capabilities are seen as symbolic manipulation of such formal model. We have developed a prototype of our framework, implemented within an on-board Autonomous Reasoning Engine. We have evaluated our approach on two case-studies inspired by real-world, ongoing projects, and characterized it in terms of reliability, availability and performance.