Buffered Asynchronous Communication Mechanisms

• Autorzy: Xia F. , Hao F. , Clark I. , Yakovlev A. , Chester E.G.
• Języki publikacji: EN

Abstrakty

EN

Previous work on asynchronous communication mechanisms (ACMs) has not dealt with buffered forms (with the number of data cells n>1). This paper describes a systematic design/synthesis process for ACMs with arbitrary buffer size, a series of resulting buffered ACM algorithms, and the modelling and simulation of these ACMs using Matlab, putting ACMs (esp. buffered ones) in the context of complex engineering systems.

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2006
• Tom: Vol. 70, nr 1,2
• Strony: 155--170
• Opis fizyczny: bibliogr., tab., wykr., 11 poz.

Twórcy

autor

Xia F.

autor

Hao F.

autor

Clark I.

autor

Yakovlev A.

autor

Chester E.G.

• School of Electrical Electronic and Computer Engineering, Univ. of Newcastle upon Tyne, UK, Kingston University, Kingston-upon-Thames, KT1 2EE, UK,

Bibliografia

• [1] C. Kelly, IV, V. Ekanayake, and R.Manohar, SNAP: a sensor-network asynchronous processor, Proc. ASYNC 2003, pp.24-33,May 12-16, 2003, Vancouver, Canada.
• [2] H. Simpson, Protocols for Process Interaction. IEE Proceedings on Computers and Digital Techniques, 2003, 150, (3), pp 157-182.
• [3] ITRS: http://public.itrs.net/files/2003itrs/home2003.htm.
• [4] F. Xia, A.V. Yakovlev, I.G. Clark, and D. Shang, "Data Communication in Systems with Heterogeneous Timing", IEEE Micro, Vol. 22, Part 6 (2002), pp. 58-69.
• [5] A.V. Yakovlev and F. Xia. "Towards Synthesis of Asynchronous Communication Algorithms", in Synthesis and control of discrete event systems, Eds. B. Caillaud, et al, Kluwer Academic Publishers, Boston, January 2002, pp 57-75.
• [6] F. Xia and I.G. Clark, "Algorithms for Signal and Message Asynchronous Communication Mechanisms and their Analysis", Fundamenta Informaticae, Vol.50, No.2 (2002), pp.205-222.
• [7] I.G. Clark, "A unified approach to the study of asynchronous communication mechanisms in real time systems", PhD Thesis, London University,May 2000.
• [8] A. Yakovlev, D.J. Kinniment, F. Xia and A.M. Koelmans. "A FIFO buffer with non-blocking interface", IEEE Computer Society TCVLSI Technical Bulletin, Fall 1998, pp. 11-14.
• [9] J.-P. Fassino, THINK: vers une architecture de syst"zmes flexibles, PhD dissertation, Ecole Nationale Sup'rieure des T'l'communications, December 2001.
• [10] Xia, F., "Supporting the MASCOT method with Petri net techniques for real-time systems development", Ph.D. Thesis, London University, King's College, January 2000.
• [11] F. Hao, F. Xia, E.G. Chester, A.V. Yakovlev, I.G. Clark. "MATLAB Models of ACMs in Control Systems", 1st International Conference on Informatics in Control, Automation & Robotics (ICINCO-2004), Setubal, Portugal, 25-28 August 2004.