In: Proc. IEEE International Conference on Systems, Man, and Cybernetics, Nashville, U.S.A., pages 1703-1708. October 2000.
Abstract: This paper deals with automated task programming of Flexible Manufacturing Systems (FMS). The method presented herein allows a) to progressively specify the operations to be performed into an FMS and b) to automatically synthesize the core of a highly concurrent control software. During the specification phase tasks are modeled as Petri net modules; the analysis of properties is performed in each step of the design process. During the synthesis phase the tasks are defined and the mechanisms of communication, synchronization and mutual exclusion are built into the pertinent task bodies. This technique is presented and illustrated through an example where Ada code is generated.
Keywords: Modular specification; Automated programming; Ada 95.