TY - GEN
T1 - Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation
AU - Shaukat, Nabil
AU - Dubey, Shival
AU - Kaddouh, Bilal
AU - Blight, Andy
AU - Mudrich, Lenka
AU - Ribeiro, Pedro
AU - Araujo, Hugo
AU - Richardson, Rob
AU - Dennis, Louise
AU - Cavalcanti, Ana
AU - Mousavi, Mohammad
PY - 2024/10/9
Y1 - 2024/10/9
N2 - Drones are becoming essential tools in emergency situations such as search and rescue, surveillance, and firefighting. These applications make the development of trustworthy software a priority to increase efficiency, cut costs, and reduce risks, in future replacing human personnel in challenging areas. RoboChart, a platform-agnostic tool, brings numerous benefits to the robotics community by providing a language and high-level tool to describe a model via automatic verification and exhaustive testing of the model. However, when it comes to real robotics it is essential to use testing tools suitable for specific robotic software. In the context of the Robotic Operating System (ROS), it imposes its own design constraints, best practices, and communication requirements. This paper aims to apply the RoboChart modelling approach to autonomous firefighting drones, putting forward a low-level ROS software architecture that aligns with RoboChart models, ensuring the trustworthiness of the system during operation. The performance of this approach is presented and evaluated showing a significantly improved reliability rate.
AB - Drones are becoming essential tools in emergency situations such as search and rescue, surveillance, and firefighting. These applications make the development of trustworthy software a priority to increase efficiency, cut costs, and reduce risks, in future replacing human personnel in challenging areas. RoboChart, a platform-agnostic tool, brings numerous benefits to the robotics community by providing a language and high-level tool to describe a model via automatic verification and exhaustive testing of the model. However, when it comes to real robotics it is essential to use testing tools suitable for specific robotic software. In the context of the Robotic Operating System (ROS), it imposes its own design constraints, best practices, and communication requirements. This paper aims to apply the RoboChart modelling approach to autonomous firefighting drones, putting forward a low-level ROS software architecture that aligns with RoboChart models, ensuring the trustworthiness of the system during operation. The performance of this approach is presented and evaluated showing a significantly improved reliability rate.
U2 - 10.1109/mesa61532.2024.10704818
DO - 10.1109/mesa61532.2024.10704818
M3 - Conference contribution
BT - IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA)
ER -