| Home | << 1 >> |
|
| Record | |||||
|---|---|---|---|---|---|
| Author | Tronci, Enrico | ||||
| Title | Automatic Synthesis of Control Software for an Industrial Automation Control System | Type | Conference Article | ||
| Year | 1999 | Publication | Proc.of: 14th IEEE International Conference on: Automated Software Engineering (ASE) | Abbreviated Journal  |
|
| Volume | Issue | Pages | 247-250 | ||
| Keywords | |||||
| 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. | ||||
| Address | |||||
| Corporate Author | Thesis | ||||
| Publisher | Place of Publication | Cocoa Beach, Florida, USA | Editor | ||
| Language | Summary Language | Original Title | |||
| Series Editor | Series Title | Abbreviated Series Title | |||
| Series Volume | Series Issue | Edition | |||
| ISSN | ISBN | Medium | |||
| Area | Expedition | Conference | |||
| Notes | Approved | yes | |||
| Call Number | Sapienza @ mari @ ase99 | Serial | 49 | ||
| Permanent link to this record | |||||