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’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.
| Original language | English |
|---|---|
| Title of host publication | Applicable Formal Methods for Safe Industrial Products |
| Editors | Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach |
| Publisher | Springer Science and Business Media Deutschland GmbH |
| Pages | 16-33 |
| Number of pages | 18 |
| ISBN (Electronic) | 9783031401329 |
| ISBN (Print) | 9783031401312 |
| DOIs | |
| Publication status | Published - 18 Aug 2023 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 14165 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Bibliographical 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:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
Keywords
- Automation
- CSP
- Formal models
- Testing