Title :
Generative programming for programmable logic controllers
Author :
Côté, Daniel ; St-Denis, Richard ; Kerjean, Sylvain
Author_Institution :
Dept. d´´informatique, Sherbrooke Univ., Que.
Abstract :
Many attempts have been made to implement supervisors derived by synthesis procedures peculiar to the supervisory control theory (SCT), most adopting the event-based supervisory control paradigm. However, when considering code generation schemata for programmable logic controllers (PLCs), hardware resources are limited and event tracking is hard to realize satisfactorily. Moreover, previous work has highlighted differences between the abstract model adopted by SCT and realistic process control situations. Inappropriate solutions to these issues may result in code generation schemata that produce unreliable PLC code. A generative programming approach for PLCs based on a dual paradigm, the state-based supervisory control paradigm, is investigated in this paper. Such an approach exhibits interesting properties. For instance, the maximum depth of the PLC stack as well as PLC cycle timing evaluations become possible. Furthermore, well-known code optimization techniques can be used to obtain more efficient code
Keywords :
control system analysis computing; optimising compilers; programmable controllers; code generation; code optimization; event tracking; generative programming; programmable logic controller; realistic process control; state-based supervisory control paradigm; Control system synthesis; Control systems; Electrical equipment industry; Industrial control; Logic programming; Process control; Programmable control; Programmable logic arrays; Programmable logic devices; Supervisory control;
Conference_Titel :
Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on
Conference_Location :
Catania
Print_ISBN :
0-7803-9401-1
DOI :
10.1109/ETFA.2005.1612748