Executable specifications for real-time control of a flexible manufacturing cell

Experience with the development of a rule-based specification for control of a flexible manufacturing cell is reported. Cell operation was specified in a clear and tractable way in the YES/OPS language. Since YES/OPS rules are executable it was easy to verify completeness and correctness of the specifications. Alarm and diagnosis capabilities were checked, and different control strategies were compared.