Real-time control including concurrency. Part 2: Implementation
作者:
A.Munro,
E.L.Dagless,
期刊:
Software & Microsystems
(IET Available online 1982)
卷期:
Volume 1,
issue 4
页码: 99-107
年代: 1982
DOI:10.1049/sm.1982.0027
出版商: IEE
数据来源: 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
点击下载:
PDF
(1170KB)
返 回