Title :
An evaluation of the TCT tool for the synthesis of controllers of discrete event systems
Author :
Enright, Christopher M. ; Barbeau, Michel
Author_Institution :
Dept. de Math. et d´´Inf., Sherbrooke Univ., Que., Canada
Abstract :
Increasingly, software engineering professionals are attempting to integrate automated systems development into their projects. One well-known instance is YACC, which, when given the specification of a language, can produce that language´s parser. In this instance, we tested an automated development tool, TCT. Specifically, we evaluated its ability to synthesize the controller of a discrete event system (DES), namely, a mine drainage system
Keywords :
control system CAD; controllers; mining; TCT tool; YACC; automated development tool; controllers; discrete event systems; mine drainage system; software engineering; Automatic control; Automatic testing; Control system synthesis; Discrete event systems; Large Hadron Collider; Software tools;
Conference_Titel :
Electrical and Computer Engineering, 1993. Canadian Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-2416-1
DOI :
10.1109/CCECE.1993.332300
