Abstract
The design methodology CYBA-L is applied to the design of a concurrent control program for a real-time application – an automatic print-roll cutter. The methodology partitions the problem into a control and a data graph; the control graph specifies the sequencing of the operations in the data graph. By a process of step-wise refinement the most abstract level of control, the front-panel operating algorithm, is hierarchically decomposed into the basic sequence of device operations needed to operate the cutter. The final design specifies the concurrency which may exist in the system
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Paper version not known
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
