Loading [a11y]/accessibility-menu.js
A Model-based Approach to the Development and Verification of Robotic Systems for Competitions | IEEE Conference Publication | IEEE Xplore

A Model-based Approach to the Development and Verification of Robotic Systems for Competitions


Abstract:

This paper proposes the adoption of modern Software Engineering techniques in the context of the development of robotic systems. Particularly, we use a design language, R...Show More

Abstract:

This paper proposes the adoption of modern Software Engineering techniques in the context of the development of robotic systems. Particularly, we use a design language, RoboChart, and a tool set, RoboTool, which support modelling, verification (via model checking) and simulation of such systems, among other facilities. Our application domain is an Unmanned Aerial Vehicle (UAV) and its control system, targetting at competition challenges. This system needs to be capable to perform navigation tasks in indoor environments and achieve some goals like detecting and finding objects, landing spots and maintaining a stable flight. We emphasise the important role of a design model both concerning formal verification of classical and domain-specific properties and as a basis for a systematic strategy to develop trustworthy implementations
Date of Conference: 09-11 October 2023
Date Added to IEEE Xplore: 05 December 2023
ISBN Information:

ISSN Information:

Conference Location: Salvador, Brazil

References

References is not available for this document.