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

Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E.

In ASTRA 2011. Proc. of 11th Symposium on Advanced Space Technologies in Robotics and Automation. April 12-14 2011, Noordwijk, the Netherlands, 2011

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.