Toggle Main Menu Toggle Search

Open Access padlockePrints

Towards synthesis of asynchronous communication mechanisms.

Lookup NU author(s): Professor Alex Yakovlev, Dr Fei Xia


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Yakovlev A, Xia F

Editor(s): B. Caillaud, P. Darondeau, L. Lavagno and X. Xie

Publication type: Book Chapter

Publication status: Published

Book Title: Synthesis and Control of Discrete Event Systems

Year: 2002

Pages: 57-75

Publisher: Kluwer Academic Publishers

Place Published: London

Notes: This chapter (and its ASYNC 2001 conference precursor) pioneers the automatic synthesis of communication mechanisms for real-time networks, previously developed manually with a painstaking process of checking their correctness. The problem originates from an EPSRC project (GR/L93775, assessed as “outstanding”), involving collaboration with MBDA Ltd. This method also improves the performance of buffers for globally asynchronous locally synchronous (GALS) systems (cf. work at Philips Research Labs, Dr. Joep Kessels, The impact of this methodology on industrial and academic research is evident via continued interest in this research from MBDA, investigations in UPC Barcelona, IRISA Rennes.

Library holdings: Search Newcastle University Library for this item

ISBN: 0792376390