Skip to Main content Skip to Navigation
New interface
Journal articles

The ORCCAD Architecture

Jean-Jacques Borrelly 1 Eve Coste-Manière 1 Bernard Espiau 2, * Konstantinos Kapellos 1 Roger Pissard-Gibollet 3 Daniel Simon 1 Nicolas Turro 1 
* Corresponding author
1 ICARE - Instrumentation, control and architecture of advanced robots
CRISAM - Inria Sophia Antipolis - Méditerranée
2 BIP - Biped Robot
Inria Grenoble - Rhône-Alpes
Abstract : The ORCCAD programming environment for robotic systems allows users to address automatic control laws in continuous time at the lower levels, and aspects of discrete-time logic at the higher lev els. ORCCAD provides tools of specification, formal verification, simulation, and real-time code generation integrated within a set of dedicated graphical interfaces. Basic robot actions, which are in trinsically hybrid entities, are handled by the ROBOT-TASK struc ture, which smartly interfaces aspects of continuous and discrete time. ROBOT-TASKS are further logically composed into more complex actions, ROBOT-PROCEDURES, through a dedicated lan guage. While system performance can be checked using simula tions, crucial properties such as deadlock avoidance, safety, and liveness can be formally verified at both levels. The approach is illustrated with an underwater inspection mission.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00930119
Contributor : Soraya Arias Connect in order to contact the contributor
Submitted on : Tuesday, January 14, 2014 - 12:30:44 PM
Last modification on : Friday, February 4, 2022 - 3:23:54 AM

Identifiers

  • HAL Id : hal-00930119, version 1

Collections

Citation

Jean-Jacques Borrelly, Eve Coste-Manière, Bernard Espiau, Konstantinos Kapellos, Roger Pissard-Gibollet, et al.. The ORCCAD Architecture. The International Journal of Robotics Research, 1998, 17 (4), pp.338-359. ⟨hal-00930119⟩

Share

Metrics

Record views

85