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.
Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics
Contributo in atti di convegno
ESA, Noordwijk, NLD
11th Symposium on Advanced Space Technologies in Robotics and Automation. Proceedings (ASTRA 2011), pp. 5A_4–8, Noordwijk, the Netherlands, 12-14 April 2011