ORCCAD: software engineering for real-time robotics. A technical insight

Authors:
D. Simon;B. Espiau;K. Kapellos;R. Pissard-Gibollet
Affiliations:
INRIA Sophia-Antipolis, B.P. 93, 06902 SOPHIA-AMTIPOLIS Cedex, France;INRIA Rhone-Alpes, 655 avenue de l'Europe, 38330 MONTBONNOT ST MARTIN, FRANCE;INRIA Sophia-Antipolis, B.P. 93, 06902 SOPHIA-AMTIPOLIS Cedex, France;INRIA Rhone-Alpes, 655 avenue de l'Europe, 38330 MONTBONNOT ST MARTIN, FRANCE
Venue:
Robotica
Year:
1997

Citing 5
Cited 3

Process calculi, from theory to practice: verification tools

Proceedings of the international workshop on Automatic verification methods for finite state systems
The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Robot Control: The Task Function Approach

Robot Control: The Task Function Approach
Real-Time Programming of Mobile Robot Actions Using Advanced Control Techniques

The 4th International Symposium on Experimental Robotics IV
Specification, Formal Verification and Implementation of Tasks and Missions for an Autonomous Vehicle

The 4th International Symposium on Experimental Robotics IV

Message-Based Evaluation in Scheme for High-Level Robot Control

Journal of Intelligent and Robotic Systems
Behaviour-based robot program invariance

Robotica
Wireless Robotics: Opportunities and Challenges

Wireless Personal Communications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

The ORCCAD programming environment for robotic systems gathers control laws in continuous time at the low levels and discrete time logical aspects at higher levels. Based upon a formal definition of robotic actions, complex applications can be designed, verified and generated incrementally. The approach and tools prototypes have been validated through several applications.