Abstract
Software reliability is a major issue in the design of control architecture for robots operating in hostile or poorly known environments. The ORCCAD control architecture gathers control laws in continuous time at low levels and logical aspects in discrete time at higher levels. While some performances can he checked using simulations, crucial properties such as dead-lock avoidance, safety and liveness can be formally verified at both levels, using in particular some advantages of synchronous programming and associated tools. In the framework of the Union project, the underlying programming style using mission composition from basic actions and formal verification is illustrated by the design of an underwater structure inspection mission simulation using a remotely operated vehicle fitted with a manipulator. Since the physical system is not yet ready, only realistic simulation results are provided, but it is expected that they will be rather easy to transfer to the real plant.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
