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