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.
منابع مشابه
Integrated Planning and Scheduling Capabilities to Support Space Robotics
This paper focuses on the ESA APSI software platform for developing planning and scheduling applications for space missions. In particular, it describes work performed by CNR-ISTC developing new APSI-compliant features that address aspects considered as “improvable” in the current APSI distribution. The APSI version used within the GOAC project has been considered as the starting state for the ...
متن کاملA Knowledge Engineering Environment for P&S with Timelines
This paper presents some of the features of a knowledge engineering environment, called KEEN, created to support a timeline based planning based on the APSI-TRF modeling assumptions. A key feature of the environment is the integration of typical tools for knowledge based modeling and refining with services for validation and verification specialized to planning with timelines.
متن کاملUsing Validation and Verification Techniques for Robust Plan Execution
This paper describes the exploitation of a Validation and Verification technique aiming at enriching the support capabilities of the KnowledgE ENgineering (KEEN) software environment. In particular, the work reports on the formal synthesis of a plan controller associated to a flexible temporal plan. The controller synthesis exploits Timed Game Automata (TGA) for formal modeling and UPPAAL-TIGA ...
متن کاملInvestigating the Effective Factors on the Customers' Behavioral propensity to Use Blockchain Capabilities as financial instrument
The use of technology acceptance models is a way to understand the users' attitude towards new technologies. The present study aimed to investigate drivers affecting the customers' behavioral intention to use blockchain capabilities as a financial instrument using a combination of several technology acceptance models to determine what factors encouraged users to use blockchain capabilities as a...
متن کاملHR Strategy and Its aligning with organizational strategy and human capabilities
With rapid changes in the business environment, organizations are increasingly looking at human resources as a unique asset that can provide sustained competitive advantage. As much as, people are viewed among the most important resources to firms, HR strategy would be central to achieve competitive advantages .Firms should view HR strategy as an important tool for integrating competencies insi...
متن کامل