| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 700639 | Control Engineering Practice | 2007 | 13 Pages |
Abstract
The growth of manufacturing control software from simple NC and PLC-based systems to concurrent networked systems incorporating PCs, PLCs, CNCs, and enterprise databases has created new challenges to the design, implementation, and maintenance of safe and dependable manufacturing systems. Key milestones in this evolution, and the prospects for the use of formal verification methods in achieving enhanced dependability of future manufacturing software, are examined in this paper and presentation.
Related Topics
Physical Sciences and Engineering
Engineering
Aerospace Engineering
Authors
Timothy L. Johnson,