Skip to Main content Skip to Navigation
Conference papers

Towards a Formal Approach for the Regeneration of PILOT Control System

Abstract : PILOT (Programming and Interpreted Language Of actions for Telerobotics) is a high level language dedicated to the remote control of systems. Our team has built a complete control system for PILOT, which comprises six main modules: a human−machine interface, an interpreter, a rules generator, an evaluator, an execution module and a communication server. In this paper, we focus on the interpreter which is one of the most important parts of the system. For the initial release of the control system software, the main goal was to have a working environment in order to validate the concepts of the language PILOT. The various modules of the control system have been modeled by finite state automata and the code has been written manually. Although the experimentation carried out with the first release of the control system highlighted the benefits of PILOT for the control of mobile robots such as the robot MARC'H built by our team, some malfunctions were observed in the software and particularly in the interpreter. This paper aims at presenting the work performed, essentially based on testing, in order to detect and to correct software errors into the interpreter, at both conceptual and implementation levels. It ends by our ongoing work related to the use of Petri nets for modeling and testing the interpreter algorithms, the final goal being the generation of safe programs from "validated" models.
Document type :
Conference papers
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.univ-brest.fr/hal-00783178
Contributor : Valérie-Anne Nicolas <>
Submitted on : Thursday, January 31, 2013 - 3:58:48 PM
Last modification on : Friday, December 13, 2019 - 10:42:04 AM
Long-term archiving on: : Wednesday, May 1, 2013 - 3:57:30 AM

File

sci02_LN.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00783178, version 1

Collections

Citation

Laurent Tchamnda Nana, Valérie-Anne Nicolas, Lionel Marcé. Towards a Formal Approach for the Regeneration of PILOT Control System. SCI'2002, The 6th World Multiconference on Systemics, Cybernetics and Informatics, IEEE Computer Society Venezuela, Jul 2002, Orlando, Florida, United States. ⟨hal-00783178⟩

Share

Metrics

Record views

144

Files downloads

67