This tool is a  procedural-task evaluation approach for testing simulation-based human activities. These approaches usually receive as input (i) models required to generate a diagnosis and (ii) data streams from the simulated system to be evaluated (aka, simulation stream). After performing the evaluation, the result of the activity diagnosis is provided as output.The uses constraint-based modelling to implement the evaluation.

References:

• [SBT1] Koenig, N., & Howard, A. (2004, September). Design and use paradigms for gazebo, an open-source multi-robot simulator. In 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No. 04CH37566) (Vol. 3, pp. 2149-2154). IEEE. DOI: 10.1109/IROS.2004.1389727
• [SBT2] Aguirre, A., Lozano-Rodero, A., Matey, L. M., Villamañe, M., & Ferrero, B. (2014). A novel approach to diagnosing motor skills. IEEE Transactions on Learning Technologies, 7(4), 304-318. DOI: 10.1109/TLT.2014.2340878
• [SBT3] Aguirre, A., Lozano-Rodero, A., Villamañe, M., Ferrero, B., & Matey, L. M. (2012). OLYMPUS: An Intelligent Interactive Learning Platform for Procedural Tasks. In GRAPP/IVAPP (pp. 543-550). ISBN: 978-989856502-0
• [SBT4] Ostiategui, F., Amundarain, A., Lozano, A., & Matey, L. (2010). Gardening Work Simulation Tool in Virtual Reality for Disabled People Tutorial. Proceedings of Integrated Design and Manufacturing-Virtual Concept (IDMME’10).
• [SBT5] Webster, M., Western, D., Araiza-Illan, D., Dixon, C., Eder, K., Fisher, M., & Pipe, A. G. (2020). A corroborative approach to verification and validation of human–robot teams. The International Journal of Robotics Research, 39(1), 73-99. DOI:10.1177/0278364919883338
• [SBT6] Takaya, K., Asai, T., Kroumov, V., & Smarandache, F. (2016, October). Simulation environment for mobile robots testing using ROS and Gazebo. In 2016 20th International Conference on System Theory, Control and Computing (ICSTCC) (pp. 96-101). IEEE. DOI:10.1109/ICSTCC.2016.7790647
• [SBT7] Kodaganallur, V., Weitz, R. R., & Rosenthal, D. (2005). A comparison of model-tracing and constraint-based intelligent tutoring paradigms. International Journal of Artificial Intelligence in Education, 15(2), 117-144.