Using the Time Petri Net Formalism for Specification, Validation, and Code Generation in Robot-Control Applications
- 1 January 2000
- journal article
- other
- Published by SAGE Publications in The International Journal of Robotics Research
- Vol. 19 (1), 59-76
- https://doi.org/10.1177/02783640022066743
Abstract
The main objective of this paper is to show the advantages of using the time Petri net formalism for specification, validation, and code generation in robot-control applications. To achieve this objective, we consider as application the development of a control system for a mobile robot with a rotating rangefinder laser sensor with two degrees of freedom to be used in navigation tasks with obstacle avoidance. It is shown how the use of the time Petri net formalism in the whole development cycle can fulfilll the reliability requirement of real-time systems, make the system development easy and quick, strongly reduce the time for the testing and tuning phases and, therefore, reduce the development cost significantly. It allows verification of functional and temporal requirements, error detection in the early stages of the development cycle, and automatic code generation, avoiding coding mistakes. Experimental tests show that the theoretical results obtained from the analysis of formal system models match the real-time behavior of the robotic system.Keywords
This publication has 13 references indexed in Scilit:
- Mission control of the MARIUS autonomous underwater vehicle: system design, implementation and sea trialsInternational Journal of Systems Science, 1998
- Knowledge representation-oriented nets for discrete event system applicationsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 1998
- A technique for designing robotic control systems based on Petri netsIEEE Transactions on Control Systems Technology, 1998
- ORCCAD: software engineering for real-time robotics. A technical insightRobotica, 1997
- Reduction rules for time Petri netsActa Informatica, 1996
- An extendible approach for analyzing fixed priority hard real-time tasksReal-Time Systems, 1994
- High-Level Timed Petri Nets as a kernel for executable specificationsReal-Time Systems, 1993
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Real-Time Obstacle Avoidance for Manipulators and Mobile RobotsThe International Journal of Robotics Research, 1986
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976