The ORCCAD Architecture

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 generati...

Full description

Saved in:
Bibliographic Details
Published in:The International journal of robotics research 1998-04, Vol.17 (4), p.338-359
Main Authors: Borrelly, Jean-Jacques, Coste-Manière, Eve, Espiau, Bernard, Kapellos, Konstantinos, Pissard-Gibollet, Roger, Simon, Daniel, Turro, Nicolas
Format: Article
Language:English
Subjects:
Computer Science
Robotics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0278-3649
1741-3176
DOI:10.1177/027836499801700403