RSE2023 keynote talk - Learning in RoboStar

Ana Cavalcanti will be delivering a keynote on “Learning in RoboStar” at the Robotics Software Engineering Symposium 2023, King’s College London.

Abstract: The RoboStar framework for Software Engineering for Robotics includes a collection of domain-specific notations to model various artefacts, and techniques for model-transformation, simulation, testing, and proof. In this presentation, we give an overview of the RoboStar approach, and focus on our support for automated testing. It covers techniques for automatic generation of software tests, both for reactive systems, and for cyclic systems (simulations and code that uses a cyclic executive). We explain the techniques for fault-based testing and test conversion, which ensures traceability.