@inbook{353c63fdbb1d42d08e1780648766f852,
title = "Bringing RoboStar and RT-Tester Together",
abstract = "In recent work, Cavalcanti and her group, including Miyazawa and Timmis, have developed a CSP-based framework for model-based engineering of robotic systems, called RoboStar. In this paper, we describe our current effort to ally RoboStar and RT-Tester, an award-winning tool that embodies many of Jan Peleska{\textquoteright}s beautiful results on formal testing. With our work, RoboStar users can benefit from the testing infrastructure of RT-Tester to run simulations and tests generated using the RoboStar automated techniques. The testing primitives of RT-Tester simplify the implementation of test cases, and the RT-Tester execution engine provides state-of-the-art high-performance real-time facilities to carry out and report the traceable results of test experiments.",
keywords = "Automation, CSP, Formal models, Testing",
author = "Ana Cavalcanti and Alvaro Miyazawa and Uwe Schulze and Jon Timmis",
note = "Funding Information: Acknowledgements. The work of Cavalcanti, Miyazawa, and Timmis has been funded by the UK EPSRC Grants EP/R025479/1, and EP/V026801/2, and by the UK Royal Academy of Engineering Grant No CiET1718/45. Funding Information: 3Funded by BIG Bremen Investitions-Gesellschaft mbH (research grant 2INNO1015B). Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.",
year = "2023",
doi = "10.1007/978-3-031-40132-9_2",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Nature",
pages = "16--33",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Switzerland",
}