Automatic synthesis of control software for an industrial automation control system

Author

Tronci, Enrico

Author_Institution

Dipt. di Matematica Pura ed Applicata, l´´Aquila Univ., Italy

fYear

1999

fDate

36434

Firstpage

247

Lastpage

250

Abstract

We present a case study on automatic synthesis of control software from formal specifications for an industrial automation control system. Our aim is to compare the effectiveness (i.e. design effort and controller quality) of automatic controller synthesis from closed loop formal specifications with that of manual controller design, followed by automatic verification. Our experimental results show that for industrial automation control systems, automatic synthesis is a viable and profitable (especially as far as design effort is concerned) alternative to manual design, followed by automatic verification

Keywords

automatic programming; closed loop systems; control system analysis computing; formal specification; industrial control; program verification; automatic controller synthesis; automatic verification; case study; closed loop formal specifications; control software synthesis; controller quality; design effort; formal specifications; industrial automation control system; manual controller design; Automatic control; Circuit synthesis; Computer industry; Control system synthesis; Control systems; Electrical equipment industry; Industrial control; Manufacturing automation; Manufacturing industries; Production;

fLanguage

English

Publisher

ieee

Conference_Titel

Automated Software Engineering, 1999. 14th IEEE International Conference on.

Conference_Location

Cocoa Beach, FL

Print_ISBN

0-7695-0415-9

Type

conf

DOI

10.1109/ASE.1999.802292

Filename

802292