{"title":"Real-time control including concurrency. Part 1: Design","authors":"A. Munro, E. Dagless","doi":"10.1049/sm.1982.0026","DOIUrl":null,"url":null,"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","PeriodicalId":246116,"journal":{"name":"Softw. Microsystems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1982-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Softw. Microsystems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1049/sm.1982.0026","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
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
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
