Orccad, a framework for safe robot control design and implementation

Robotic systems are typical examples of hybrid systems where continuous time aspects, related to control laws, must be carefully merged with discrete-time aspects related to control switches and exception handling. These two aspects interact in real-time to ensure an efficient nominal behaviour of the system together with safe and graceful degradation otherwise. In a mixed synchronous/asynchronous approach, ranging from user's requirements to run-time code, Orccad provides formalised real-time control structures, the coordination of which is specified using the \esterel\ synchronous language. CAD tools have been developed and integrated to help the users along the steps of the design, verification, implementation and exploitation processes.

[1]  Ève Coste-Manière,et al.  The ORCCAD Architecture , 1998, Int. J. Robotics Res..

[2]  Villeneuve d’Ascq,et al.  Insights on real time systems architecture modelling from a software engineering viewpoint , 2005 .

[3]  Nicolas Andreff,et al.  BIPedal walking: from gait design to experimental analysis , 2004 .

[4]  Michael González Harbour,et al.  Work-in-Progress Session , 2002, ECRTS.

[5]  Erann Gat,et al.  Mars microrover navigation: performance evaluation and enhancement , 1995, Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots.

[6]  Marc Pouzet,et al.  A conservative extension of synchronous data-flow with state machines , 2005, EMSOFT.

[7]  Shuuji Kajita,et al.  OpenHRP: Open Architecture Humanoid Robotics Platform , 2004, Int. J. Robotics Res..

[8]  Éric Rutten,et al.  Specifying and Verifying Active Vision-Based Robotic Systems with the SIGNAL Environment , 1998, Int. J. Robotics Res..

[9]  Bernard Espiau,et al.  Control Laws, Tasks and Procedures with Orccad: Application to the Control of an Underwater Arm , 1998, Int. J. Syst. Sci..

[10]  Alexei Makarenko,et al.  Towards component-based robotics , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[11]  Robin Passama,et al.  Component based Software Architecture of Robot Controllers , 2005 .

[12]  Ève Coste-Manière,et al.  The MAESTRO language and its environment: specification, validation and control of robotic missions , 1997, Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97.

[13]  Olivier Sename,et al.  Robust control/scheduling co-design: application to robot control , 2005, 11th IEEE Real Time and Embedded Technology and Applications Symposium.

[14]  Patrick Rives,et al.  Sensor-Based Control of Holonomic Autonomous Underwater Vehicles , 1995 .

[15]  Tara Estlin,et al.  CLARAty: Challenges and Steps toward Reusable Robotic Software , 2006 .

[16]  Stanley A. Schneider,et al.  ControlShell: A Software Architecture for Complex Electromechanical Systems , 1998, Int. J. Robotics Res..

[17]  Konstantinos Kapellos.  Environnement de programmation des applications robotiques reactives , 1994 .

[18]  Bernard Espiau,et al.  Task level specification and formal verification of robotics control systems: state of the art and case study , 1999, Int. J. Syst. Sci..

[19]  David Garlan,et al.  Software architecture: a roadmap , 2000, ICSE '00.

[20]  Eduardo Castillo Castañeda,et al.  Design and analysis of synchronization for real-time closed-loop control in robotics , 1998, IEEE Trans. Control. Syst. Technol..

[21]  Sébastien Gérard,et al.  Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology , 2000, DIPES.

[22]  D. Simon,et al.  Design of real-time periodic control systems through synchronization and fixed priorities , 2005, Int. J. Syst. Sci..

[23]  David Garlan,et al.  Software architecture: practice, potential, and pitfalls , 1994, Proceedings of 16th International Conference on Software Engineering.

[24]  Claude Samson,et al.  Robot Control: The Task Function Approach , 1991 .

[25]  Karl-Erik Årzén,et al.  Tools for Real-Time Control Systems Co-Design - A Survey , 2005 .

[26]  Vincent Rigaud,et al.  Distributed Control of a Free-floating Underwater Manipulation System , 1997, ISER.

[27]  Soraya Arias,et al.  Formalisation et intégration en vision par ordinateur temps réel. (Formalisation and Integration for Real Time Computer Vision) , 1999 .

[28]  Herman Bruyninckx,et al.  Open robot control software: the OROCOS project , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[29]  Robert de Simone,et al.  Symbolic Bisimulation Minimisation , 1992, CAV.