Model-based testing of autonomous robots using TestIt

Autor: Jüri Vain, Gert Kanter

Publikováno v: Journal of Reliable Intelligent Environments. 6:15-30

This paper presents a testing toolkit named TestIt. Its main goal is to provide tools for automated model-based testing of autonomous multi-robot systems to verify long-term autonomy in various applications including those of smart city environments

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::e634b73a6069b72797aec932b77c5e90
https://doi.org/10.1007/s40860-019-00095-w

Contributors

Autor: Deepti Aggrawal, Afaq Ahmad, Sridhar Akiri, Sayyid Samir Al Busaidi, Adarsh Anand, M. Arvindhan, R. Baby Chithra, Ajay Sudhir Bale, Néstor Barraza, Pratima Bavagosai, R.K. Bhardwaj, Jyotir Moy Chatterjee, Nikesh Choudhary, Arindam Chowdhury, Rajesh Kumar Dhanaraj, C. Suresh Gnana Dhas, Ashutosh Dixit, Tadele Degefa Geleto, Vaneeta Goel, Shaik Ashfaq Hussain, Shaik Mazhar Hussain, Shinji Inoue, Prashant Johri, S. Kala, Swapnil Kamble, Lenin Kanagasabai, Gert Kanter, Jasmine Kaur, Vandana Khaitan (nee Gupta), Vyacheslav Kharchenko, Neeraj Khera, N.V. Kousik, Abhishek Kumar, Avneesh Kumar, Rupesh Kumtekar, Marti Ingmar Liibert, Palwinder Kaur Mangat, Yuka Minamino, Verónica Moreno, Olga Morozova, Anjali Munde, K. Muralidharan, Rohaila Naaz, S. Nalesh, Sunay P. Pai, Manju Payal, Gabriel Pena, Yuriy Ponochovnyi, Rajesh S. Prabhu Gaonkar, P. Pravesh, J Premalatha, Vani Rajasekar, Muhammad Ehsan Rana, Suraj Rane, Pramod Singh Rathore, Dr. Kamaljit Singh Saini, Parvesh Saini, Omar S. Saleh, S. Saravana Kumar, P. Sasikala, Ashendra Kumar Saxena, Rajinder Sharma, J.N. Singh, Ravinder Singh, Purnima Sonker, Pavan Kumar Subbara, Yoshinobu Tamura, Leonidas Tsiopoulos, Jüri Vain, Niharika Varshney, S. Varun Yogi, N. Vinay, Swetha Vura, Sudeept Singh Yadav, V.S.S Yadavalli, Shigeru Yamada, Kamaludin Mohamad Yusof, N. Yuvaraj

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4413b352d468fabc8fb749f9c7233271
https://doi.org/10.1016/b978-0-323-90240-3.09990-2

Learning Timed Automata from Interaction Traces

Autor: Aivo Anier, Gert Kanter, Jüri Vain

Publikováno v: IFAC-PapersOnLine. 52:205-210

The design of load-critical human-machine systems presumes thorough modelling and analysis of interaction profiles the systems are meant to withstand at peak loads. The need for mathematical modelling of interactions is often ignored due to significa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::9ca9c1b7a370d759f65b289323fe7a0e
https://doi.org/10.1016/j.ifacol.2019.12.097

Provably Correct Configuration Management of Precision Feeding in Agriculture4.0

Autor: Seshadhri Srinivasan, Srini Ramaswamy, Jüri Vain, Gert Kanter

Publikováno v: SMC

Agriculture4.0 aims to use recent advances in technology to enhance productivity and reduce operating costs. In precision feeding systems using robots, farm configuration should support robot maneuvers and precision feeding operations. Such configura

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::774ac1a5169c198df16665af4adde1e8
https://doi.org/10.1109/smc.2019.8914057

Model based testing of distributed time critical systems

Autor: Gert Kanter, Seshadhri Srinivasan, Jüri Vain

Publikováno v: ResearcherID

Model-based testing incorporates steps such as test model construction, test purpose specification, test generation, deployment and execution. While the verification has not been traditionally an obligatory part of this process we extend the test dev

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4c3e9549b0af70891cc8203b38fef055
https://doi.org/10.1109/icrito.2017.8342406