DocumentCode
2169411
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
fYear
1993
fDate
14-17 Sep 1993
Firstpage
241
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 1993. Canadian Conference on
Conference_Location
Vancouver, BC
Print_ISBN
0-7803-2416-1
Type
conf
DOI
10.1109/CCECE.1993.332300
Filename
332300
Link To Document