DocumentCode :
275708
Title :
Specification of real time control systems by means of sequential function charts
Author :
Mallaband, S.
Author_Institution :
Bass Brewers Ltd., Burton-on-Trent, UK
fYear :
1991
fDate :
16-18 Sep 1991
Firstpage :
57
Lastpage :
62
Abstract :
Very many specification techniques have been proposed for real time control systems, each with its own advantages and disadvantages. This paper considers the use of one of these techniques-sequential function charts (SFCs). SFCs are not new-GRAFCET, a standard for such charts, was presented in 1982-but until recently they were not widely known. This has now changed and the technique has received considerable coverage in the technical literature. In addition, several control system manufacturers have adopted SFCs as a programming language. The paper begins with a brief survey of specification techniques for real time control systems; it moves on to trace the origins of SFCs and then describes them in some detail. Finally, the practical production of SFCs is discussed and the need for an SFC diagram editor is identified. Current options in this field are presented
Keywords :
control engineering computing; formal specification; real-time systems; specification languages; GRAFCET; diagram editor; programming language; real time control systems specification; sequential function charts; specification techniques;
fLanguage :
English
Publisher :
iet
Conference_Titel :
Software Engineering for Real Time Systems, 1991., Third International Conference on
Conference_Location :
Cirencester
Print_ISBN :
0-85296-526-5
Type :
conf
Filename :
140047
Link To Document :
بازگشت