LURPA > Historique > Équipe ISA > Projets
Teloco Software
An academic tool for conformance test of logical controllers
Documents à télécharger :
- Teloco software (1755 Ko)
Teloco software is an academic tool developped to obtain an exhaustive test sequence of a GRAFCET model. The current version is an executable for Windows.
Teloco Actvities
A Case study made with Teloco is composed of 4 steps:
- Reading of the textual description of the GRAFCET Specification.
- Construction of the automaton, termed stable location automaton (SLA). This automaton represents formally all the stable states of the logic system described by the grafcet as well as all the evolutions between these states.
- Translation of this automaton into an equivalent Mealy machine
- Generation of the exhaustive Test sequence of this Mealy machine according the transition tour method.
Complementary information can be obtained here.
This Zip archive is composed of two directories:
- Directory TelocoTool: this directory can be installed as you want (C:Program FilesTeloco for example)
- Directory TelocoExamples: this directory contains different examples of GRAFCET description. This directory can be installed as you want.
In order to use Teloco from your directory TelocoExamples, it is necessary to add a shorcut of YourPathTelocoToolTeloco.exe in this directory.
To use teloco for studying the GRAFCET Specification given in file aSimpleGrafcet.txt:
Click on teloco shortcut and reply aSimpleGrafcet to the question.Tape teloco aSimpleGrafcet.txt in a DOS shell.Associated laboratory
Authors
Complementary information
Teloco is developped in Python
Modules used
- Distribution for Windows: python2Exe
- Textual parser: TPG Parser