摘要:

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

ISSN:1744-683X    

DOI:10.1049/sm.1982.0026

出版商:IEE    

年代:1982

数据来源: IET

摘要:

Using the case-study of a companion paper, the implementation of the language CYBA-L on a direct-shared-memory multimicroprocessor, CYBA-M, is described. A formal implementation approach based on the use of Petri-nets, which are executed directly, is used to produce a system which eliminates the need for message-passing primitives between processes, while still maintaining security of communication. A formal analysis of the behaviour of the system establishes its correctness

ISSN:1744-683X    

DOI:10.1049/sm.1982.0027

出版商:IEE    

年代:1982

数据来源: IET

摘要:

The feasibility is investigated of performing nonlinear least-squares fits of Mossbauer spectra within a microprocessor-based Mossbauer spectrometer. The development of a ROM-based Pascal program for a spectrometer using a Motorola 6800 microprocessor is described. The time taken to fit a 256-channel spectrum to one Lorentzianshaped line is about 100s per iteration. The fitting program is most useful in fitting relatively simple Mossbauer spectra, such as those obtained in most analytical applications, in teaching applications, or where the user does not have easy access to a mainframe computer

ISSN:1744-683X    

DOI:10.1049/sm.1982.0030

出版商:IEE    

年代:1982

数据来源: IET