Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics

This paper presents the KnowledgE ENgineering (KEEN) design support system in which Validation and Verification (V&V) methods are used to strengthen onground development of software for plan-based autonomy. In particular, the paper describes a collection of verification methods, based on Timed Game Automata (TGA), deployed for the design and development of timeline-based Planning and Scheduling (P&S) applications within the APSI-TRF framework. The KEENs V&V functionalities are illustrated describing software development to synthesize plans for a planetary rover.

Tipo Pubblicazione: 
Contributo in atti di convegno
Author or Creator: 
Cesta, Amedeo [1]
Finzi, Alberto [2]
Fratini, Simone [1]
Orlandini, Andrea [3]
Tronci, Enrico [4]
Publisher: 
ESA, Noordwijk, NLD
Source: 
11th Symposium on Advanced Space Technologies in Robotics and Automation. Proceedings (ASTRA 2011), pp. 5A_4–8, Noordwijk, the Netherlands, 12-14 April 2011
Date: 
2011
Resource Identifier: 
http://www.cnr.it/prodotto/i/204771
http://robotics.estec.esa.int/ASTRA/Astra2011/Papers/05A/FCXNL-11A06-2144229-1-2144229Cesta.pdf
Language: 
Eng
ISTC Author: 
Ritratto di Amedeo Cesta
Real name: